[gnome-builder/wip/gtk4-port: 779/1774] gsettings: disable grid lines by default
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 779/1774] gsettings: disable grid lines by default
- Date: Mon, 11 Jul 2022 22:31:23 +0000 (UTC)
commit dc7105ac73c170e9181a5fe4267cdfe115cd183a
Author: Christian Hergert <chergert redhat com>
Date: Wed Apr 27 15:41:33 2022 -0700
gsettings: disable grid lines by default
Not really the look we're going for in our default anymore, and it also
has more overhead when rendering so cut that out.
data/gsettings/org.gnome.builder.editor.gschema.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/gsettings/org.gnome.builder.editor.gschema.xml
b/data/gsettings/org.gnome.builder.editor.gschema.xml
index 16bf161e8..11a657309 100644
--- a/data/gsettings/org.gnome.builder.editor.gschema.xml
+++ b/data/gsettings/org.gnome.builder.editor.gschema.xml
@@ -60,7 +60,7 @@
<description>Whether or not Home moves to first non-space character.</description>
</key>
<key name="show-grid-lines" type="b">
- <default>true</default>
+ <default>false</default>
<summary>Show grid lines</summary>
<description>If enabled, the editor will show grid lines in the document.</description>
</key>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]