X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=103e27673fe8ee2076b2b3908739e52f28ef81af;hb=5e8e0400fe58e71bfae91eb2cb7327ec11ce9cbc;hp=6eba147fd2717270ccd24d939d7efbd36ca60d09;hpb=c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 6eba147fd..103e27673 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -13,325 +13,414 @@
600
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
-
+
True
- False
- 0
+ True
+ False
-
+
True
+ False
+ 0
-
@@ -617,6 +1298,11 @@
True
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
True
@@ -638,6 +1324,7 @@
gtk-cancel
True
GTK_RELIEF_NORMAL
+ True
-6
@@ -648,6 +1335,7 @@
True
True
GTK_RELIEF_NORMAL
+ True
0
@@ -657,6 +1345,10 @@
0.5
0
0
+ 0
+ 0
+ 0
+ 0
@@ -717,6 +1409,7 @@
Try Constants
True
GTK_RELIEF_NORMAL
+ True
0
@@ -727,6 +1420,7 @@
True
True
GTK_RELIEF_NORMAL
+ True
0
@@ -736,6 +1430,10 @@
0.5
0
0
+ 0
+ 0
+ 0
+ 0
@@ -877,27 +1575,164 @@
-
+
+ True
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+
+ 0
+ True
+ True
+
+
+
+
+ 0
+ False
+ True
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+
+ 200
+ Interpretation choice
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ True
+ 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-help
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -11
+
+
+
+
+
+ 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
+ False
+ 0
+
+
+
+ True
+ some informative message here ...
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
True
True
- True
- True
- 0
-
- True
- *
- False
+ False
+ False
+ False
+ True
-
- 0
- True
- True
-
0
- False
+ True
True
@@ -912,58 +1747,54 @@
-
- Interpretation choice
+
+ True
+ DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
- True
+ 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-help
- True
- GTK_RELIEF_NORMAL
- -11
-
-
-
-
-
+
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
+ True
-6
-
+
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
+ True
-5
@@ -977,15 +1808,275 @@
-
+
True
- False
- 0
+ 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_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+
+
+
+
+
+ Matita: script
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ 450
+ 800
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
+
+
+
+ True
+ True
+ False
+
+
+
+ True
+ True
+ True
+ True
+ GTK_POS_BOTTOM
+ False
+ False
-
+
True
- some informative message here ...
+ False
+ 0
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ go back 1 phrase
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-back
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ execute til cursor
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ go forward 1 phrase
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-forward
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ True
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_NONE
+ True
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ script
False
False
GTK_JUSTIFY_LEFT
@@ -997,67 +2088,107 @@
0
- 0
- False
- False
+ tab
-
+
+ True
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ False
+ False
+ False
+ True
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ outline
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
-
- 0
- True
- True
-
-
- True
- dialog1
+
+ DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
- True
+ 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
@@ -1071,7 +2202,60 @@
-
+
+ True
+ DUMMY
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ True
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_NONE
+ True
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+ 0
+ True
+ True
+