X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=1f035a0faff843113ee9a5badf7e44ae20eb6f85;hb=904ecbd458b20b47d250889459f9aa9ebd26d04d;hp=809242945ac0c7ff17f9b6f2063d62bcc0f85958;hpb=1f399511607bdff67d84ce0bd688bd476c042522;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 809242945..1f035a0fa 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -56,7 +56,7 @@
<tt>http://helm.cs.unibo.it</tt>
-Copyright (C) 2004,
+Copyright (C) 2005,
<i>the HELM team</i>
False
True
@@ -79,13 +79,13 @@ Copyright (C) 2004,
- 400
- 500
True
Cic browser
GTK_WINDOW_TOPLEVEL
- GTK_WIN_POS_NONE
+ GTK_WIN_POS_CENTER_ON_PARENT
False
+ 500
+ 500
True
False
True
@@ -107,14 +107,14 @@ Copyright (C) 2004,
0
-
+
True
- GTK_SHADOW_OUT
- GTK_POS_LEFT
- GTK_POS_TOP
+ 0
+ 0
+ GTK_SHADOW_NONE
-
+
True
False
0
@@ -122,14 +122,12 @@ Copyright (C) 2004,
True
- new browser win
- True
True
- GTK_RELIEF_NORMAL
+ GTK_RELIEF_NONE
True
-
+
True
gtk-new
4
@@ -150,69 +148,19 @@ Copyright (C) 2004,
True
- history back
- True
True
- GTK_RELIEF_NORMAL
+ GTK_RELIEF_NONE
True
-
+
True
+ gtk-go-back
+ 4
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
+ 0
@@ -226,14 +174,12 @@ Copyright (C) 2004,
True
- history forward
- True
True
- GTK_RELIEF_NORMAL
+ GTK_RELIEF_NONE
True
-
+
True
gtk-go-forward
4
@@ -257,7 +203,7 @@ Copyright (C) 2004,
refresh
True
True
- GTK_RELIEF_NORMAL
+ GTK_RELIEF_NONE
True
@@ -285,7 +231,7 @@ Copyright (C) 2004,
home
True
True
- GTK_RELIEF_NORMAL
+ GTK_RELIEF_NONE
True
@@ -308,34 +254,31 @@ Copyright (C) 2004,
-
+
True
gtk-jump-to
- 4
+ 2
0.5
0.5
0
0
- 0
+ 3
False
- True
+ False
-
+
True
- cic uri
- True
- True
- True
- 0
-
- True
- *
- False
+ False
+ 0
+
+
+
+
0
@@ -354,11 +297,98 @@ Copyright (C) 2004,
-
+
+ 3
True
- 0
- 0
- GTK_SHADOW_NONE
+ False
+ 6
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+ True
+ 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
+ False
+ True
+
+
+
+
+
+ True
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
@@ -373,6 +403,74 @@ Copyright (C) 2004,
+
+ 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
+
@@ -736,8 +834,6 @@ Copyright (C) 2004,
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
- 800
- 600
True
False
True
@@ -753,255 +849,291 @@ Copyright (C) 2004,
False
-
+
True
False
0
-
+
True
+ GTK_SHADOW_OUT
+ GTK_POS_LEFT
+ GTK_POS_TOP
-
+
+
+
+
+
-
-
- True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- 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
-
-
- 50
- True
- Assumption
- True
- asum
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ True
+ False
+ 0
-
-
- True
- True
- True
- False
+
+
+ True
+ GTK_BUTTONBOX_END
-
-
- 50
- True
- Auto
- True
- auto
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ True
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -6
-
- 0
- False
- False
-
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
-
-
-
- True
- True
- True
- False
+ True
+ True
+ gtk-ok
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -5
+
+
+
+
+ 0
+ False
+ True
+ GTK_PACK_END
+
+
-
-
- 50
- True
- Cut
- True
- cut
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ True
+ DUMMY
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
-
-
- True
- True
- True
- False
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
-
-
- 50
- True
- Replace
- True
- repl
- True
- GTK_RELIEF_NORMAL
- True
-
-
-
-
- False
- False
-
-
+
+
+ True
+ True
+ True
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_NONE
+ True
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
-
- 0
- False
- False
-
+
+ 0
+ True
+ True
+
@@ -2215,7 +2454,7 @@ Copyright (C) 2004,
True
False
- 0
+ 4
@@ -2321,7 +2560,19 @@ Copyright (C) 2004,
-
+
+ True
+ True
+ gtk-copy
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
+
+
+
True
True
True
@@ -2330,7 +2581,7 @@ Copyright (C) 2004,
0
-
+
True
0.5
0.5
@@ -2342,13 +2593,13 @@ Copyright (C) 2004,
0
-
+
True
False
2
-
+
True
gtk-ok
4
@@ -2365,9 +2616,9 @@ Copyright (C) 2004,
-
+
True
- _Auto
+ bla bla bla
True
False
GTK_JUSTIFY_LEFT
@@ -2403,7 +2654,7 @@ Copyright (C) 2004,
True
False
- 0
+ 3
@@ -2428,10 +2679,11 @@ Copyright (C) 2004,
+ 400
True
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
@@ -2454,7 +2706,7 @@ Copyright (C) 2004,
-
+
True
False
0
@@ -2516,4 +2768,265 @@ Copyright (C) 2004,
+
+ 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
+
+
+
+
+
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+ True
+ gtk-find
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+ True
+ False
+ 2
+
+
+
+ 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
+
+
+
+
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+ 0
+ False
+ False
+
+
+
+
+ 0
+ 2
+ 2
+ 3
+ 5
+
+
+
+
+
+