From 84cd6fe5cd16dbd1fea25dbd79b7171e4e959fb2 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 27 Apr 2024 17:46:28 +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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/gsettings-desktop-schemas.gsettings-override b/debian/gsettings-desktop-schemas.gsettings-override index ffda758..3e7ee93 100644 --- a/debian/gsettings-desktop-schemas.gsettings-override +++ b/debian/gsettings-desktop-schemas.gsettings-override @@ -12,4 +12,4 @@ clock-show-date=false clock-show-seconds=true clock-show-weekday=false enable-animations=false -monospace-font-name = 'Monospace 11' +monospace-font-name = 'DejaVu Sans Mono 11' -- cgit v1.2.3