From 2cc259f70c15dac51fbde7595f03ef38809413f0 Mon Sep 17 00:00:00 2001 From: Evan <112601020+Jovan-04@users.noreply.github.com> Date: Fri, 9 Oct 2026 18:26:56 -0500 Subject: [PATCH] Update links in `technology.rst` --- docs/technology.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/technology.rst b/docs/technology.rst index 67c33dd..040b8d0 100644 --- a/docs/technology.rst +++ b/docs/technology.rst @@ -36,12 +36,12 @@ The graphical elements of Cinnamon, as well as Cinnamon applets, desklets and ex Vala ~~~~ -`Vala `_ is used in Slick Greeter (the login screen). +`Vala `_ is used in Slick Greeter (the login screen). GNOME Toolkit and libraries --------------------------- -All our user interfaces use `GTK3 `_ toolkit. +All our user interfaces use `GTK3 `_ toolkit. Our development relies heavily on the `GNOME libraries `_, in particular we use Gio, GLib, GObject and dconf a lot. @@ -77,7 +77,7 @@ And if you want a complete IDE, there's also `Eclipse Version control ~~~~~~~~~~~~~~~ -There's less choice when it comes to version control because we're all using git and nothing else. All our code is version-controlled with it. +There's less choice when it comes to version control because we're all using `git `_ and nothing else. All our code is version-controlled with it. That being said, you don't necessarily have to use the git command line. @@ -120,7 +120,7 @@ And last but not least, check the plugins and features available in your IDE/edi Glade ~~~~~ -We can write our user interfaces in programming language, or we can use Glade and draw them with the mouse. +We can write our user interfaces in a programming language, or we can use Glade and draw them with the mouse. `Glade `_ is a tool to design and edit GTK user interfaces and save them in XML (in a .glade or .ui file).