Code Editor : gnome-manager