X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=98526c5788d2a1ef51600a7e7880313980a5844c;hb=3ea21b6d721c759876aa53385b421cb1412e11f5;hp=47c9d9e9ebd11f59927d45d94fe2c5f9648ea427;hpb=5e4659bb1bd31c92fa7c82fe502aabb1dc9dbb75;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 47c9d9e9e..98526c578 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,302 +107,270 @@ Copyright (C) 2005,
0
-
+
True
- GTK_SHADOW_OUT
- GTK_POS_LEFT
- GTK_POS_TOP
+ 0
+ 0
+ GTK_SHADOW_NONE
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ False
+ 0
-
+
True
- True
- True
- False
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- new browser win
- True
- True
- GTK_RELIEF_NONE
- True
-
-
-
- True
- gtk-new
- 4
- 0.5
- 0.5
- 0
- 0
-
-
+ gtk-new
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
False
- False
+ False
-
+
True
- True
- True
- 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-go-back
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
False
- False
+ False
-
+
True
- True
- True
- False
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- history forward
- True
- True
- GTK_RELIEF_NONE
- True
-
-
-
- True
- gtk-go-forward
- 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
+ refresh
+ 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-refresh
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
False
- False
+ False
-
+
True
- True
- True
- False
+ home
+ True
+ True
+ GTK_RELIEF_NONE
+ True
-
+
True
- home
- True
- True
- GTK_RELIEF_NONE
- True
-
-
-
- True
- gtk-home
- 4
- 0.5
- 0.5
- 0
- 0
-
-
+ gtk-home
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
False
- False
+ False
+
+
+
+
+
+ True
+ gtk-jump-to
+ 2
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 3
+ False
+ False
-
+
True
- True
- True
- False
+ False
+ 0
-
- True
- gtk-jump-to
- 4
- 0.5
- 0.5
- 0
- 0
-
+
- False
- False
+ 0
+ True
+ True
+
+
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ 3
+ True
+ 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
- True
- True
- False
+ 0.5
+ 0.5
+ 1
+ 1
+ 0
+ 0
+ 0
+ 0
-
- True
- cic uri
- True
- True
- True
- 0
-
- True
- *
- False
- 34
-
+
+ 0
False
- False
+ False
+
+ 0
+ False
+ True
+
@@ -413,11 +381,14 @@ Copyright (C) 2005,
-
+
True
- 0
- 0
- GTK_SHADOW_IN
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
@@ -432,6 +403,74 @@ Copyright (C) 2005,
+
+ 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
+
@@ -795,8 +834,6 @@ Copyright (C) 2005,
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
- 800
- 600
True
False
True
@@ -844,7 +881,7 @@ Copyright (C) 2005,
True
-
+
True
gtk-new
1
@@ -865,7 +902,7 @@ Copyright (C) 2005,
-
+
True
gtk-open
1
@@ -886,7 +923,7 @@ Copyright (C) 2005,
-
+
True
gtk-save
1
@@ -906,7 +943,7 @@ Copyright (C) 2005,
True
-
+
True
gtk-save-as
1
@@ -933,7 +970,7 @@ Copyright (C) 2005,
-
+
True
gtk-quit
1
@@ -967,6 +1004,17 @@ Copyright (C) 2005,
-
-
-
-
-
-
+
+
+
+