X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=6d11b4fa1b7c06f57b11879db7a8787dc1a8e703;hb=cf45f0f766c147324e587522a4a3761b5ac13415;hp=4b3378513d32d4ccc4b77d5e3483e73d6c37777e;hpb=c55d66bd91cc2e12daf076c4bd050ce34029854f;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 4b3378513..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 @@
+
+
+
+