X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=6d11b4fa1b7c06f57b11879db7a8787dc1a8e703;hb=cf45f0f766c147324e587522a4a3761b5ac13415;hp=8cc437f39acf06f7ed36e1c5caad030706efc5fa;hpb=3f51c80585241ec8edafadde1945d343ac66e334;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 8cc437f39..6d11b4fa1 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1081,7 +1081,7 @@
-
+
True
gtk-new
1
@@ -1102,7 +1102,7 @@
-
+
True
gtk-open
1
@@ -1123,7 +1123,7 @@
-
+
True
gtk-save
1
@@ -1144,7 +1144,7 @@
-
+
True
gtk-save-as
1
@@ -1165,7 +1165,7 @@
-
+
True
gtk-execute
1
@@ -1192,7 +1192,7 @@
-
+
True
gtk-quit
1
@@ -1227,7 +1227,7 @@
-
+
True
gtk-undo
1
@@ -1249,7 +1249,7 @@
-
+
True
gtk-redo
1
@@ -1276,7 +1276,7 @@
-
+
True
gtk-cut
1
@@ -1297,7 +1297,7 @@
-
+
True
gtk-copy
1
@@ -1318,7 +1318,7 @@
-
+
True
gtk-paste
1
@@ -1339,6 +1339,15 @@
+
+
+
+