Code Editor : gnome-color-manager.mo