From 3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259 Mon Sep 17 00:00:00 2001
From: mbkma <johannes.unruh@fau.de>
Date: Sun, 12 Apr 2020 14:48:20 +0200
Subject: add overview map

---
 data/org.mate.pluma.gschema.xml.in | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'data')

diff --git a/data/org.mate.pluma.gschema.xml.in b/data/org.mate.pluma.gschema.xml.in
index 48a6e24d..ca03f2dc 100644
--- a/data/org.mate.pluma.gschema.xml.in
+++ b/data/org.mate.pluma.gschema.xml.in
@@ -105,6 +105,11 @@
       <default>80</default>
       <summary>Right Margin Position</summary>
       <description>Specifies the position of the right margin.</description>
+    </key>
+     <key name="display-overview-map" type="b">
+      <default>false</default>
+      <summary>Display Overview Map</summary>
+      <description>Whether pluma should display the overview map for the document.</description>
     </key>
     <key name="smart-home-end" type="s">
       <default>'after'</default>
-- 
cgit v1.2.1