gnome@gentoo.org Gentoo GNOME Desktop Use EditorConfig for file settings GNOME/gnome-text-editor