</widget>
</child>
+ <child>
+ <widget class="GtkCheckMenuItem" id="optionsPrintRuling">
+ <property name="visible">True</property>
+ <property name="label" translatable="yes">Print Paper Ruling</property>
+ <property name="use_underline">True</property>
+ <property name="active">False</property>
+ <signal name="activate" handler="on_optionsPrintRuling_activate" last_modification_time="Sat, 25 Nov 2006 03:42:27 GMT"/>
+ </widget>
+ </child>
+
<child>
<widget class="GtkSeparatorMenuItem" id="separator21">
<property name="visible">True</property>