X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=9d90662144a6cebfe119c919b3b9e9a4b37bc15b;hb=d35d134356645a09eb72db6e484f3df583123af1;hp=d86e895d7f87f19fff6c62fabc83725b81e51358;hpb=de4be1b51749200158ffb1984d6da3004b3690a9;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index d86e895d7..9d9066214 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -806,7 +806,7 @@
True
-
+
True
gtk-new
1
@@ -827,7 +827,7 @@
-
+
True
gtk-open
1
@@ -848,7 +848,7 @@
-
+
True
gtk-save
1
@@ -868,7 +868,7 @@
True
-
+
True
gtk-save-as
1
@@ -889,7 +889,7 @@
-
+
True
gtk-execute
1
@@ -916,7 +916,7 @@
-
+
True
gtk-quit
1
@@ -951,7 +951,7 @@
-
+
True
gtk-undo
1
@@ -973,7 +973,7 @@
-
+
True
gtk-redo
1
@@ -1000,7 +1000,7 @@
-
+
True
gtk-cut
1
@@ -1021,7 +1021,7 @@
-
+
True
gtk-copy
1
@@ -1042,7 +1042,7 @@
-
+
True
gtk-paste
1
@@ -1062,7 +1062,7 @@
True
-
+
True
gtk-delete
1
@@ -1089,7 +1089,7 @@
-
+
True
gtk-find-and-replace
1
@@ -1118,8 +1118,7 @@