Nitpicking: Unify shortcut key notation in gschema.xml
src/org.gnome.Terminal.gschema.xml
is inconsistent wrt. Ctrl
vs. Control
, and uppercase vs. lowercase letters.
Would be nice to use the notation that is picked when setting the key from the Preferences -> Shortcuts UI.