X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=6d11b4fa1b7c06f57b11879db7a8787dc1a8e703;hb=12fe61bed1275c4c596501fb951a9197f50c93e8;hp=b8ae5834748e1a360cf104a246145a105300d77b;hpb=894c3e4038c93b484896e81132eae55046e47605;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index b8ae58347..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
@@ -1139,12 +1139,12 @@