X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=58c7132927342cce24a16c23bb3b31ee04d3b258;hb=3c9c376401844c389d682ba835845443105e4b1a;hp=4ecd6d46a705389b0a20b9d06af9a3309826c0e7;hpb=6b7f04b45232e6c690cacf5815c85c39de1f52b3;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 4ecd6d46a..58c713292 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -51,7 +51,7 @@
True
-
+
True
gtk-new
1
@@ -70,6 +70,7 @@
True
_Proof or definition ...
True
+
@@ -93,7 +94,7 @@
-
+
True
gtk-open
1
@@ -114,7 +115,7 @@
-
+
True
gtk-save
1
@@ -134,7 +135,7 @@
True
-
+
True
gtk-save-as
1
@@ -161,7 +162,7 @@
-
+
True
gtk-quit
1
@@ -233,6 +234,21 @@
+
+
+
+
+
+
+
+
@@ -292,31 +308,14 @@
450
-
+
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
- GTK_CORNER_TOP_LEFT
-
-
-
- True
- GTK_SHADOW_IN
-
-
-
- True
- True
- True
- True
- GTK_POS_TOP
- False
- False
-
-
-
-
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
True
@@ -331,22 +330,75 @@
False
-
+
True
- GTK_POLICY_NEVER
- GTK_POLICY_ALWAYS
- GTK_SHADOW_IN
- GTK_CORNER_TOP_LEFT
+ False
+ 0
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ Hide console
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-close
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
-
+
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+ 0
+ True
+ True
+
True
- True
+ False
@@ -398,9 +450,9 @@
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
@@ -449,7 +501,7 @@
- 150
+ 155
450
True
Tactics
@@ -461,7 +513,7 @@
True
False
False
- GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_WINDOW_TYPE_HINT_TOOLBAR
GDK_GRAVITY_NORTH_WEST
@@ -493,6 +545,7 @@
+ 50
True
Intros
True
@@ -518,6 +571,7 @@
+ 50
True
Apply
True
@@ -543,6 +597,7 @@
+ 50
True
Exact
True
@@ -583,6 +638,7 @@
+ 50
True
Elim
True
@@ -608,6 +664,7 @@
+ 50
True
ElimType
True
@@ -648,6 +705,7 @@
+ 50
True
Split
True
@@ -673,10 +731,11 @@
+ 25
True
Left
True
- left
+ L
True
GTK_RELIEF_NORMAL
True
@@ -698,10 +757,11 @@
+ 25
True
Right
True
- right
+ R
True
GTK_RELIEF_NORMAL
True
@@ -723,6 +783,7 @@
+ 25
True
Exists
True
@@ -763,6 +824,7 @@
+ 50
True
Reflexivity
True
@@ -788,6 +850,7 @@
+ 50
True
Symmetry
True
@@ -813,6 +876,7 @@
+ 50
True
Transitivity
True
@@ -837,7 +901,7 @@
-
+
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
@@ -845,18 +909,19 @@
True
-
+
True
True
True
False
-
+
+ 50
True
- Assumption
+ Simplify
True
- assum
+ simpl
True
GTK_RELIEF_NORMAL
True
@@ -870,18 +935,45 @@
-
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Reduce
+ True
+ red
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
True
True
True
False
-
+
+ 50
True
- Search
+ Whd
True
- search
+ whd
True
GTK_RELIEF_NORMAL
True
@@ -893,9 +985,50 @@
False
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Assumption
+ True
+ asum
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
True
True
True
@@ -903,6 +1036,7 @@
+ 50
True
Auto
True
@@ -943,6 +1077,7 @@
+ 50
True
Cut
True
@@ -968,6 +1103,7 @@
+ 50
True
Replace
True
@@ -1475,6 +1611,7 @@ Copyright (C) 2004,
+ 200
Interpretation choice
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
@@ -1553,7 +1690,7 @@ Copyright (C) 2004,
0
-
+
True
some informative message here ...
False
@@ -1574,7 +1711,30 @@ Copyright (C) 2004,
-
+
+ True
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ False
+ False
+ False
+ True
+
+
+
+
+ 0
+ True
+ True
+
@@ -1700,9 +1860,9 @@ Copyright (C) 2004,
True
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
@@ -1736,164 +1896,244 @@ Copyright (C) 2004,
False
-
+
True
- False
- 0
+ True
+ True
+ True
+ GTK_POS_BOTTOM
+ False
+ False
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ False
+ 0
-
+
True
- True
- True
- False
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
+
True
- go back 1 phrase
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- gtk-go-back
- 4
- 0.5
- 0.5
- 0
- 0
+ go back 1 phrase
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-back
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
- True
- True
- True
- 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
- execute til cursor
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- gtk-jump-to
- 4
- 0.5
- 0.5
- 0
- 0
+ 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
+ False
-
+
True
- True
- True
- False
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
-
+
True
- go forward 1 phrase
True
- GTK_RELIEF_NORMAL
- True
-
-
-
- True
- gtk-go-forward
- 4
- 0.5
- 0.5
- 0
- 0
-
-
+ True
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_NONE
+ True
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
- False
- False
+ 0
+ True
+ True
- 0
- False
- False
+ False
+ True
-
+
+ True
+ script
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
+ 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
-
+ False
+ False
+ False
+ True
- 0
- True
- True
+ False
+ True
+
+
+
+
+
+ True
+ outline
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
@@ -2021,4 +2261,235 @@ Copyright (C) 2004,
+
+ 400
+ 500
+ Cic browser
+ 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
+ False
+ 0
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+ True
+ False
+ 2
+
+
+
+ True
+ gtk-go-back
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+
+ True
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-forward
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-home
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ gtk-yes
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+
+
+ 0
+ True
+ True
+
+
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+ 0
+ 0
+ GTK_SHADOW_NONE
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+
+