]> git.donarmstrong.com Git - xournal.git/blobdiff - xournal.glade
Release 0.4.1
[xournal.git] / xournal.glade
index 471cd10902aeff61c90865a532828994816ebf62..47f31a55a8437e7643460e33bc12d72602046f92 100644 (file)
                    </widget>
                  </child>
 
+                 <child>
+                   <widget class="GtkCheckMenuItem" id="optionsLeftHanded">
+                     <property name="visible">True</property>
+                     <property name="label" translatable="yes">Left-Handed Scrollbar</property>
+                     <property name="use_underline">True</property>
+                     <property name="active">False</property>
+                     <signal name="toggled" handler="on_optionsLeftHanded_activate" last_modification_time="Wed, 07 Dec 2005 22:54:39 GMT"/>
+                   </widget>
+                 </child>
+
+                 <child>
+                   <widget class="GtkCheckMenuItem" id="optionsShortenMenus">
+                     <property name="visible">True</property>
+                     <property name="label" translatable="yes">Shorten _Menus</property>
+                     <property name="use_underline">True</property>
+                     <property name="active">False</property>
+                     <signal name="toggled" handler="on_optionsShortenMenus_activate" last_modification_time="Wed, 07 Dec 2005 22:54:39 GMT"/>
+                   </widget>
+                 </child>
+
                  <child>
                    <widget class="GtkSeparatorMenuItem" id="separator21">
                      <property name="visible">True</property>
                    </widget>
                  </child>
 
+                 <child>
+                   <widget class="GtkCheckMenuItem" id="optionsAutoSavePrefs">
+                     <property name="visible">True</property>
+                     <property name="label" translatable="yes">A_uto-Save Preferences</property>
+                     <property name="use_underline">True</property>
+                     <property name="active">False</property>
+                     <signal name="toggled" handler="on_optionsAutoSavePrefs_activate" last_modification_time="Wed, 07 Dec 2005 22:54:39 GMT"/>
+                   </widget>
+                 </child>
+
                  <child>
                    <widget class="GtkMenuItem" id="optionsSavePreferences">
                      <property name="visible">True</property>