gnome Install plugin for app-editors/gedit