X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2dab410080d329772a8ed5b1104b00fb99a27830;hb=d645b8bf30064e94ee9777d793854eebc921dfe0;hp=23ebec8b3457504487e418ee5ed40738ab4889da;hpb=07dde6f87105c18b28fc784b7d596a5d242e1225;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 23ebec8b3..2dab41008 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -13,307 +13,351 @@
600
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
-
+
True
- False
- 0
+ True
+ False
-
+
True
+ False
+ 0
-
@@ -525,6 +593,7 @@
gtk-ok
True
GTK_RELIEF_NORMAL
+ True
-5
@@ -568,6 +637,11 @@
True
False
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -589,6 +663,7 @@
gtk-ok
True
GTK_RELIEF_NORMAL
+ True
-5
@@ -602,7 +677,29 @@
-
+
+ True
+ <b>Matita @VERSION@</b>
+
+<tt>http://helm.cs.unibo.it</tt>
+
+Copyright (C) 2004,
+<i>the HELM team</i>
+ False
+ True
+ GTK_JUSTIFY_CENTER
+ False
+ False
+ 0.5
+ 0.5
+ 5
+ 5
+
+
+ 0
+ False
+ False
+
@@ -616,6 +713,11 @@
True
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -637,6 +739,7 @@
gtk-cancel
True
GTK_RELIEF_NORMAL
+ True
-6
@@ -647,6 +750,7 @@
True
True
GTK_RELIEF_NORMAL
+ True
0
@@ -656,6 +760,10 @@
0.5
0
0
+ 0
+ 0
+ 0
+ 0
@@ -716,6 +824,7 @@
Try Constants
True
GTK_RELIEF_NORMAL
+ True
0
@@ -726,6 +835,7 @@
True
True
GTK_RELIEF_NORMAL
+ True
0
@@ -735,6 +845,10 @@
0.5
0
0
+ 0
+ 0
+ 0
+ 0
@@ -918,6 +1032,11 @@
True
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -939,6 +1058,7 @@
gtk-help
True
GTK_RELIEF_NORMAL
+ True
-11
@@ -951,6 +1071,7 @@
gtk-cancel
True
GTK_RELIEF_NORMAL
+ True
-6
@@ -963,6 +1084,7 @@
gtk-ok
True
GTK_RELIEF_NORMAL
+ True
-5
@@ -1016,4 +1138,110 @@
+
+ True
+ DUMMY
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
+ True
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ GTK_BUTTONBOX_END
+
+
+
+ True
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -6
+
+
+
+
+
+ True
+ True
+ True
+ gtk-ok
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -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
+
+
+
+
+
+
+
+
+
+
+
+ Check
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
+
+
+
+
+
+