gnome@gentoo.org Gentoo GNOME Desktop Install plugin for app-editors/gedit GNOME/devhelp