X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=d9e922f98bc40ca50fa26e99d79710e5cc5b2222;hb=ef9ec8cb57d15426a96fe40d056eb07804753bb9;hp=5aac61297e8e608cc757d4d8adad918a07a23d54;hpb=190e42f1030ea3d459c4040bb0e8503a7c096820;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 5aac61297..d9e922f98 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -51,7 +51,7 @@
True
-
+
True
gtk-new
1
@@ -93,7 +93,7 @@
-
+
True
gtk-open
1
@@ -114,7 +114,7 @@
-
+
True
gtk-save
1
@@ -134,7 +134,7 @@
True
-
+
True
gtk-save-as
1
@@ -161,7 +161,7 @@
-
+
True
gtk-quit
1
@@ -205,32 +205,36 @@
-
-
-
+
+
+
@@ -292,31 +296,14 @@
450
-
+
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
- GTK_CORNER_TOP_LEFT
-
-
-
- True
- GTK_SHADOW_IN
-
-
-
- True
- True
- True
- True
- GTK_POS_TOP
- False
- False
-
-
-
-
+ True
+ True
+ True
+ GTK_POS_TOP
+ False
+ False
True
@@ -331,22 +318,75 @@
False
-
+
True
- GTK_POLICY_NEVER
- GTK_POLICY_ALWAYS
- GTK_SHADOW_IN
- GTK_CORNER_TOP_LEFT
+ False
+ 0
-
+
+ True
+ False
+ 0
+
+
+
+ True
+ Hide console
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-close
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+ 0
+ True
+ True
+
True
- True
+ False
@@ -398,9 +438,9 @@
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
@@ -449,7 +489,7 @@
- 150
+ 155
450
True
Tactics
@@ -461,7 +501,7 @@
True
False
False
- GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_WINDOW_TYPE_HINT_TOOLBAR
GDK_GRAVITY_NORTH_WEST
@@ -493,6 +533,7 @@
+ 50
True
Intros
True
@@ -518,6 +559,7 @@
+ 50
True
Apply
True
@@ -543,6 +585,7 @@
+ 50
True
Exact
True
@@ -583,6 +626,7 @@
+ 50
True
Elim
True
@@ -608,6 +652,7 @@
+ 50
True
ElimType
True
@@ -648,6 +693,7 @@
+ 50
True
Split
True
@@ -673,10 +719,11 @@
+ 25
True
Left
True
- left
+ L
True
GTK_RELIEF_NORMAL
True
@@ -698,10 +745,11 @@
+ 25
True
Right
True
- right
+ R
True
GTK_RELIEF_NORMAL
True
@@ -723,6 +771,7 @@
+ 25
True
Exists
True
@@ -763,6 +812,7 @@
+ 50
True
Reflexivity
True
@@ -788,6 +838,7 @@
+ 50
True
Symmetry
True
@@ -813,6 +864,7 @@
+ 50
True
Transitivity
True
@@ -837,7 +889,7 @@
-
+
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
@@ -845,18 +897,19 @@
True
-
+
True
True
True
False
-
+
+ 50
True
- Assumption
+ Simplify
True
- assum
+ simpl
True
GTK_RELIEF_NORMAL
True
@@ -870,18 +923,19 @@
-
+
True
True
True
False
-
+
+ 50
True
- Search
+ Reduce
True
- search
+ red
True
GTK_RELIEF_NORMAL
True
@@ -895,7 +949,74 @@
-
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Whd
+ True
+ whd
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ 50
+ True
+ Assumption
+ True
+ asum
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
True
True
True
@@ -903,6 +1024,7 @@
+ 50
True
Auto
True
@@ -943,6 +1065,7 @@
+ 50
True
Cut
True
@@ -968,6 +1091,7 @@
+ 50
True
Replace
True
@@ -1724,9 +1848,9 @@ Copyright (C) 2004,
True
True
- GTK_POLICY_ALWAYS
- GTK_POLICY_ALWAYS
- GTK_SHADOW_NONE
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
@@ -2125,4 +2249,298 @@ Copyright (C) 2004,
+
+ 400
+ 500
+ True
+ Cic browser
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
+
+
+
+ True
+ True
+ False
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-new
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ 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
+
+
+
+
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-forward
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-refresh
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-home
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+ True
+ True
+ True
+ 0
+
+ True
+ *
+ False
+
+
+ 0
+ True
+ True
+
+
+
+
+ 0
+ False
+ True
+
+
+
+
+
+ True
+ 0
+ 0
+ GTK_SHADOW_NONE
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+
+