X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=9a2f3fd3942c83e9ee864dc0faf1736529eefd0c;hb=a1c4c601850c71e094a4703af00f02ca2026d8ed;hp=b8ae5834748e1a360cf104a246145a105300d77b;hpb=26bd030af58a7f4a5dff3c41ad5431e31e851d3e;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index b8ae58347..9a2f3fd39 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 @@