+ <child>
+ <widget class="GtkImageMenuItem" id="showUnicodeTable">
+ <property name="visible">True</property>
+ <property name="tooltip" translatable="yes">Show the conversion table from TeX to UTF8</property>
+ <property name="label" translatable="yes">Tex/UTF8 table</property>
+ <property name="use_underline">True</property>
+ <child internal-child="image">
+ <widget class="GtkImage" id="menu-item-image20">
+ <property name="visible">True</property>
+ <property name="stock">gtk-select-font</property>
+ </widget>
+ </child>
+ </widget>
+ </child>