From 61e0139ecf03ba1a34c624a11d7ee4e2e7b81da4 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 27 Apr 2024 17:51:26 +0200 Subject: Overriding monospace-font-name to 'DejaVu Sans Mono 11' in org.gnome.desktop.interface. Signed-off-by: Daniel Baumann --- debian/gsettings-desktop-schemas.gsettings-override | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'debian') 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 = ['F1'] -- cgit v1.2.3