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 /pluma/dialogs/pluma-preferences-dialog.ui | |
| parent | 2edb465b646f671f3372c70f020bd3d3076e86ad (diff) | |
| download | pluma-3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259.tar.bz2 pluma-3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259.tar.xz | |
add overview map
Diffstat (limited to 'pluma/dialogs/pluma-preferences-dialog.ui')
| -rw-r--r-- | pluma/dialogs/pluma-preferences-dialog.ui | 88 |
1 files changed, 84 insertions, 4 deletions
diff --git a/pluma/dialogs/pluma-preferences-dialog.ui b/pluma/dialogs/pluma-preferences-dialog.ui index f571d24d..7825e305 100644 --- a/pluma/dialogs/pluma-preferences-dialog.ui +++ b/pluma/dialogs/pluma-preferences-dialog.ui @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!-- Generated with glade 3.20.2 --> +<!-- Generated with glade 3.22.1 --> <interface> <requires lib="gtk+" version="3.22"/> <object class="GtkAdjustment" id="adjustment1"> @@ -43,6 +43,9 @@ <property name="resizable">False</property> <property name="destroy_with_parent">True</property> <property name="type_hint">dialog</property> + <child> + <placeholder/> + </child> <child internal-child="vbox"> <object class="GtkBox" id="dialog-vbox"> <property name="visible">True</property> @@ -562,6 +565,86 @@ <property name="position">4</property> </packing> </child> + <child> + <object class="GtkBox" id="vbox2"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="orientation">vertical</property> + <property name="spacing">6</property> + <child> + <object class="GtkLabel" id="label5"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="halign">start</property> + <property name="label" translatable="yes">Overview Map</property> + <attributes> + <attribute name="weight" value="bold"/> + </attributes> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">0</property> + </packing> + </child> + <child> + <object class="GtkBox" id="hbox4"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <child> + <object class="GtkLabel" id="label6"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="label" translatable="yes"> </property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">0</property> + </packing> + </child> + <child> + <object class="GtkBox" id="vbox3"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="orientation">vertical</property> + <property name="spacing">6</property> + <child> + <object class="GtkCheckButton" id="display_overview_map_checkbutton"> + <property name="label" translatable="yes">Display _overview map</property> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="receives_default">False</property> + <property name="use_underline">True</property> + <property name="draw_indicator">True</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">0</property> + </packing> + </child> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">5</property> + </packing> + </child> </object> </child> <child type="tab"> @@ -1496,8 +1579,5 @@ <action-widget response="-11">helpbutton1</action-widget> <action-widget response="-7">closebutton1</action-widget> </action-widgets> - <child> - <placeholder/> - </child> </object> </interface> |