diff options
Diffstat (limited to 'debian/gsettings-desktop-schemas.gsettings-override')
| -rw-r--r-- | debian/gsettings-desktop-schemas.gsettings-override | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/gsettings-desktop-schemas.gsettings-override b/debian/gsettings-desktop-schemas.gsettings-override new file mode 100644 index 0000000..4c7df42 --- /dev/null +++ b/debian/gsettings-desktop-schemas.gsettings-override @@ -0,0 +1,11 @@ +[org.gnome.desktop.default-applications.terminal] +exec='x-terminal-emulator' +exec-arg='-e' + +# Adobe Source Code Pro is not in Debian yet +# See https://bugs.debian.org/736681 and https://bugs.debian.org/762252 +[org.gnome.desktop.interface] +monospace-font-name = 'Monospace 11' + +[org.gnome.desktop.wm.keybindings] +panel-main-menu = ['<Alt>F1'] |