X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2704d164d3b49f0ffe61d8bfa5a86886f84de5ef;hb=cba366ace3c62fd66f99addce68ae0e243622b68;hp=74a68bee4edcfa5a1f35f7e07332143338025e8c;hpb=6187b40af194fb960d91653682a0eb2096f20f3b;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 74a68bee4..2704d164d 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,7 +79,7 @@ Copyright (C) 2004,
- 400
+ 500
500
True
Cic browser
@@ -114,102 +114,121 @@ Copyright (C) 2004,
GTK_POS_TOP
-
+
True
- False
- 0
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
+
True
- new browser win
- True
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- gtk-new
- 4
- 0.5
- 0.5
- 0
- 0
+ new browser win
+ True
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-new
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
- 0
False
- False
+ False
-
+
True
- history back
- True
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- 0.5
- 0.5
- 0
- 0
- 0
- 0
- 0
- 0
+ history back
+ True
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- False
- 2
-
-
-
- True
- gtk-go-back
- 4
- 0.5
- 0.5
- 0
- 0
-
-
- 0
- False
- False
-
-
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
-
+
True
-
- True
- False
- GTK_JUSTIFY_LEFT
- False
- False
- 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
-
@@ -217,130 +236,170 @@ Copyright (C) 2004,
- 0
False
- False
+ False
-
+
True
- history forward
- True
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- gtk-go-forward
- 4
- 0.5
- 0.5
- 0
- 0
+ history forward
+ True
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-go-forward
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
- 0
False
- False
+ False
-
+
True
- refresh
- True
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- gtk-refresh
- 4
- 0.5
- 0.5
- 0
- 0
+ refresh
+ True
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-refresh
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
- 0
False
- False
+ False
-
+
True
- home
- True
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
-
+
True
- gtk-home
- 4
- 0.5
- 0.5
- 0
- 0
+ home
+ True
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-home
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
- 0
False
- False
+ False
-
+
True
- gtk-jump-to
- 4
- 0.5
- 0.5
- 0
- 0
+ True
+ True
+ False
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
- 0
False
- True
+ False
-
+
True
- cic uri
- True
- True
- True
- 0
-
- True
- *
- False
+ True
+ True
+ False
+
+
+
+ True
+ cic uri
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+ 34
+
+
- 0
- True
- True
+ False
+ False
@@ -358,7 +417,7 @@ Copyright (C) 2004,
True
0
0
- GTK_SHADOW_NONE
+ GTK_SHADOW_IN
@@ -753,149 +812,207 @@ Copyright (C) 2004,
False
-
+
True
False
0
-
+
True
+ GTK_SHADOW_OUT
+ GTK_POS_LEFT
+ GTK_POS_TOP
-