X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathita%2Fmathita.glade;h=cc299bad64d9823e5d36ca80deaa3b5a0252f8cb;hb=07287062d5b84a0f2b66380d0d380bbf68217a27;hp=9f5a5f4f65e10c07d3e633b26f1fcf659916bcb7;hpb=9c70cabfe7bcf809e746f2499902aa7f2f45ca6a;p=helm.git
diff --git a/helm/mathita/mathita.glade b/helm/mathita/mathita.glade
index 9f5a5f4f6..cc299bad6 100644
--- a/helm/mathita/mathita.glade
+++ b/helm/mathita/mathita.glade
@@ -40,7 +40,7 @@
True
-
+
True
gtk-new
1
@@ -83,7 +83,7 @@
-
+
True
gtk-open
1
@@ -104,7 +104,7 @@
-
+
True
gtk-save
1
@@ -124,7 +124,7 @@
True
-
+
True
gtk-save-as
1
@@ -151,7 +151,7 @@
-
+
True
gtk-quit
1
@@ -208,6 +208,43 @@
+
+
+
+