X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=809242945ac0c7ff17f9b6f2063d62bcc0f85958;hb=7e9904185ceff75884783dbf0bad506b8521b857;hp=5aac61297e8e608cc757d4d8adad918a07a23d54;hpb=190e42f1030ea3d459c4040bb0e8503a7c096820;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index 5aac61297..809242945 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -3,14 +3,89 @@ - + + Matita: about + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER + True + False + 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-ok + True + GTK_RELIEF_NORMAL + True + -5 + + + + + 0 + False + True + GTK_PACK_END + + + + + + True + <b>Matita @VERSION@</b> + +<tt>http://helm.cs.unibo.it</tt> + +Copyright (C) 2004, +<i>the HELM team</i> + False + True + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 5 + 5 + + + 0 + False + False + + + + + + + + 400 + 500 True - Matita + Cic browser GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False - 800 - 600 True False True @@ -20,260 +95,253 @@ GDK_GRAVITY_NORTH_WEST - + True True False - + True False 0 - + True + GTK_SHADOW_OUT + GTK_POS_LEFT + GTK_POS_TOP - + True - _File - True + False + 0 - + + True + new browser win + True + True + GTK_RELIEF_NORMAL + True - + True - _New - True + gtk-new + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + - - - True - gtk-new - 1 - 0.5 - 0.5 - 0 - 0 - - + + + True + history back + True + True + GTK_RELIEF_NORMAL + True + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 - + + True + False + 2 - + True - _Proof or definition ... - True + gtk-go-back + 4 + 0.5 + 0.5 + 0 + 0 + + 0 + False + False + - + True - (Co)Inductive _definitions ... + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + 0 + False + False + + + + 0 + False + False + + - - - True - _Open... - True - - - - - True - gtk-open - 1 - 0.5 - 0.5 - 0 - 0 - - - - + + + True + history forward + True + True + GTK_RELIEF_NORMAL + True - + True - _Save - True - - - - - True - gtk-save - 1 - 0.5 - 0.5 - 0 - 0 - - + gtk-go-forward + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - - True - Save _As ... - True - - - - True - gtk-save-as - 1 - 0.5 - 0.5 - 0 - 0 - - - - + + + True + refresh + True + True + GTK_RELIEF_NORMAL + True - + True + gtk-refresh + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + home + True + True + GTK_RELIEF_NORMAL + True - + True - _Quit - True - - - - - True - gtk-quit - 1 - 0.5 - 0.5 - 0 - 0 - - + gtk-home + 4 + 0.5 + 0.5 + 0 + 0 + + 0 + False + False + - - - - - - True - _Edit - True - - - - - - True - _View - True - - - - - - - True - Show Button Bar - True - True - - - - - - True - Show Proof Window - True - False - - - - - - - True - Show Check Window - True - False - - - - - - - True - Show Script Window - True - False - - - - - - - - - - - True - Debug - True - - - - - True - - + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + 0 + False + True + - - - - - - True - _Help - True - - - - - True - About... - True - - + + True + cic uri + True + True + True + 0 + + True + * + False + + 0 + True + True + @@ -281,73 +349,30 @@ 0 False - False + True - + True - True - 450 + 0 + 0 + GTK_SHADOW_NONE - + True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT - - True - GTK_SHADOW_IN - - - - True - True - True - True - GTK_POS_TOP - False - False - - - - - - - True - False - - - - - - True - True - False - - - - True - GTK_POLICY_NEVER - GTK_POLICY_ALWAYS - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - - + - - True - True - @@ -356,68 +381,101 @@ True - - - - True - True - - - 0 - False - False - - - - Matita: current proof + + DUMMY GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 700 - 525 - True + GTK_WIN_POS_CENTER + True + False False True False False - GDK_WINDOW_TYPE_HINT_NORMAL + GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True - - + + True - True - False + False + 0 - - + + True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT + 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_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + - - 10 - Select File + + True + DUMMY GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True + GTK_WIN_POS_NONE + False True False True @@ -425,38 +483,262 @@ False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST - True + True - - + + True - True - True - GTK_RELIEF_NORMAL - True - - + False + 0 - - - True - True - True - GTK_RELIEF_NORMAL - True - - - + + + True + GTK_BUTTONBOX_END - - 150 - 450 - True - Tactics - GTK_WINDOW_TOPLEVEL + + + 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 + + + + + + + + + + + + 10 + Select File + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER + True + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + + + + True + True + True + GTK_RELIEF_NORMAL + True + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + + + + + + 200 + Interpretation choice + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + True + 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-help + True + GTK_RELIEF_NORMAL + True + -11 + + + + + + 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 + False + 0 + + + + True + some informative message here ... + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + + 0 + True + True + + + + + 0 + True + True + + + + + + + + Matita + GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False - False + 800 + 600 + True False True False @@ -465,98 +747,266 @@ GDK_GRAVITY_NORTH_WEST - + True True False - + True False 0 - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - + True - True - True - False + _File + True - - True - Intros - True - intros - True - GTK_RELIEF_NORMAL - True + + + + + True + _New + True + + + + True + gtk-new + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + + True + _Proof or definition ... + True + + + + + + True + (Co)Inductive _definitions ... + True + + + + + + + + + + True + _Open... + True + + + + + True + gtk-open + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + _Save + True + + + + + True + gtk-save + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + Save _As ... + True + + + + True + gtk-save-as + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + + + + + + True + _Quit + True + + + + + True + gtk-quit + 1 + 0.5 + 0.5 + 0 + 0 + + + + - - False - False - - + True - True - True - False + _Edit + True + + + + + + True + _View + True - - True - Apply - True - apply - True - GTK_RELIEF_NORMAL - True + + + + + True + Show Button Bar + True + True + + + + + + True + New Cic Browser + True + + + + + + + True + Show Script Window + True + False + + + + + + + True + + + + + + True + Toggle console + True + + + - - False - False - - + True - True - True - False + Debug + True - - True - Exact - True - exact - True - GTK_RELIEF_NORMAL - True + + + + + True + + + + + + + + + + True + _Help + True + + + + + + + True + About... + True + + - - False - False - @@ -567,427 +1017,427 @@ - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + True + 450 - + True - True - True - False - - - - True - Elim - True - elim - True - GTK_RELIEF_NORMAL - True - - + True + True + True + GTK_POS_TOP + False + False - False - False + True + False - + True - True - True - False + True + False - + True - ElimType - True - elimTy - True - GTK_RELIEF_NORMAL - True + 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 + + - False - False + True + False + + 0 + True + True + + + + + + True + True + 0 False False + + + + + + + + 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 + GTK_SHADOW_OUT + GTK_POS_LEFT + GTK_POS_TOP - + True - True - True - False + False + 0 - + True - Split + restart True - split - True GTK_RELIEF_NORMAL True + + + + True + gtk-goto-top + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - - False - False - - - - - - True - True - True - False - + True - Left + go back 1 phrase True - left - True GTK_RELIEF_NORMAL True + + + + True + gtk-go-up + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - - False - False - - - - - - True - True - True - False - + True - Right + execute until point True - right - True GTK_RELIEF_NORMAL True + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - - False - False - - - - - True - True - True - False + + + True + go forward 1 phrase + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-go-down + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + - + True - Exists + execute all True - ∃ - True GTK_RELIEF_NORMAL True + + + + True + gtk-goto-bottom + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - False - False - - - - - 0 - False - 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 - + 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 + GTK_POS_BOTTOM + False + False - + True - True - True - False + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT - + True - Search True - search - True - GTK_RELIEF_NORMAL - True + True + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_NONE + True + 0 + 0 + 0 + 0 + 0 + 0 + - False - False + False + True - + True - True - True - False - - - - True - Auto - True - auto - True - GTK_RELIEF_NORMAL - True - - + script + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 - False - False + tab - - - 0 - False - False - - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - + True - True - True - False + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT - + True - Cut True - cut - True - GTK_RELIEF_NORMAL - True + False + False + False + True - False - False + False + True - + True - True - True - False - - - - True - Replace - True - repl - True - GTK_RELIEF_NORMAL - True - - + outline + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 - False - False + tab 0 - False - False + True + True @@ -996,12 +1446,12 @@ - + DUMMY GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True - False + GTK_WIN_POS_NONE + False + True False True False @@ -1011,18 +1461,18 @@ True - + True False 0 - + True GTK_BUTTONBOX_END - + True True True @@ -1035,7 +1485,7 @@ - + True True True @@ -1056,12 +1506,12 @@ - + True DUMMY False False - GTK_JUSTIFY_CENTER + GTK_JUSTIFY_LEFT False False 0.5 @@ -1075,307 +1525,437 @@ False - - - - - Matita: about - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True - False - False - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - True - - - - True - False - 0 - - - + + True - GTK_BUTTONBOX_END + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT - + True - True True - gtk-ok - True - GTK_RELIEF_NORMAL - True - -5 + True + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_NONE + True + 0 + 0 + 0 + 0 + 0 + 0 + 0 - False + True True - GTK_PACK_END - - - - - - True - <b>Matita @VERSION@</b> - -<tt>http://helm.cs.unibo.it</tt> - -Copyright (C) 2004, -<i>the HELM team</i> - False - True - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 5 - 5 - - - 0 - False - False - - 280 - Uri choice + + 155 + 450 + Tactics GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True - True + GTK_WIN_POS_NONE + False + False False True False False - GDK_WINDOW_TYPE_HINT_DIALOG + GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST - True - - + + True - False - 0 + True + False - - + + True - GTK_BUTTONBOX_END + False + 0 - + True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + 50 + True + Intros + True + intros + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + True + Apply + True + apply + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + True + Exact + True + exact + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + 0 + False + False + - + True - True - True - GTK_RELIEF_NORMAL - True - 0 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - + True - 0.5 - 0.5 - 0 - 0 - 0 - 0 - 0 - 0 + True + True + False - + + 50 True - False - 2 + Elim + True + elim + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - gtk-index - 4 - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - + + + True + True + True + False - - - True - Try _Selected - True - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - + + + 50 + True + ElimType + True + elimTy + 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 + Split + True + split + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 25 + True + Left + True + L + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 25 + True + Right + True + R + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 25 + True + Exists + True + ∃ + True + GTK_RELIEF_NORMAL + True + + False + False + + + 0 + False + False + - - True - False - True - True - Try Constants - True - GTK_RELIEF_NORMAL - True - 0 - - - - - + True - True - True - GTK_RELIEF_NORMAL - True - 0 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - + True - 0.5 - 0.5 - 0 - 0 - 0 - 0 - 0 - 0 + True + True + False - + + 50 True - False - 2 + Reflexivity + True + refl + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - gtk-ok - 4 - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - + + + True + True + True + False - - - True - _Auto - True - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - + + + 50 + True + Symmetry + True + sym + True + GTK_RELIEF_NORMAL + True + + False + False + - - - - - 0 - False - True - GTK_PACK_END - - - - - True - False - 0 + + + True + True + True + False - - - True - some informative message here ... - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + + + 50 + True + Transitivity + True + trans + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + 0 @@ -1385,187 +1965,157 @@ Copyright (C) 2004, - + True - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - + True - True - False - False - False - True + True + True + False + + + + 50 + True + Simplify + True + simpl + True + GTK_RELIEF_NORMAL + True + + + + False + False + - - - 0 - True - True - - - - - - True - False - 0 - + True - URI: - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + True + True + False + + + + 50 + True + Reduce + True + red + True + GTK_RELIEF_NORMAL + True + + - 0 False - False + False - + True - True - True - True - 0 - - True - * - False + True + True + False + + + + 50 + True + Whd + True + whd + True + GTK_RELIEF_NORMAL + True + + - 0 - True - True + False + False 0 False - True + False - - - 0 - True - True - - - - - - - - 200 - Interpretation choice - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - True - 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-help - True - GTK_RELIEF_NORMAL - True - -11 - - + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 - - + + + True + True + True + False - - - True - True - True - gtk-ok - True - GTK_RELIEF_NORMAL - True - -5 - - - - - 0 - False - True - GTK_PACK_END - - + + + 50 + True + Assumption + True + asum + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - False - 0 + + + True + True + True + False - - - True - some informative message here ... - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + + + 50 + True + Auto + True + auto + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + 0 @@ -1575,48 +2125,83 @@ Copyright (C) 2004, - + True - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - + True - True - False - False - False - True + True + True + False + + + + 50 + True + Cut + True + cut + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + True + Replace + True + repl + True + GTK_RELIEF_NORMAL + True + + + + False + False + 0 - True - True + False + False - - 0 - True - True - - - - - True - DUMMY + + + + 280 + Uri choice GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False + GTK_WIN_POS_CENTER + True True False True @@ -1627,18 +2212,18 @@ Copyright (C) 2004, True - + True False 0 - + True GTK_BUTTONBOX_END - + True True True @@ -1651,296 +2236,179 @@ Copyright (C) 2004, - + 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 - - - - - - - - - - - - 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 - True - True - True - GTK_POS_BOTTOM - False - False - - - - True - False - 0 + 0 - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 - + True - True - True - False + False + 2 - + True - go back 1 phrase - True - GTK_RELIEF_NORMAL - True - - - - True - gtk-go-back - 4 - 0.5 - 0.5 - 0 - 0 - - + gtk-index + 4 + 0.5 + 0.5 + 0 + 0 + + 0 + False + False + - - - 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 - - + Try _Selected + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + 0 + False + False + - - False - False - + + + + + + + + True + False + True + True + Try Constants + True + GTK_RELIEF_NORMAL + True + 0 + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + 0 + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 - + True - True - True - False + False + 2 - + True - go forward 1 phrase - True - GTK_RELIEF_NORMAL - True + gtk-ok + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - - True - gtk-go-forward - 4 - 0.5 - 0.5 - 0 - 0 - - + + + True + _Auto + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + 0 + False + False + - - 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 - - - False - True - + + + 0 + False + True + GTK_PACK_END + + + + + + True + False + 0 - + True - script + some informative message here ... False False GTK_JUSTIFY_LEFT @@ -1952,21 +2420,23 @@ Copyright (C) 2004, 0 - tab + 0 + False + False - + True True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS - GTK_SHADOW_IN + GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT - + True True False @@ -1977,142 +2447,63 @@ Copyright (C) 2004, - False - True - - - - - - True - outline - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - tab + 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 - - + False + 0 - - - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + + + True + URI: + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - - True - True - True - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_NONE - True - 0 - 0 - 0 - 0 - 0 - 0 - + + + True + True + True + True + 0 + + True + * + False + + + 0 + True + True + + + + 0 + False + True +