X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=58c7132927342cce24a16c23bb3b31ee04d3b258;hb=3c9c376401844c389d682ba835845443105e4b1a;hp=e7dc8ded4036b80d16c1137c4f826c1b410bc39a;hpb=1d431843f49b3658593c8cc918b53a43479a6486;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index e7dc8ded4..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,10 +501,10 @@
- 130
+ 155
450
True
- ToolBar
+ Tactics
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
@@ -461,7 +513,7 @@
True
False
False
- GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_WINDOW_TYPE_HINT_TOOLBAR
GDK_GRAVITY_NORTH_WEST
@@ -471,137 +523,659 @@
False
-
+
True
False
0
-
+
True
- GTK_BUTTONBOX_DEFAULT_STYLE
- 0
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
- 120
+
True
- True
- True
- button1
- True
- GTK_RELIEF_NORMAL
- True
-
-
+ True
+ True
+ False
-
-
- True
- True
- True
- button2
- True
- GTK_RELIEF_NORMAL
- True
+
+
+ 50
+ True
+ Intros
+ True
+ intros
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
-
+
True
- True
- True
- button3
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Apply
+ True
+ apply
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
-
+
True
- True
- True
- button4
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Exact
+ True
+ exact
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
0
False
- True
+ False
-
+
True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Elim
+ True
+ elim
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ ElimType
+ True
+ elimTy
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
- 5
+ 0
False
- True
+ False
-
-
-
-
-
-
-
-
-
- DUMMY
- GTK_WINDOW_TOPLEVEL
- GTK_WIN_POS_CENTER
- True
- False
- False
- True
- False
- False
- GDK_WINDOW_TYPE_HINT_DIALOG
- GDK_GRAVITY_NORTH_WEST
- True
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
-
- True
- False
- 0
+
+
+ True
+ True
+ True
+ False
-
-
- True
- GTK_BUTTONBOX_END
+
+
+ 50
+ True
+ Split
+ True
+ split
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
-
-
- True
- True
- True
- gtk-cancel
- True
- GTK_RELIEF_NORMAL
- True
- -6
-
-
+
+
+ True
+ True
+ True
+ False
-
-
- True
- True
- True
- gtk-ok
+
+
+ 25
+ True
+ Left
+ True
+ L
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 25
+ True
+ Right
+ True
+ R
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 25
+ True
+ Exists
+ True
+ â
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Reflexivity
+ True
+ refl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Symmetry
+ True
+ sym
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Transitivity
+ True
+ trans
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Simplify
+ True
+ simpl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Reduce
+ True
+ red
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Whd
+ True
+ whd
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ 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
+ False
+
+
+
+ 50
+ True
+ Auto
+ True
+ auto
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Cut
+ True
+ cut
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Replace
+ True
+ repl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+
+
+
+
+ DUMMY
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_CENTER
+ True
+ False
+ 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
@@ -1001,27 +1575,164 @@ Copyright (C) 2004,
-
+
+ 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
@@ -1036,11 +1747,12 @@ Copyright (C) 2004,
-
- Interpretation choice
+
+ True
+ DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
- True
+ False
True
False
True
@@ -1051,73 +1763,365 @@ Copyright (C) 2004,
True
-
+
True
False
0
-
+
True
GTK_BUTTONBOX_END
-
+
True
True
True
- gtk-help
+ gtk-cancel
True
GTK_RELIEF_NORMAL
True
- -11
+ -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_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
+ 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
- True
- True
- gtk-cancel
- True
- GTK_RELIEF_NORMAL
- True
- -6
+ script
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+ tab
+
-
+
True
- True
True
- gtk-ok
- True
- GTK_RELIEF_NORMAL
- True
- -5
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ False
+ False
+ False
+ True
+
+
+
+ False
+ True
+
-
-
- 0
- False
- True
- GTK_PACK_END
-
-
-
-
-
- True
- False
- 0
-
+
True
- some informative message here ...
+ outline
False
False
GTK_JUSTIFY_LEFT
@@ -1129,28 +2133,16 @@ Copyright (C) 2004,
0
- 0
- False
- False
+ tab
-
-
-
-
-
- 0
- True
- True
-
-
- True
+
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
@@ -1165,18 +2157,18 @@ Copyright (C) 2004,
True
-
+
True
False
0
-
+
True
GTK_BUTTONBOX_END
-
+
True
True
True
@@ -1189,7 +2181,7 @@ Copyright (C) 2004,
-
+
True
True
True
@@ -1210,7 +2202,7 @@ Copyright (C) 2004,
-
+
True
DUMMY
False
@@ -1231,58 +2223,51 @@ Copyright (C) 2004,
-
-
-
-
-
-
-
- 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_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
+
-
- Matita: script
+
+ 400
+ 500
+ Cic browser
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
- 300
- 800
True
False
True
@@ -1292,163 +2277,206 @@ Copyright (C) 2004,
GDK_GRAVITY_NORTH_WEST
-
+
True
True
False
-
+
True
False
0
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ False
+ 0
-
+
True
- True
- True
- False
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
-
+
True
- go back 1 phrase
- True
- GTK_RELIEF_NORMAL
- True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
-
+
True
- gtk-go-back
- 4
- 0.5
- 0.5
- 0
- 0
+ 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
+ False
-
+
True
- True
- True
- False
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
-
+
True
- execute til cursor
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
- True
- gtk-jump-to
- 4
- 0.5
- 0.5
- 0
- 0
-
-
+ gtk-go-forward
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
False
- False
+ False
-
+
True
- True
- True
- False
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
-
+
True
- go forward 1 phrase
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
- True
- gtk-go-forward
- 4
- 0.5
- 0.5
- 0
- 0
-
-
+ gtk-home
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
False
- False
+ False
+
+
+
+
+
+ True
+ gtk-yes
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+
+
+ 0
+ True
+ True
0
False
- False
+ True
-
+
True
- True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
+ 0
+ 0
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
-
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+