diff options
| -rw-r--r-- | debian/gsettings-desktop-schemas.gsettings-override | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/debian/gsettings-desktop-schemas.gsettings-override b/debian/gsettings-desktop-schemas.gsettings-override index e2fca24..49079eb 100644 --- a/debian/gsettings-desktop-schemas.gsettings-override +++ b/debian/gsettings-desktop-schemas.gsettings-override @@ -11,9 +11,7 @@ clock-show-seconds=true clock-show-weekday=false enable-animations=false font-antialiasing='rgba' -# Adobe Source Code Pro is not in Debian yet -# See https://bugs.debian.org/736681 and https://bugs.debian.org/762252 -monospace-font-name = 'Monospace 11' +monospace-font-name = 'DejaVu Sans Mono 11' [org.gnome.desktop.wm.keybindings] panel-main-menu = ['<Alt>F1'] |