X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=81a68b55d34272aa002075a04b09a201dfc8d791;hb=66929b8edb58d468a134b648466f3e9c45ba5c0e;hp=b8ae5834748e1a360cf104a246145a105300d77b;hpb=894c3e4038c93b484896e81132eae55046e47605;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index b8ae58347..81a68b55d 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 @@