[gnome-builder] gsettings: remove show-map/auto-hide-map settings
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] gsettings: remove show-map/auto-hide-map settings
- Date: Thu, 28 Jul 2022 23:03:43 +0000 (UTC)
commit 5d6e292634f2f490ad8cb37cdcc3c0f7d6c55078
Author: Christian Hergert <chergert redhat com>
Date: Thu Jul 28 15:55:29 2022 -0700
gsettings: remove show-map/auto-hide-map settings
These are now covered by map-policy.
data/gsettings/org.gnome.builder.editor.gschema.xml | 10 ----------
1 file changed, 10 deletions(-)
---
diff --git a/data/gsettings/org.gnome.builder.editor.gschema.xml
b/data/gsettings/org.gnome.builder.editor.gschema.xml
index f1a627eed..6a71cebdc 100644
--- a/data/gsettings/org.gnome.builder.editor.gschema.xml
+++ b/data/gsettings/org.gnome.builder.editor.gschema.xml
@@ -74,16 +74,6 @@
<range min="0" max="999"/>
<default>0</default>
</key>
- <key name="show-map" type="b">
- <default>false</default>
- <summary>Show overview map</summary>
- <description>If enabled, Builder will display an overview map of the source file next to the
editor.</description>
- </key>
- <key name="auto-hide-map" type="b">
- <default>false</default>
- <summary>Automatically Hide Overview Map</summary>
- <description>If enabled, Builder will automatically hide the overview map when mouse focus leaves the
editor, or a timeout occurs.</description>
- </key>
<key name="map-policy" type="s">
<choices>
<choice value="never"/>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]