<child>
<widget class="GtkVBox" id="ToolBarVBox">
- <property name="width_request">102</property>
+ <property name="width_request">109</property>
<property name="visible">True</property>
<property name="homogeneous">True</property>
<property name="spacing">0</property>
<child>
<widget class="GtkButton" id="introsButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Intros</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="exactButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Exact</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="elimButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Elim</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="elimTypeButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">ElimType</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="reflexivityButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Reflexivity</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="transitivityButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Transitivity</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="simplifyButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Simplify</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="whdButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Whd</property>
<property name="can_focus">True</property>
<child>
<widget class="GtkButton" id="assumptionButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Assumption</property>
<property name="can_focus">True</property>
- <property name="label" translatable="yes">asum</property>
+ <property name="label" translatable="yes">assum</property>
<property name="use_underline">True</property>
<property name="relief">GTK_RELIEF_NORMAL</property>
<property name="focus_on_click">True</property>
<child>
<widget class="GtkButton" id="cutButton">
- <property name="width_request">50</property>
+ <property name="width_request">55</property>
<property name="visible">True</property>
<property name="tooltip" translatable="yes">Cut</property>
<property name="can_focus">True</property>
</widget>
<packing>
<property name="padding">0</property>
- <property name="expand">False</property>
- <property name="fill">False</property>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
</packing>
</child>