gnome@gentoo.org Gentoo GNOME Desktop Insert special characters just by clicking on them Embed a terminal in the bottom pane GNOME/gedit-plugins