<property name="use_underline">True</property>
</widget>
</child>
+ <child>
+ <widget class="GtkMenuItem" id="showHintsDbMenuItem">
+ <property name="visible">True</property>
+ <property name="tooltip" translatable="yes">Displays the database of hints</property>
+ <property name="label" translatable="yes">Hints database</property>
+ <property name="use_underline">True</property>
+ </widget>
+ </child>
<child>
<widget class="GtkImageMenuItem" id="showAutoGuiMenuItem">
<property name="visible">True</property>