gnome@gentoo.org Gentoo GNOME Desktop Insert special characters just by clicking on them Shows document changes related to git's HEAD Embed a terminal in the bottom pane GNOME/gedit-plugins