fixed the ugly button added by csc, now it is inside a buttonbar and uses the default...

diff --git a/matita/matita.glade b/matita/matita.glade
index 013d3b4e6830e55a51bd7b9f98dcc74eac251df4..0f7b50cf891b1626de57802acd9104b27a118710 100644 (file)
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -2344,41 +2344,51 @@
                              </child>
 
                              <child>
-                               <widget class="GtkToolItem" id="toolitemxx">
+                               <widget class="GtkToolbar" id="toolbar2">
                                  <property name="visible">True</property>
-                                 <property name="visible_horizontal">True</property>
-                                 <property name="visible_vertical">True</property>
-                                 <property name="is_important">False</property>
+                                 <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
+                                 <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
+                                 <property name="tooltips">True</property>
+                                 <property name="show_arrow">True</property>
 
                                  <child>
-                                   <widget class="GtkButton" id="scriptAbortButton">
+                                   <widget class="GtkToolItem" id="toolitem46">
                                      <property name="visible">True</property>
-                                     <property name="tooltip" translatable="yes">Abort</property>
-                                     <property name="can_focus">True</property>
-                                     <property name="relief">GTK_RELIEF_NONE</property>
-                                     <property name="focus_on_click">True</property>
+                                     <property name="visible_horizontal">True</property>
+                                     <property name="visible_vertical">True</property>
+                                     <property name="is_important">False</property>
 
                                      <child>
-                                       <widget class="GtkImage" id="image925">
+                                       <widget class="GtkButton" id="scriptAbortButton">
                                          <property name="visible">True</property>
-                                         <property name="stock">gtk-cancel</property>
-                                         <property name="icon_size">4</property>
-                                         <property name="xalign">0.5</property>
-                                         <property name="yalign">0.5</property>
-                                         <property name="xpad">0</property>
-                                         <property name="ypad">0</property>
-                                         <accessibility>
-                                           <atkproperty name="AtkObject::accessible_name" translatable="yes">abort</atkproperty>
-                                         </accessibility>
+                                         <property name="can_focus">True</property>
+                                         <property name="relief">GTK_RELIEF_NONE</property>
+                                         <property name="focus_on_click">True</property>
+
+                                         <child>
+                                           <widget class="GtkImage" id="image927">
+                                             <property name="visible">True</property>
+                                             <property name="stock">gtk-stop</property>
+                                             <property name="icon_size">4</property>
+                                             <property name="xalign">0.5</property>
+                                             <property name="yalign">0.5</property>
+                                             <property name="xpad">0</property>
+                                             <property name="ypad">0</property>
+                                           </widget>
+                                         </child>
                                        </widget>
                                      </child>
                                    </widget>
+                                   <packing>
+                                     <property name="expand">False</property>
+                                     <property name="homogeneous">False</property>
+                                   </packing>
                                  </child>
                                </widget>
                                <packing>
                                  <property name="padding">0</property>
                                  <property name="expand">False</property>
-                                 <property name="fill">False</property>
+                                 <property name="fill">True</property>
                                </packing>
                              </child>
                            </widget>