diff options
Diffstat (limited to 'data/org.mate.pluma.gschema.xml.in')
| -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> |