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 @@ + + + + True + Show Check Window + True + False + + + + + + + True + Show Script Window + True + False + + + @@ -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 + + + + + +