X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita.glade;h=71506d55ac3b0f0784755299fd7ba00f36b63135;hb=e890bed5985151f6fbbc848ea23d361bec56df60;hp=436dd7b268b664c5cea6a27ebcc6f83b5eb44fb1;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index 436dd7b26..71506d55a 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -877,7 +877,7 @@
-
+
True
gtk-new
1
@@ -898,7 +898,7 @@
-
+
True
gtk-open
1
@@ -919,7 +919,7 @@
-
+
True
gtk-save
1
@@ -940,7 +940,7 @@
-
+
True
gtk-save-as
1
@@ -961,7 +961,7 @@
-
+
True
gtk-execute
1
@@ -988,7 +988,7 @@
-
+
True
gtk-quit
1
@@ -1023,7 +1023,7 @@
-
+
True
gtk-undo
1
@@ -1045,7 +1045,7 @@
-
+
True
gtk-redo
1
@@ -1072,7 +1072,7 @@
-
+
True
gtk-cut
1
@@ -1093,7 +1093,7 @@
-
+
True
gtk-copy
1
@@ -1114,7 +1114,7 @@
-
+
True
gtk-paste
1
@@ -1142,7 +1142,7 @@
True
-
+
True
gtk-delete
1
@@ -1183,7 +1183,7 @@
-
+
True
gtk-find-and-replace
1
@@ -1352,7 +1352,7 @@
-
+
True
gtk-zoom-in
1
@@ -1374,7 +1374,7 @@
-
+
True
gtk-zoom-out
1
@@ -1395,7 +1395,7 @@
-
+
True
gtk-zoom-100
1
@@ -1440,6 +1440,27 @@