X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=6ddd786b9b4210684bb40568f1bbf545a6a8e437;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3c664c43cc7505077d2d73d2f1b94e14e5fe3266;hpb=6fa89cef6aa8fc1774db065a9fcfc47867579054;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 3c664c43c..6ddd786b9 100644
--- a/helm/matita/matita.glade
+++ b/helm/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
@@ -1134,7 +1134,7 @@
True
-
+
True
gtk-delete
1
@@ -1175,7 +1175,7 @@
-
+
True
gtk-find-and-replace
1
@@ -1194,6 +1194,15 @@
+
+
+
+
+
+
+
+