X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=de66dbf30a92cdb1a392de1a2f30e42c641f56eb;hb=9a10854931b9271c215040533a65e5330bc75122;hp=353f01ef9602e9d8f405314bdd25712697226931;hpb=cc465115cdeea9819f43a5ad219b07c4f928c43a;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 353f01ef9..de66dbf30 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -262,7 +262,7 @@
450
-
+
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
@@ -280,7 +280,7 @@
-
+
True
GTK_POLICY_NEVER
GTK_POLICY_ALWAYS
@@ -1016,7 +1016,7 @@
-
+
True
DUMMY
GTK_WINDOW_TOPLEVEL
@@ -1027,7 +1027,7 @@
True
-
+
True
False
0
@@ -1038,7 +1038,7 @@
GTK_BUTTONBOX_END
-
+
True
True
True
@@ -1050,7 +1050,7 @@
-
+
True
True
True
@@ -1070,7 +1070,7 @@
-
+
True
DUMMY
False