X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=68fecc5b5c82b5eaf75da3d81ad9be98ed8f4144;hb=7033b0a141f65fd75b435a6f71325ca67f19db61;hp=57ce4006ade69392ff95e4dadc0c8ab7f4fc0dbc;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 57ce4006a..68fecc5b5 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -110,332 +110,181 @@ Copyright (C) 2005,
True
0
- 0.5
- GTK_SHADOW_OUT
+ 0
+ GTK_SHADOW_NONE
-
+
True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+ False
+ 0
-
+
True
- False
- 0
-
-
-
- True
- new browser win
- True
- True
- GTK_RELIEF_NONE
- False
-
-
-
- True
- gtk-new
- 4
- 0.5
- 0.5
- 0
- 0
-
-
-
-
- 0
- False
- False
-
-
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- history back
- True
- True
- GTK_RELIEF_NONE
- 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
-
-
-
-
-
-
+ gtk-new
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
-
- 0
- False
- False
-
+
+
+ 0
+ False
+ False
+
+
-
-
- True
- history forward
- True
- True
- GTK_RELIEF_NONE
- True
-
-
-
- True
- gtk-go-forward
- 4
- 0.5
- 0.5
- 0
- 0
-
-
-
-
- 0
- False
- False
-
-
+
+
+ True
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- refresh
- True
- True
- GTK_RELIEF_NONE
- True
-
-
-
- True
- gtk-refresh
- 4
- 0.5
- 0.5
- 0
- 0
-
-
+ gtk-go-back
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
-
- 0
- False
- False
-
+
+
+ 0
+ False
+ False
+
+
-
-
- True
- home
- True
- True
- GTK_RELIEF_NONE
- True
-
-
-
- True
- gtk-home
- 4
- 0.5
- 0.5
- 0
- 0
-
-
-
-
- 0
- False
- False
-
-
+
+
+ True
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- gtk-jump-to
+ gtk-go-forward
4
0.5
0.5
0
0
-
- 3
- False
- False
-
+
+
+ 0
+ False
+ False
+
+
-
-
- True
- cic uri
- True
- True
- True
- True
- True
- 0
-
- True
- *
- False
-
-
- 3
- True
- True
-
-
+
+
+ True
+ refresh
+ True
+ True
+ GTK_RELIEF_NONE
+ True
-
- 20
+
True
- False
- 0
-
-
-
-
-
-
-
-
+ gtk-refresh
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
-
- 0
- False
- True
-
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ home
+ True
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
+ gtk-home
+ 4
0.5
0.5
0
0
-
- 0
- False
- False
-
+
+
+ 0
+ False
+ False
+
+
-
-
- True
- True
- GTK_RELIEF_NONE
- True
- False
- False
+
+
+ True
+ gtk-jump-to
+ 2
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 3
+ False
+ False
+
+
-
-
- True
- False
- 0
+
+
+ True
+ False
+ 0
-
-
- True
- GTK_ARROW_DOWN
- GTK_SHADOW_NONE
- 0.5
- 0.5
- 0
- 0
-
-
- 0
- True
- True
-
-
-
-
-
-
- 0
- False
- False
-
+
+
+
+ 0
+ True
+ True
+
@@ -455,17 +304,32 @@ Copyright (C) 2005,
6
-
+
True
- True
- True
- True
- 0
-
- True
- *
- False
-
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
0
True
@@ -474,7 +338,7 @@ Copyright (C) 2005,
-
+
True
False
0
@@ -517,105 +381,96 @@ Copyright (C) 2005,
-
+
True
- 0
- 0
- GTK_SHADOW_NONE
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
-
+
True
True
- True
- True
- GTK_POS_TOP
- False
- False
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
-
- True
- True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_NONE
- GTK_CORNER_TOP_LEFT
-
-
-
-
-
-
- False
- True
-
+
+
+
+ False
+ True
+
+
-
-
- True
- MathView
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
-
- tab
-
-
+
+
+ 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
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_IN
- GTK_CORNER_TOP_LEFT
-
-
-
- True
- True
- False
- False
- False
- True
-
-
+ False
+ False
+ False
+ True
-
- False
- True
-
+
+
+ False
+ True
+
+
-
-
- True
- WhelpResults
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
-
- tab
-
-
+
+
+ True
+ WhelpResults
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+ tab
+
@@ -979,8 +834,6 @@ Copyright (C) 2005,
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
- 800
- 600
True
False
True
@@ -1028,7 +881,7 @@ Copyright (C) 2005,
True
-
+
True
gtk-new
1
@@ -1049,7 +902,7 @@ Copyright (C) 2005,
-
+
True
gtk-open
1
@@ -1070,7 +923,7 @@ Copyright (C) 2005,
-
+
True
gtk-save
1
@@ -1090,7 +943,7 @@ Copyright (C) 2005,
True
-
+
True
gtk-save-as
1
@@ -1104,7 +957,28 @@ Copyright (C) 2005,
-
+
+
+
@@ -1117,7 +991,7 @@ Copyright (C) 2005,
-
+
True
gtk-quit
1
@@ -1139,6 +1013,32 @@ Copyright (C) 2005,
True
_Edit
True
+
+
+
+
@@ -1151,6 +1051,17 @@ Copyright (C) 2005,
@@ -1220,819 +1176,1361 @@ Copyright (C) 2005,
0
-
- 2
+
True
- GTK_SHADOW_OUT
- GTK_POS_TOP
- GTK_POS_LEFT
+ True
-
+
True
- 17
- 2
False
- 4
- 0
-
-
-
- 50
- True
- Apply
- True
- apply
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 1
- 2
- 0
- 1
- fill
-
-
-
+ 0
-
- 55
+
True
- Intros
- True
- intros
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 0
- 1
- fill
-
-
-
+ GTK_SHADOW_OUT
+ GTK_POS_TOP
+ GTK_POS_TOP
-
-
- 55
- True
- Exact
- True
- exact
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 2
- 3
- fill
-
-
-
+
+
+ True
+ 17
+ 2
+ False
+ 4
+ 0
-
-
- 55
- True
- Elim
- True
- elim
- True
- GTK_RELIEF_HALF
- True
-
-
- 0
- 1
- 4
- 5
- fill
-
-
-
+
+
+ True
+ Apply
+ True
+ apply
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 0
+ 1
+ fill
+
+
+
-
-
- 55
- True
- Reflexivity
- True
- refl
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 8
- 9
- fill
-
-
-
+
+
+ True
+ Intros
+ True
+ intro
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 0
+ 1
+ fill
+
+
+
-
-
- 50
- True
- Symmetry
- True
- sym
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 1
- 2
- 8
- 9
- fill
-
-
-
-
-
-
- 55
- True
- Transitivity
- True
- trans
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 9
- 10
- fill
-
-
-
+
+
+ True
+ Exact
+ True
+ exact
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 2
+ 3
+ fill
+
+
+
-
-
- 55
- True
- Simplify
- True
- simpl
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 11
- 12
- fill
-
-
-
+
+
+ True
+ Elim
+ True
+ elim
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 4
+ 5
+ fill
+
+
+
-
-
- 50
- True
- Reduce
- True
- red
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 1
- 2
- 11
- 12
- fill
-
-
-
+
+
+ True
+ Reflexivity
+ True
+ refl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 8
+ 9
+ fill
+
+
+
-
-
- 55
- True
- Whd
- True
- whd
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 12
- 13
- fill
-
-
-
+
+
+ True
+ Symmetry
+ True
+ sym
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 8
+ 9
+ fill
+
+
+
-
-
- 55
- True
- Assumption
- True
- assum
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 14
- 15
- fill
-
-
-
+
+
+ True
+ Transitivity
+ True
+ trans
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 9
+ 10
+ fill
+
+
+
-
-
- 50
- True
- Auto
- True
- auto
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 1
- 2
- 14
- 15
- fill
-
-
-
+
+
+ True
+ Simplify
+ True
+ simpl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 11
+ 12
+ fill
+
+
+
-
-
- 55
- True
- Cut
- True
- cut
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- 1
- 16
- 17
- fill
-
-
-
+
+
+ True
+ Reduce
+ True
+ red
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 11
+ 12
+ fill
+
+
+
-
-
- 50
- True
- Replace
- True
- repl
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 1
- 2
- 16
- 17
- fill
-
-
-
+
+
+ True
+ Whd
+ True
+ whd
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 12
+ 13
+ fill
+
+
+
-
-
- 55
- True
- ElimType
- True
- elimTy
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 1
- 2
- 4
- 5
- fill
-
-
-
+
+
+ True
+ Assumption
+ True
+ assum
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 14
+ 15
+ fill
+
+
+
-
-
- True
- False
- 0
+
+
+ True
+ Auto
+ True
+ auto
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 14
+ 15
+ fill
+
+
+
-
-
- 25
- True
- Right
- True
- R
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- True
- True
-
-
+
+
+ True
+ Cut
+ True
+ cut
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ 1
+ 16
+ 17
+ fill
+
+
+
-
-
- 25
- True
- Exists
- True
- â
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- True
- True
-
-
-
-
- 1
- 2
- 6
- 7
- fill
- fill
-
-
+
+
+ True
+ Replace
+ True
+ repl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 16
+ 17
+ fill
+
+
+
-
-
- True
- False
- 0
+
+
+ True
+ ElimType
+ True
+ elimTy
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 1
+ 2
+ 4
+ 5
+ fill
+
+
+
-
-
- 25
- True
- Split
- True
- â§
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- True
- True
-
-
+
+
+ True
+ True
+ 0
-
-
- 25
- True
- Left
- True
- L
- True
- GTK_RELIEF_NORMAL
- True
-
-
- 0
- True
- True
-
-
-
-
- 0
- 1
- 6
- 7
- fill
- fill
-
-
+
+
+ True
+ Right
+ True
+ R
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ True
+ True
+
+
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ True
+ Exists
+ True
+ â
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ True
+ True
+
+
+
+
+ 1
+ 2
+ 6
+ 7
+ fill
+ fill
+
+
-
-
-
-
-
- 0
- 1
- 1
- 2
- fill
-
-
+
+
+ True
+ True
+ 0
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ True
+ Split
+ True
+ â§
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ True
+ True
+
+
-
-
-
-
-
- 0
- 1
- 3
- 4
- fill
-
-
+
+
+ True
+ Left
+ True
+ L
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ True
+ True
+
+
+
+
+ 0
+ 1
+ 6
+ 7
+ fill
+ fill
+
+
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
-
-
-
-
- 0
- 1
- 5
- 6
- fill
-
-
+
+
+
+
+
+ 0
+ 1
+ 1
+ 2
+ fill
+
+
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
-
-
-
-
- 0
- 1
- 7
- 8
- fill
-
-
+
+
+
+
+
+ 0
+ 1
+ 3
+ 4
+ fill
+
+
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
-
-
-
-
- 0
- 1
- 10
- 11
- fill
-
-
+
+
+
+
+
+ 0
+ 1
+ 5
+ 6
+ fill
+
+
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
-
-
-
-
- 0
- 1
- 13
- 14
- fill
-
-
+
+
+
+
+
+ 0
+ 1
+ 7
+ 8
+ fill
+
+
-
-
- True
- 0.5
- 0.5
- 1
- 1
- 0
- 0
- 0
- 0
+
+
+ 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
+
+
+
+
+
+
+ 0
+ 1
+ 13
+ 14
+ fill
+
+
+
+
+
+ True
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+
+ 0
+ 1
+ 15
+ 16
+ fill
+
+
+
- 0
- 1
- 15
- 16
- fill
+ 0
+ False
+ True
-
-
-
-
- 0
- False
- True
-
-
-
-
-
- True
- True
-
-
-
- 400
- True
- False
- 0
-
+
+ 400
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ False
+ 0
-
+
True
- True
- True
- False
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
+
True
- restart
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-goto-top
- 4
- 0.5
- 0.5
- 0
- 0
+ restart (Home)
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+
+ True
+ gtk-goto-top
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
-
+
True
- go back 1 phrase
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-go-up
- 4
- 0.5
- 0.5
- 0
- 0
+ go back 1 phrase (Page Up)
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+
+ True
+ gtk-go-up
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
-
+
True
- execute until point
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-jump-to
- 4
- 0.5
- 0.5
- 0
- 0
+ execute until point
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
- True
- True
- True
- False
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ go forward 1 phrase (Page Down)
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+
+ True
+ gtk-go-down
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
-
+
True
- go forward 1 phrase
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-go-down
- 4
- 0.5
- 0.5
- 0
- 0
+ execute all (End)
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+
+ True
+ gtk-goto-bottom
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
+ 0
False
- False
+ False
-
+
True
- True
- True
- False
+ True
+ True
+ True
+ GTK_POS_BOTTOM
+ False
+ False
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ script
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ 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
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+ True
+ False
+
+
+
+
+
+ 250
+ 500
+ True
+ True
+ 380
+
+
+
+ True
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
+
+
+ True
+ False
+
+
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ True
+ GTK_POLICY_NEVER
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ False
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_CHAR
+ False
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+ True
+ True
+
+
+
+
+ True
+ True
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ False
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+ False
+ True
+ GTK_POS_TOP
+ False
+ False
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ False
+ True
+
+
+
+
+
+ True
+ label14
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ False
+ True
+
+
+
+
+
+ True
+ label15
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ False
+ True
+
+
+
+
+
+ True
+ label16
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ tab
+
+
+
+
+ 0
+ False
+ True
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+
+
+
+
+ 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
+
+
+
+
+
+ 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
+
+
+
+
+
+
+
+ 280
+ Uri choice
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_CENTER
+ True
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
+ True
+
+
+
+ True
+ False
+ 4
+
+
+
+ True
+ GTK_BUTTONBOX_END
+
+
+
+ True
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -6
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
-
-
- True
- execute all
- True
- GTK_RELIEF_NONE
- True
+
+
+ True
+ False
+ 2
-
-
- True
- gtk-goto-bottom
- 4
- 0.5
- 0.5
- 0
- 0
-
-
-
-
-
-
- False
- False
-
-
+
+
+ True
+ gtk-index
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
0
@@ -2042,210 +2540,183 @@ Copyright (C) 2005,
-
+
True
- True
- True
- True
- GTK_POS_BOTTOM
- False
- False
-
-
-
- True
- True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- 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
-
-
-
-
-
- False
- True
-
-
-
-
-
- True
- script
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
-
- tab
-
-
-
-
-
- True
- True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_NONE
- 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
-
-
+ Try _Selected
+ True
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
0
- True
- True
+ False
+ False
-
- True
- False
-
+
+
+
+
+
+
+
+ True
+ False
+ True
+ True
+ Try Constants
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
+
+
+
+ True
+ True
+ gtk-copy
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
-
- 450
- 500
+
True
- True
- 450
+ False
+ 2
-
+
True
- True
- True
- True
- GTK_POS_TOP
- False
- False
+ gtk-ok
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
- True
- False
+ 0
+ False
+ False
-
+
True
- False
- 0
+ bla bla bla
+ True
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+
+
+
+
+
+ 0
+ False
+ True
+ GTK_PACK_END
+
+
-
-
- True
- True
- GTK_POLICY_NEVER
- GTK_POLICY_ALWAYS
- GTK_SHADOW_IN
- GTK_CORNER_TOP_LEFT
+
+
+ True
+ False
+ 3
+
+
+
+ True
+ some informative message here ...
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ 400
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
-
-
- True
- True
- False
- False
- True
- GTK_JUSTIFY_LEFT
- GTK_WRAP_CHAR
- False
- 0
- 0
- 0
- 0
- 0
- 0
-
-
-
-
-
- 0
- True
- True
-
-
-
-
- True
- True
-
-
-
-
- False
- True
-
-
+
+
+ True
+ True
+ False
+ False
+ False
+ True
-
- 0
- True
- True
-
@@ -2256,15 +2727,43 @@ Copyright (C) 2005,
-
+
True
False
0
-
+
True
- False
+ URI:
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
0
@@ -2272,120 +2771,248 @@ Copyright (C) 2005,
True
+
+
+ 0
+ False
+ True
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+
+ 5
+ Find & Replace
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_MOUSE
+ False
+ False
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
+
+
+
+ True
+ 3
+ 2
+ False
+ 5
+ 0
+
+
+
+ True
+ Find:
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0
+ 0.5
+ 0
+ 0
+
+
+ 0
+ 1
+ 0
+ 1
+ fill
+
+
+
+
+
+
+ True
+ Replace with:
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0
+ 0.5
+ 0
+ 0
+
+
+ 0
+ 1
+ 1
+ 2
+ fill
+
+
+
+
+
+
+ True
+ True
+ True
+ True
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+
+ 1
+ 2
+ 0
+ 1
+
+
+
+
+
+
+ True
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+
+ 1
+ 2
+ 1
+ 2
+
+
+
+
+
+
+ True
+ False
+ 5
+
+
+
+ True
+ False
+ 0
-
- True
- False
- True
- GTK_POS_TOP
- False
- False
+
+
-
-
- True
- 0.5
- 0.5
- 0
- 0
-
-
- False
- True
-
-
+
+
+
+
+
+ 0
+ True
+ True
+
+
-
-
- True
- label14
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
-
- tab
-
-
+
+
+ True
+ True
+ gtk-find
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ False
+ False
+
+
-
-
- True
- 0.5
- 0.5
- 0
- 0
-
-
- False
- True
-
-
+
+
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
-
-
- True
- label15
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
-
- tab
-
-
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
-
+
True
- 0.5
- 0.5
- 0
- 0
-
-
- False
- True
-
-
+ False
+ 2
-
-
- True
- label16
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
+
+
+ True
+ gtk-find-and-replace
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ _Replace
+ True
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
-
- tab
-
-
- 0
- False
- True
-
@@ -2394,124 +3021,254 @@ Copyright (C) 2005,
False
+
+
+
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ False
+ False
+
+
+
+ 0
+ 2
+ 2
+ 3
+ 5
+
-
- DUMMY
+
+ Create development
GTK_WINDOW_TOPLEVEL
- GTK_WIN_POS_NONE
- False
- True
+ GTK_WIN_POS_CENTER_ALWAYS
+ True
+ False
False
True
False
False
- GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_WINDOW_TYPE_HINT_UTILITY
GDK_GRAVITY_NORTH_WEST
- True
-
-
+
+
True
False
0
-
-
+
+
+ 3
True
- GTK_BUTTONBOX_END
+ 2
+ 3
+ False
+ 5
+ 5
-
+
+ True
+ Name
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0
+ 0.5
+ 0
+ 0
+
+
+ 0
+ 1
+ 0
+ 1
+ fill
+
+
+
+
+
+
+ True
+ Root directory
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0
+ 0.5
+ 0
+ 0
+
+
+ 0
+ 1
+ 1
+ 2
+ fill
+
+
+
+
+
+
True
- True
True
- gtk-cancel
- True
- GTK_RELIEF_NORMAL
- True
- -6
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+ 1
+ 2
+ 0
+ 1
+
+
-
+
True
- True
True
- gtk-ok
- True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+
+ 1
+ 2
+ 1
+ 2
+
+
+
+
+
+
+ True
+ True
+ ...
+ True
GTK_RELIEF_NORMAL
True
- -5
+
+ 2
+ 3
+ 1
+ 2
+ fill
+
+
0
False
True
- GTK_PACK_END
-
+
True
- DUMMY
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
- 0
+ 2
False
- False
+ True
-
+
+ 3
True
- True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_IN
- GTK_CORNER_TOP_LEFT
+ False
+ 5
-
+
+ True
+ False
+ 0
+
+
+
+
+
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
True
True
- True
- False
- True
- GTK_JUSTIFY_LEFT
- GTK_WRAP_NONE
- True
- 0
- 0
- 0
- 0
- 0
- 0
-
+ gtk-add
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+ 0
+ False
+ False
+
0
- True
+ False
True
@@ -2519,56 +3276,132 @@ Copyright (C) 2005,
-
- 280
- Uri choice
+
+ Developments
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
- True
+ False
True
False
True
False
False
- GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
- True
-
-
+
+
True
False
- 4
+ 0
-
-
+
+
True
- GTK_BUTTONBOX_END
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
-
+
True
- True
True
- gtk-cancel
+ False
+ False
+ False
+ True
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+
+
+ 2
+ False
+ True
+
+
+
+
+
+ 3
+ True
+ False
+ 4
+
+
+
+ True
+ False
+ 0
+
+
+
+
+
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+ True
+ gtk-new
True
GTK_RELIEF_NORMAL
True
- -6
+
+ 0
+ False
+ False
+
-
+
+ True
+ True
+ gtk-delete
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ False
+ False
+
+
+
+
+
True
- True
True
GTK_RELIEF_NORMAL
True
- 0
-
+
True
0.5
0.5
@@ -2580,15 +3413,15 @@ Copyright (C) 2005,
0
-
+
True
False
2
-
+
True
- gtk-index
+ gtk-execute
4
0.5
0.5
@@ -2603,9 +3436,9 @@ Copyright (C) 2005,
-
+
True
- Try _Selected
+ _Build
True
False
GTK_JUSTIFY_LEFT
@@ -2627,45 +3460,22 @@ Copyright (C) 2005,
+
+ 0
+ False
+ False
+
-
- True
- False
- True
- True
- Try Constants
- True
- GTK_RELIEF_NORMAL
- True
- 0
-
-
-
-
-
- True
- True
- gtk-copy
- True
- GTK_RELIEF_NORMAL
- True
- 0
-
-
-
-
-
+
True
- True
True
GTK_RELIEF_NORMAL
True
- 0
-
+
True
0.5
0.5
@@ -2677,15 +3487,15 @@ Copyright (C) 2005,
0
-
+
True
False
2
-
+
True
- gtk-ok
+ gtk-clear
4
0.5
0.5
@@ -2700,9 +3510,9 @@ Copyright (C) 2005,
-
+
True
- bla bla bla
+ C_lean
True
False
GTK_JUSTIFY_LEFT
@@ -2724,36 +3534,6 @@ Copyright (C) 2005,
-
-
-
- 0
- False
- True
- GTK_PACK_END
-
-
-
-
-
- True
- False
- 3
-
-
-
- True
- some informative message here ...
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
0
False
@@ -2762,89 +3542,24 @@ Copyright (C) 2005,
-
- 400
+
True
True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_NONE
- GTK_CORNER_TOP_LEFT
-
-
-
- True
- True
- False
- False
- False
- True
-
-
-
-
- 0
- True
- True
-
-
-
-
-
- True
- False
- 0
-
-
-
- True
- URI:
- False
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 0.5
- 0.5
- 0
- 0
-
-
- 0
- False
- False
-
-
-
-
-
- True
- True
- True
- True
- 0
-
- True
- *
- False
-
-
- 0
- True
- True
-
-
+ gtk-close
+ True
+ GTK_RELIEF_NORMAL
+ True
0
False
- True
+ False
0
- True
+ False
True