X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=415b3b3086fe6688c3b0d12ee3a76fbff63b3581;hb=a3cfb9758bac98014c32e88bdbc08f2c3bcd7a70;hp=96a016b950868b13d332ed201c778fc4d93d43f6;hpb=d4c6f8464dc183326b7f7b4dc6171e69b482a26b;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index 96a016b95..415b3b308 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -33,6 +33,114 @@
False
0
+
+
+
+ 0
+ False
+ False
+
+
+
True
@@ -412,12 +520,72 @@
-
+
True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ GTK_SHADOW_NONE
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ WhelpEasterEgg
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
0.5
0.5
0
0
+ PANGO_ELLIPSIZE_NONE
+ -1
+ False
+ 0
+
+
+ tab
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
False
@@ -426,9 +594,9 @@
-
+
True
- WhelpEasterEgg
+ Graph
False
False
GTK_JUSTIFY_LEFT
@@ -682,8 +850,8 @@
- 350
- 250
+ 450
+ 400
title
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
@@ -2127,185 +2295,237 @@
0
-
+
True
- GTK_ORIENTATION_HORIZONTAL
- GTK_TOOLBAR_BOTH
- True
- True
+ False
+ 0
-
+
True
- True
- True
- False
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
-
+
True
- Restart
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-goto-top
- 4
- 0.5
- 0.5
- 0
- 0
+ Restart
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-goto-top
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
-
+
True
- Retract 1 phrase
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-go-up
- 4
- 0.5
- 0.5
- 0
- 0
+ Retract 1 phrase
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-go-up
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
-
- True
- True
- True
- False
-
+
True
- Execute until point
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-jump-to
- 4
- 0.5
- 0.5
- 0
- 0
+ Execute until point
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
-
-
- False
- False
-
-
-
-
- True
- True
- True
- False
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Execute 1 phrase
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-go-down
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
-
+
True
- Execute 1 phrase
- True
- GTK_RELIEF_NONE
- True
+ True
+ True
+ False
-
+
True
- gtk-go-down
- 4
- 0.5
- 0.5
- 0
- 0
+ Execute all
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-goto-bottom
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+ False
+ False
+
- False
- False
+ 0
+ True
+ True
-
+
True
True
True
False
-
+
True
- Execute all
+ Abort
True
GTK_RELIEF_NONE
True
-
+
True
- gtk-goto-bottom
+ gtk-cancel
4
0.5
0.5
0
0
+
+ abort
+
+ 0
False
- False
+ False
@@ -3043,6 +3263,19 @@
+
+
+
+ True
+ True
+ True
+ gtk-go-forward
+ True
+ GTK_RELIEF_NORMAL
+ True
+ 0
+
+
0
@@ -4048,6 +4281,84 @@
+
+
+ True
+ True
+ GTK_RELIEF_NORMAL
+ True
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+ 0
+ 0
+ 0
+ 0
+
+
+
+ True
+ False
+ 2
+
+
+
+ True
+ gtk-zoom-fit
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+ True
+ Graph
+ True
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+ PANGO_ELLIPSIZE_NONE
+ -1
+ False
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+
+
+
+ 0
+ False
+ False
+
+
+
True
@@ -4074,4 +4385,236 @@
+
+ True
+ window1
+ GTK_WINDOW_TOPLEVEL
+ GTK_WIN_POS_NONE
+ False
+ True
+ False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
+ True
+ False
+
+
+
+ True
+ False
+ 0
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ GTK_TOOLBAR_BOTH
+ True
+ True
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Restart
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-goto-top
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Retract 1 phrase
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-go-up
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Execute until point
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-jump-to
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Execute 1 phrase
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-go-down
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+
+ True
+ True
+ True
+ False
+
+
+
+ True
+ Execute all
+ True
+ GTK_RELIEF_NONE
+ True
+
+
+
+ True
+ gtk-goto-bottom
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ False
+
+
+
+
+ 0
+ True
+ True
+
+
+
+
+
+ True
+ gtk-cancel
+ 4
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+ 0
+ False
+ False
+
+
+
+
+
+