+ <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>
+