X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmatita%2Fmatita.glade;h=103e27673fe8ee2076b2b3908739e52f28ef81af;hb=5e8e0400fe58e71bfae91eb2cb7327ec11ce9cbc;hp=5aac61297e8e608cc757d4d8adad918a07a23d54;hpb=190e42f1030ea3d459c4040bb0e8503a7c096820;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 5aac61297..103e27673 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -51,7 +51,7 @@
True
-
+
True
gtk-new
1
@@ -70,6 +70,7 @@
True
_Proof or definition ...
True
+
@@ -93,7 +94,7 @@
-
+
True
gtk-open
1
@@ -114,7 +115,7 @@
-
+
True
gtk-save
1
@@ -134,7 +135,7 @@
True
-
+
True
gtk-save-as
1
@@ -161,7 +162,7 @@
-
+
True
gtk-quit
1
@@ -233,6 +234,21 @@
+
+
+
+
+
+
+
+
@@ -292,31 +308,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 +330,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 +450,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 +501,7 @@
- 150
+ 155
450
True
Tactics
@@ -493,6 +545,7 @@
+ 50
True
Intros
True
@@ -518,6 +571,7 @@
+ 50
True
Apply
True
@@ -543,6 +597,7 @@
+ 50
True
Exact
True
@@ -583,6 +638,7 @@
+ 50
True
Elim
True
@@ -608,6 +664,7 @@
+ 50
True
ElimType
True
@@ -648,6 +705,7 @@
+ 50
True
Split
True
@@ -673,10 +731,11 @@
+ 25
True
Left
True
- left
+ L
True
GTK_RELIEF_NORMAL
True
@@ -698,10 +757,11 @@
+ 25
True
Right
True
- right
+ R
True
GTK_RELIEF_NORMAL
True
@@ -723,6 +783,7 @@
+ 25
True
Exists
True
@@ -763,6 +824,7 @@
+ 50
True
Reflexivity
True
@@ -788,6 +850,7 @@
+ 50
True
Symmetry
True
@@ -813,6 +876,7 @@
+ 50
True
Transitivity
True
@@ -837,7 +901,7 @@
-
+
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
@@ -845,18 +909,19 @@
True
-
+
True
True
True
False
-
+
+ 50
True
- Assumption
+ Simplify
True
- assum
+ simpl
True
GTK_RELIEF_NORMAL
True
@@ -870,18 +935,19 @@
-
+
True
True
True
False
-
+
+ 50
True
- Search
+ Reduce
True
- search
+ red
True
GTK_RELIEF_NORMAL
True
@@ -895,7 +961,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 +1036,7 @@
+ 50
True
Auto
True
@@ -943,6 +1077,7 @@
+ 50
True
Cut
True
@@ -968,6 +1103,7 @@
+ 50
True
Replace
True
@@ -1724,9 +1860,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