X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=de66dbf30a92cdb1a392de1a2f30e42c641f56eb;hb=41bb791af5cba55838dae8307339aea5098c4e2d;hp=4974702998359553c7dc6059f099e1d3257ab71e;hpb=b5d69130dd83587b5fb9cbb39251aaa8df8c456e;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 497470299..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
@@ -485,7 +485,7 @@
-
+
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
@@ -506,7 +506,7 @@
GTK_BUTTONBOX_END
-
+
True
True
True
@@ -518,7 +518,7 @@
-
+
True
True
True
@@ -538,7 +538,24 @@
-
+
+ True
+ DUMMY
+ False
+ False
+ GTK_JUSTIFY_CENTER
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
@@ -999,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
+
+
+
+
+
+
+
+
+
+