27 lines
962 B
Diff
27 lines
962 B
Diff
From ef93431d27a6bca97f952953e8477b47144cfe1a Mon Sep 17 00:00:00 2001
|
|
From: xiaofan <xiaofan@iscas.ac.cn>
|
|
Date: Thu, 10 Aug 2023 02:08:59 +0000
|
|
Subject: [PATCH] Using 'monospace 11' as monospace-font-name
|
|
|
|
Signed-off-by: xiaofan <xiaofan@iscas.ac.cn>
|
|
---
|
|
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 @@
|
|
</description>
|
|
</key>
|
|
<key name="monospace-font-name" type="s">
|
|
- <default>'Source Code Pro 10'</default>
|
|
+ <default>'monospace 11'</default>
|
|
<summary>Monospace font</summary>
|
|
<description>
|
|
Name of a monospaced (fixed-width) font for use in locations like
|
|
--
|
|
2.33.0
|
|
|