X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fmatita.glade;h=81a68b55d34272aa002075a04b09a201dfc8d791;hb=78ed249d75b6b65847e4739dabf7c18b8288c7d8;hp=b8ae5834748e1a360cf104a246145a105300d77b;hpb=26bd030af58a7f4a5dff3c41ad5431e31e851d3e;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index b8ae58347..81a68b55d 100644
--- a/matita/matita.glade
+++ b/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
@@ -1139,12 +1139,12 @@