X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=4ecd6d46a705389b0a20b9d06af9a3309826c0e7;hb=6b7f04b45232e6c690cacf5815c85c39de1f52b3;hp=c793a2bc86726085a5fefd9d6cb5fbd6996a60c8;hpb=1fa0472bfe2ed04c7adf166fa48df687f0022226;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index c793a2bc8..4ecd6d46a 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
@@ -213,6 +213,26 @@
+
+
+
+
+
+
+
+
@@ -408,7 +428,7 @@
True
-
+
True
True
True
@@ -418,7 +438,7 @@
-
+
True
True
True
@@ -429,10 +449,10 @@
- 130
+ 150
450
True
- ToolBar
+ Tactics
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
@@ -451,86 +471,524 @@
False
-
+
True
False
0
-
+
True
- GTK_BUTTONBOX_DEFAULT_STYLE
- 0
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
- 120
+
True
- True
- True
- button1
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
+
+
+
+ True
+ Intros
+ True
+ intros
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
-
+
True
- True
- True
- button2
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
+
+
+
+ True
+ Apply
+ True
+ apply
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
-
+
True
- True
- True
- button3
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
+
+
+
+ True
+ Exact
+ True
+ exact
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
+
True
- True
- True
- button4
- True
- GTK_RELIEF_NORMAL
- True
+ True
+ True
+ False
+
+
+
+ True
+ Elim
+ True
+ elim
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ ElimType
+ True
+ elimTy
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
0
False
- True
+ False
-
+
True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Split
+ True
+ split
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Left
+ True
+ left
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Right
+ True
+ right
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Exists
+ True
+ â
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
- 5
+ 0
False
- True
+ False
-
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Reflexivity
+ True
+ refl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Symmetry
+ True
+ sym
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Transitivity
+ True
+ trans
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Assumption
+ True
+ assum
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Search
+ True
+ search
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Auto
+ True
+ auto
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Cut
+ True
+ cut
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Replace
+ True
+ repl
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
@@ -989,7 +1447,7 @@ Copyright (C) 2004,
0
True
- *
+ *
False
@@ -1217,4 +1675,350 @@ Copyright (C) 2004,
+
+ 300
+ 200
+ Matita: check term
+ 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
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+
+
+
+
+
+ Matita: script
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ 450
+ 800
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
+
+
+
+ True
+ True
+ False
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ go back 1 phrase
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-back
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ execute til cursor
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ go forward 1 phrase
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ gtk-go-forward
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_ALWAYS
+ GTK_POLICY_ALWAYS
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ True
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_NONE
+ True
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+
+
+
+
+ DUMMY
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_NORTH_WEST
+ True
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ GTK_BUTTONBOX_END
+
+
+
+ True
+ True
+ True
+ gtk-cancel
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -6
+
+
+
+
+
+ True
+ True
+ True
+ gtk-ok
+ True
+ GTK_RELIEF_NORMAL
+ True
+ -5
+
+
+
+
+ 0
+ False
+ True
+ GTK_PACK_END
+
+
+
+
+
+ True
+ DUMMY
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_IN
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ True
+ True
+ False
+ True
+ GTK_JUSTIFY_LEFT
+ GTK_WRAP_NONE
+ True
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+