From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 24 Oct 2006 08:02:35 +0000 (+0000)
Subject: fixed the ugly button added by csc, now it is inside a buttonbar and uses the default... 
X-Git-Tag: make_still_working~6718
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2e4a77477a9b809d9c1197e0693d2cdd43258570;p=helm.git

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

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 013d3b4e6..0f7b50cf8 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/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>