Code Editor : gnome-menus.conffiles