X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2e2ef874e12af0bd0aa4fabd8ce8ce7f611b517e;hb=f7759f86b755f4f7dc2b23edd52ed4d2e5c028fe;hp=47c9d9e9ebd11f59927d45d94fe2c5f9648ea427;hpb=5e4659bb1bd31c92fa7c82fe502aabb1dc9dbb75;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 47c9d9e9e..2e2ef874e 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -79,13 +79,13 @@ Copyright (C) 2005,
- 500
- 500
True
Cic browser
GTK_WINDOW_TOPLEVEL
- GTK_WIN_POS_NONE
+ GTK_WIN_POS_CENTER_ON_PARENT
False
+ 500
+ 500
True
False
True
@@ -107,26 +107,29 @@ Copyright (C) 2005,
0
-
+
True
+ 0
+ 0.5
GTK_SHADOW_OUT
- GTK_POS_LEFT
- GTK_POS_TOP
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
+
True
- True
- True
- False
+ False
+ 0
@@ -135,7 +138,7 @@ Copyright (C) 2005,
True
True
GTK_RELIEF_NONE
- True
+ False
@@ -149,20 +152,12 @@ Copyright (C) 2005,
+
+ 0
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
@@ -233,20 +228,12 @@ Copyright (C) 2005,
+
+ 0
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
@@ -269,20 +256,12 @@ Copyright (C) 2005,
+
+ 0
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
@@ -305,20 +284,12 @@ Copyright (C) 2005,
+
+ 0
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
@@ -341,23 +312,15 @@ Copyright (C) 2005,
+
+ 0
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
-
+
True
gtk-jump-to
4
@@ -366,26 +329,20 @@ Copyright (C) 2005,
0
0
+
+ 3
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
True
cic uri
+ True
True
+ True
True
True
0
@@ -393,14 +350,92 @@ Copyright (C) 2005,
True
*
False
- 34
+
+ 3
+ True
+ True
+
+
+
+
+
+ 20
+ True
+ False
+ 0
+
+
+
+
+
+
+
+
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_RELIEF_NONE
+ True
+ False
+ False
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ GTK_ARROW_DOWN
+ GTK_SHADOW_NONE
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+ 0
+ False
+ False
+
-
- False
- False
-
@@ -413,83 +448,232 @@ Copyright (C) 2005,
-
+
+ 3
True
- 0
- 0
- GTK_SHADOW_IN
+ False
+ 6
-
+
True
True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_NONE
- GTK_CORNER_TOP_LEFT
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+ False
+ 0
-
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+
+ 0
+ False
+ False
+
+
+ 0
+ False
+ True
+
0
- True
+ False
True
-
-
-
-
-
-
-
- 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
-
-
+ 0
+ 0
+ GTK_SHADOW_NONE
-
-
- True
- True
- True
- gtk-ok
+
+
+ True
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ MathView
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ False
+ False
+ False
+ True
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ WhelpResults
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+
+
+
+ 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
@@ -795,8 +979,6 @@ Copyright (C) 2005,
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
- 800
- 600
True
False
True
@@ -1037,698 +1219,612 @@ Copyright (C) 2005,
+ 2
True
GTK_SHADOW_OUT
GTK_POS_TOP
- GTK_POS_TOP
+ GTK_POS_LEFT
-
- 102
+
True
- True
- 0
+ 17
+ 2
+ False
+ 4
+ 0
-
+
+ 50
True
- False
- 0
-
-
-
- True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
-
-
-
- 55
- True
- Intros
- True
- intros
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
-
-
-
- 50
- True
- Apply
- True
- apply
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
-
-
- 0
- False
- False
-
-
-
-
-
- True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
-
-
-
- 55
- True
- Exact
- True
- exact
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
-
-
- 0
- False
- False
-
-
+ Apply
+ True
+ apply
+ True
+ GTK_RELIEF_NORMAL
+ True
- 0
- False
- False
+ 1
+ 2
+ 0
+ 1
+ fill
+
-
+
+ 55
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ Intros
+ True
+ intro
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 0
+ 1
+ fill
+
+
+
-
-
- True
- True
- True
- False
+
+
+ 55
+ True
+ Exact
+ True
+ exact
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 2
+ 3
+ fill
+
+
+
-
-
- 55
- True
- Elim
- True
- elim
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ 55
+ True
+ Elim
+ True
+ elim
+ True
+ GTK_RELIEF_HALF
+ True
+
+
+ 0
+ 1
+ 4
+ 5
+ fill
+
+
+
-
-
- True
- True
- True
- False
+
+
+ 55
+ True
+ Reflexivity
+ True
+ refl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 8
+ 9
+ fill
+
+
+
-
-
- 50
- True
- ElimType
- True
- elimTy
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ 50
+ True
+ Symmetry
+ True
+ sym
+ True
+ GTK_RELIEF_NORMAL
+ True
- 0
- False
- False
+ 1
+ 2
+ 8
+ 9
+ fill
+
-
+
+ 55
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ Transitivity
+ True
+ trans
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 9
+ 10
+ fill
+
+
+
-
-
- True
- True
- True
- False
+
+
+ 55
+ True
+ Simplify
+ True
+ simpl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 11
+ 12
+ fill
+
+
+
-
-
- 25
- True
- Split
- True
- â§
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ 50
+ True
+ Reduce
+ True
+ red
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 11
+ 12
+ fill
+
+
+
-
-
- True
- True
- True
- False
+
+
+ 55
+ True
+ Whd
+ True
+ whd
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 12
+ 13
+ fill
+
+
+
-
-
- 25
- True
- Left
- True
- L
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ 55
+ True
+ Assumption
+ True
+ assum
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 14
+ 15
+ fill
+
+
+
-
-
- True
- True
- True
- False
+
+
+ 50
+ True
+ Auto
+ True
+ auto
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 14
+ 15
+ fill
+
+
+
-
-
- 25
- True
- Right
- True
- R
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ 55
+ True
+ Cut
+ True
+ cut
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 16
+ 17
+ fill
+
+
+
-
-
- True
- True
- True
- False
+
+
+ 50
+ True
+ Replace
+ True
+ repl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 16
+ 17
+ fill
+
+
+
-
-
- 25
- True
- Exists
- True
- â
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ 55
+ True
+ ElimType
+ True
+ elimTy
+ True
+ GTK_RELIEF_NORMAL
+ True
- 0
- False
- False
+ 1
+ 2
+ 4
+ 5
+ fill
+
-
+
True
False
0
-
+
+ 25
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
-
-
-
- 55
- 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
-
-
+ Right
+ True
+ R
+ True
+ GTK_RELIEF_NORMAL
+ True
0
- False
- False
+ True
+ True
-
+
+ 25
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
-
-
-
- 55
- True
- Transitivity
- True
- trans
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+ Exists
+ True
+ â
+ True
+ GTK_RELIEF_NORMAL
+ True
0
- False
- False
+ True
+ True
- 0
- False
- False
+ 1
+ 2
+ 6
+ 7
+ fill
+ fill
-
+
True
False
0
-
+
+ 25
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
-
-
-
- 55
- 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
-
-
+ Split
+ True
+ â§
+ True
+ GTK_RELIEF_NORMAL
+ True
0
- False
- False
+ True
+ True
-
+
+ 25
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
-
-
-
- 55
- True
- Whd
- True
- whd
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+ Left
+ True
+ L
+ True
+ GTK_RELIEF_NORMAL
+ True
0
- False
- False
+ True
+ True
- 0
- False
- False
+ 0
+ 1
+ 6
+ 7
+ fill
+ fill
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
- True
- True
- True
- False
-
-
-
- 55
- True
- Assumption
- True
- assum
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
+
+
+
+ 0
+ 1
+ 1
+ 2
+ fill
+
+
+
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
- True
- True
- True
- False
+
+
+
+
+ 0
+ 1
+ 3
+ 4
+ fill
+
+
-
-
- 50
- True
- Auto
- True
- auto
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
+
+
+
- 0
- False
- False
+ 0
+ 1
+ 5
+ 6
+ fill
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
- True
- True
- True
- False
+
+
+
+
+ 0
+ 1
+ 7
+ 8
+ fill
+
+
-
-
- 55
- True
- Cut
- True
- cut
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+ 0
+ 1
+ 10
+ 11
+ fill
+
+
+
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
- True
- True
- True
- False
+
+
+
+
+ 0
+ 1
+ 13
+ 14
+ fill
+
+
-
-
- 50
- True
- Replace
- True
- repl
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
+
+
+
- 0
- False
- False
+ 0
+ 1
+ 15
+ 16
+ fill
@@ -1737,17 +1833,17 @@ Copyright (C) 2005,
0
False
- False
+ True
-
+
True
True
-
+
400
True
False
@@ -1771,10 +1867,11 @@ Copyright (C) 2005,
True
- restart
+ restart (Home)
True
GTK_RELIEF_NONE
True
+
@@ -1806,10 +1903,11 @@ Copyright (C) 2005,
True
- go back 1 phrase
+ go back 1 phrase (Page Up)
True
GTK_RELIEF_NONE
True
+
@@ -1876,10 +1974,11 @@ Copyright (C) 2005,
True
- go forward 1 phrase
+ go forward 1 phrase (Page Down)
True
GTK_RELIEF_NONE
True
+
@@ -1911,10 +2010,11 @@ Copyright (C) 2005,
True
- execute all
+ execute all (End)
True
GTK_RELIEF_NONE
True
+
@@ -1944,7 +2044,7 @@ Copyright (C) 2005,
-
+
True
True
True
@@ -2067,11 +2167,11 @@ Copyright (C) 2005,
- 450
+ 250
500
True
True
- 450
+ 380
@@ -2166,7 +2266,7 @@ Copyright (C) 2005,
True
- True
+ False
0
@@ -2440,7 +2540,7 @@ Copyright (C) 2005,
True
False
- 0
+ 4
@@ -2546,7 +2646,19 @@ Copyright (C) 2005,
-
+
+ True
+ True
+ gtk-copy
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
+
+
+
True
True
True
@@ -2555,7 +2667,7 @@ Copyright (C) 2005,
0
-
+
True
0.5
0.5
@@ -2567,13 +2679,13 @@ Copyright (C) 2005,
0
-
+
True
False
2
-
+
True
gtk-ok
4
@@ -2590,9 +2702,9 @@ Copyright (C) 2005,
-
+
True
- _Auto
+ bla bla bla
True
False
GTK_JUSTIFY_LEFT
@@ -2628,7 +2740,7 @@ Copyright (C) 2005,
True
False
- 0
+ 3
@@ -2653,10 +2765,11 @@ Copyright (C) 2005,
+ 400
True
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
@@ -2679,7 +2792,7 @@ Copyright (C) 2005,
-
+
True
False
0