+ <child>
+ <object class="GtkMenuItem" id="hidesolution">
+ <property name="visible">True</property>
+ <property name="label" translatable="yes">_Hide solution</property>
+ <property name="use_underline">True</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkSeparatorMenuItem" id="sep2">
+ <property name="visible">True</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkMenuItem" id="verify">
+ <property name="visible">True</property>
+ <property name="label" translatable="yes">_Verify your board...</property>
+ <property name="use_underline">True</property>
+ </object>
+ </child>