X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=728a871120742d9617cc94fa147563cad8615e96;hb=7deafec4fd4b2eebf4d4061f21ee5c47bd15b062;hp=e7dc8ded4036b80d16c1137c4f826c1b410bc39a;hpb=1d431843f49b3658593c8cc918b53a43479a6486;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index e7dc8ded4..728a87112 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -4,7 +4,6 @@ - True Matita GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE @@ -51,7 +50,7 @@ True - + True gtk-new 1 @@ -93,7 +92,7 @@ - + True gtk-open 1 @@ -114,7 +113,7 @@ - + True gtk-save 1 @@ -134,7 +133,7 @@ True - + True gtk-save-as 1 @@ -161,7 +160,7 @@ - + True gtk-quit 1 @@ -205,32 +204,36 @@ - + True - Show Proof Window + New Cic Browser True - False - + True - Show Check Window + Show Script Window True False - + - + True - Show Script Window + + + + + + True + Toggle console True - False - + @@ -292,31 +295,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 +317,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 @@ -374,44 +413,6 @@ - - Matita: current proof - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 700 - 525 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - True - True - False - - - - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT - - - - - - - - - - 10 Select File @@ -449,10 +450,9 @@ - 130 + 155 450 - True - ToolBar + Tactics GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False @@ -461,7 +461,7 @@ True False False - GDK_WINDOW_TYPE_HINT_NORMAL + GDK_WINDOW_TYPE_HINT_TOOLBAR GDK_GRAVITY_NORTH_WEST @@ -471,119 +471,641 @@ 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 - True - True - button2 - True - GTK_RELIEF_NORMAL - True + + + 50 + True + Intros + True + intros + True + GTK_RELIEF_NORMAL + True + + + + False + False + - + True - True - True - button3 - True - GTK_RELIEF_NORMAL - True + True + True + False + + + + 50 + True + Apply + True + apply + True + GTK_RELIEF_NORMAL + True + + + + False + False + - + True - True - True - button4 - True - GTK_RELIEF_NORMAL - True + True + True + False + + + + 50 + True + Exact + True + exact + True + GTK_RELIEF_NORMAL + True + + + + False + False + 0 False - True + False - + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + 50 + True + Elim + True + elim + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + True + ElimType + True + elimTy + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - 5 + 0 False - True + False - - - - - - - + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - DUMMY - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True - False - False - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - True + + + True + True + True + False - - - True - False - 0 + + + 50 + True + Split + True + split + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - GTK_BUTTONBOX_END + + + 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 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + 50 + True + Reflexivity + True + refl + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + True + Symmetry + True + sym + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + 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 + + + + 50 + True + Simplify + True + simpl + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 50 + True + Reduce + True + red + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + 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 + False + + + + 50 + 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 + + + + 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 + False + False + + + + + + + + + + DUMMY + 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 @@ -1037,6 +1559,7 @@ Copyright (C) 2004, + 200 Interpretation choice GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE @@ -1115,7 +1638,7 @@ Copyright (C) 2004, 0 - + True some informative message here ... False @@ -1131,26 +1654,441 @@ Copyright (C) 2004, 0 False - 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 + + + + + + + + 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 + + + + + + + + + + + + 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_SHADOW_OUT + GTK_POS_LEFT + GTK_POS_TOP + + + + True + False + 0 + + + + True + restart + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-goto-top + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + + + + + True + go back 1 phrase + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-undo + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + + + + + True + execute until point + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + + + + + True + go forward 1 phrase + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-redo + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + + + + + True + execute all + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-goto-bottom + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + + + + + + 0 + False + True - + + True + True + True + True + GTK_POS_BOTTOM + 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 + + + + + + False + True + + + + + + True + script + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + + + + + True + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + + False + True + + + + + + True + outline + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + + + + 0 + True + True + - - 0 - True - True - - - True + DUMMY GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE @@ -1165,18 +2103,18 @@ Copyright (C) 2004, True - + True False 0 - + True GTK_BUTTONBOX_END - + True True True @@ -1189,7 +2127,7 @@ Copyright (C) 2004, - + True True True @@ -1210,7 +2148,7 @@ Copyright (C) 2004, - + True DUMMY False @@ -1231,58 +2169,52 @@ 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_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 + - - Matita: script + + 400 + 500 + True + Cic browser GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False - 300 - 800 True False True @@ -1292,44 +2224,43 @@ Copyright (C) 2004, 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 - go back 1 phrase + new browser win + True True GTK_RELIEF_NORMAL True - + True - gtk-go-back + gtk-new 4 0.5 0.5 @@ -1338,33 +2269,102 @@ Copyright (C) 2004, + + 0 + False + False + - - - False - False - - - - - True - True - True - False + + + True + history back + 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 - execute til cursor + history forward + True True GTK_RELIEF_NORMAL True - + True - gtk-jump-to + gtk-go-forward 4 0.5 0.5 @@ -1373,33 +2373,54 @@ Copyright (C) 2004, + + 0 + False + False + - - - False - False - - - - - True - True - True - False + + + True + refresh + True + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-refresh + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + - + True - go forward 1 phrase + home + True True GTK_RELIEF_NORMAL True - + True - gtk-go-forward + gtk-home 4 0.5 0.5 @@ -1408,47 +2429,78 @@ Copyright (C) 2004, + + 0 + False + False + + + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + True + + + + + + True + cic uri + True + True + True + 0 + + True + * + False + + + 0 + True + True + - - False - False - 0 False - False + True - + True - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + 0 + 0 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 - + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + +