diff options
| author | mbkma <[email protected]> | 2020-04-12 14:48:20 +0200 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2020-07-31 16:04:16 +0200 |
| commit | 3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259 (patch) | |
| tree | 025d856758c59d3b8d5dbea1dacad8da5a72c0d5 /data | |
| parent | 2edb465b646f671f3372c70f020bd3d3076e86ad (diff) | |
| download | pluma-3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259.tar.bz2 pluma-3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259.tar.xz | |
add overview map
Diffstat (limited to 'data')
| -rw-r--r-- | data/org.mate.pluma.gschema.xml.in | 5 |
1 files changed, 5 insertions, 0 deletions
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 @@ -106,6 +106,11 @@ <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> <summary>Smart Home End</summary> |