From ef93431d27a6bca97f952953e8477b47144cfe1a Mon Sep 17 00:00:00 2001 From: xiaofan Date: Thu, 10 Aug 2023 02:08:59 +0000 Subject: [PATCH] Using 'monospace 11' as monospace-font-name Signed-off-by: xiaofan --- schemas/org.gnome.desktop.interface.gschema.xml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/schemas/org.gnome.desktop.interface.gschema.xml.in b/schemas/org.gnome.desktop.interface.gschema.xml.in index a998708..73032d1 100644 --- a/schemas/org.gnome.desktop.interface.gschema.xml.in +++ b/schemas/org.gnome.desktop.interface.gschema.xml.in @@ -163,7 +163,7 @@ - 'Source Code Pro 10' + 'monospace 11' Monospace font Name of a monospaced (fixed-width) font for use in locations like -- 2.33.0