summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 15:46:28 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 15:46:28 +0000
commit84cd6fe5cd16dbd1fea25dbd79b7171e4e959fb2 (patch)
tree67924a44a908e56d8c98b8a54d416a8bbe0c498d
parentOverriding enable-animations to false in org.gnome.desktop.interface. (diff)
downloadgsettings-desktop-schemas-84cd6fe5cd16dbd1fea25dbd79b7171e4e959fb2.tar.xz
gsettings-desktop-schemas-84cd6fe5cd16dbd1fea25dbd79b7171e4e959fb2.zip
Overriding monospace-font-name to 'DejaVu Sans Mono 11' in org.gnome.desktop.interface.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r--debian/gsettings-desktop-schemas.gsettings-override2
1 files changed, 1 insertions, 1 deletions
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'