<!--*- mode: xml -*-->
<glade-interface>
<widget class="GtkWindow" id="BrowserWin">
- <property name="width_request">640</property>
+ <property name="width_request">500</property>
<property name="height_request">480</property>
<property name="visible">True</property>
<property name="title" translatable="yes">Cic browser</property>
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
- <property name="default_width">640</property>
+ <property name="default_width">500</property>
<property name="default_height">480</property>
<property name="destroy_with_parent">True</property>
- <property name="transient_for">MainWin</property>
<child>
<widget class="GtkEventBox" id="BrowserWinEventBox">
<property name="visible">True</property>
</widget>
</child>
<child>
- <widget class="GtkImageMenuItem" id="showTermGrammarMenuItem">
+ <widget class="GtkMenuItem" id="showTermGrammarMenuItem">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Displays the term grammar</property>
- <property name="label" translatable="yes">Show term's grammar</property>
+ <property name="tooltip" translatable="yes">Displays the terms grammar as extended by the user</property>
+ <property name="label" translatable="yes">Terms grammar</property>
<property name="use_underline">True</property>
</widget>
</child>
+ <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>
</widget>
</child>
</widget>
</child>
</widget>
</child>
- <child>
- <widget class="GtkImageMenuItem" id="showUnicodeTable">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Displays the Tex/Unicode table</property>
- <property name="label" translatable="yes">Show Tex/Unicode table</property>
- <property name="use_underline">True</property>
- </widget>
- </child>
<child>
<widget class="GtkImageMenuItem" id="aboutMenuItem">
<property name="visible">True</property>