X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=de66dbf30a92cdb1a392de1a2f30e42c641f56eb;hb=fd648e40eb2c9c5b29cfa4408459511a74898d1d;hp=23ebec8b3457504487e418ee5ed40738ab4889da;hpb=07dde6f87105c18b28fc784b7d596a5d242e1225;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 23ebec8b3..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,4 +1016,85 @@
+
+ True
+ DUMMY
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ GTK_BUTTONBOX_END
+
+
+
+ True
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ -6
+
+
+
+
+
+ True
+ True
+ True
+ gtk-ok
+ True
+ GTK_RELIEF_NORMAL
+ -5
+
+
+
+
+ 0
+ False
+ True
+ GTK_PACK_END
+
+
+
+
+
+ True
+ DUMMY
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+
+
+
+
+