</widget>
</child>
- <child>
- <widget class="GtkCheckMenuItem" id="optionsDiscardCoreEvents">
- <property name="visible">True</property>
- <property name="label" translatable="yes">Discard _Core Events</property>
- <property name="use_underline">True</property>
- <property name="active">False</property>
- <signal name="toggled" handler="on_optionsDiscardCore_activate" last_modification_time="Wed, 07 Dec 2005 22:54:39 GMT"/>
- </widget>
- </child>
-
<child>
<widget class="GtkCheckMenuItem" id="optionsButtonMappings">
<property name="visible">True</property>
</widget>
</child>
- <child>
+ <child>
<widget class="GtkCheckMenuItem" id="optionsButtonSwitchMapping">
<property name="visible">True</property>
<property name="label" translatable="yes">Buttons Switch Mappings</property>
<widget class="GtkLabel" id="labelInfo">
<property name="visible">True</property>
<property name="label" translatable="yes">Written by Denis Auroux
+and other contributors
http://xournal.sourceforge.net/ </property>
<property name="use_underline">False</property>
<property name="use_markup">False</property>