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