[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']