X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=466174ba35da5e068e6564dcee9120089ba89361;hb=1e61e4290c96600e3758b30b660712514ba379e3;hp=4974702998359553c7dc6059f099e1d3257ab71e;hpb=b5d69130dd83587b5fb9cbb39251aaa8df8c456e;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 497470299..466174ba3 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -13,307 +13,352 @@
600
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
-
+
True
- False
- 0
+ True
+ False
-
+
True
+ False
+ 0
-
-
+
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
False
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -506,25 +574,27 @@
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
@@ -538,7 +608,24 @@
-
+
+ True
+ DUMMY
+ False
+ False
+ GTK_JUSTIFY_CENTER
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
@@ -551,6 +638,11 @@
True
False
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -572,6 +664,7 @@
gtk-ok
True
GTK_RELIEF_NORMAL
+ True
-5
@@ -585,7 +678,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
+
@@ -599,6 +714,11 @@
True
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -620,6 +740,7 @@
gtk-cancel
True
GTK_RELIEF_NORMAL
+ True
-6
@@ -630,6 +751,7 @@
True
True
GTK_RELIEF_NORMAL
+ True
0
@@ -639,6 +761,10 @@
0.5
0
0
+ 0
+ 0
+ 0
+ 0
@@ -699,6 +825,7 @@
Try Constants
True
GTK_RELIEF_NORMAL
+ True
0
@@ -709,6 +836,7 @@
True
True
GTK_RELIEF_NORMAL
+ True
0
@@ -718,6 +846,10 @@
0.5
0
0
+ 0
+ 0
+ 0
+ 0
@@ -901,6 +1033,11 @@
True
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -922,6 +1059,7 @@
gtk-help
True
GTK_RELIEF_NORMAL
+ True
-11
@@ -934,6 +1072,7 @@
gtk-cancel
True
GTK_RELIEF_NORMAL
+ True
-6
@@ -946,6 +1085,7 @@
gtk-ok
True
GTK_RELIEF_NORMAL
+ True
-5
@@ -999,4 +1139,131 @@
+
+ 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
+
+
+
+
+
+
+
+
+
+
+
+ 300
+ 200
+ Matita: check term
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
+
+
+
+ True
+ True
+ False
+
+
+
+ True
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+
+
+
+