Code Editor : 10_gnome-terminal.gschema.override