X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=57ce4006ade69392ff95e4dadc0c8ab7f4fc0dbc;hb=de4483296d06aac3df4da10d5401b1f97c4350ab;hp=2704d164d3b49f0ffe61d8bfa5a86886f84de5ef;hpb=157f12c3cb9cc4ed5ba9d1e46c64a593c7fd9481;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index 2704d164d..57ce4006a 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -79,13 +79,13 @@ Copyright (C) 2005, - 500 - 500 True Cic browser GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE + GTK_WIN_POS_CENTER_ON_PARENT False + 500 + 500 True False True @@ -107,26 +107,29 @@ Copyright (C) 2005, 0 - + True + 0 + 0.5 GTK_SHADOW_OUT - GTK_POS_LEFT - GTK_POS_TOP - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - + True - True - True - False + False + 0 @@ -135,7 +138,7 @@ Copyright (C) 2005, True True GTK_RELIEF_NONE - True + False @@ -149,20 +152,12 @@ Copyright (C) 2005, + + 0 + False + False + - - - False - False - - - - - - True - True - True - False @@ -233,20 +228,12 @@ Copyright (C) 2005, + + 0 + False + False + - - - False - False - - - - - - True - True - True - False @@ -269,20 +256,12 @@ Copyright (C) 2005, + + 0 + False + False + - - - False - False - - - - - - True - True - True - False @@ -305,20 +284,12 @@ Copyright (C) 2005, + + 0 + False + False + - - - False - False - - - - - - True - True - True - False @@ -341,23 +312,15 @@ Copyright (C) 2005, + + 0 + False + False + - - - False - False - - - - - - True - True - True - False - + True gtk-jump-to 4 @@ -366,26 +329,20 @@ Copyright (C) 2005, 0 0 + + 3 + False + False + - - - False - False - - - - - - True - True - True - False True cic uri + True True + True True True 0 @@ -393,14 +350,92 @@ Copyright (C) 2005, True * False - 34 + + 3 + True + True + + + + + + 20 + True + False + 0 + + + + + + + + + + + 0 + False + True + + + + + + True + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + True + GTK_RELIEF_NONE + True + False + False + + + + True + False + 0 + + + + True + GTK_ARROW_DOWN + GTK_SHADOW_NONE + 0.5 + 0.5 + 0 + 0 + + + 0 + True + True + + + + + + + 0 + False + False + - - False - False - @@ -413,83 +448,232 @@ Copyright (C) 2005, - + + 3 True - 0 - 0 - GTK_SHADOW_IN + False + 6 - + True True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT + True + True + 0 + + True + * + False + + + 0 + True + True + + + + + + True + False + 0 - + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 0 + False + False + + + 0 + False + True + 0 - True + False 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 - False - 0 - - - - True - GTK_BUTTONBOX_END - + True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 - - + 0 + 0 + GTK_SHADOW_NONE - - - True - True - True - gtk-ok + + + True + True + True + True + GTK_POS_TOP + False + False + + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + + + + False + True + + + + + + True + MathView + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + + + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + + False + True + + + + + + True + WhelpResults + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + + + + + + 0 + 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 + 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 @@ -1037,698 +1221,612 @@ Copyright (C) 2005, + 2 True GTK_SHADOW_OUT GTK_POS_TOP - GTK_POS_TOP + GTK_POS_LEFT - - 109 + True - True - 0 + 17 + 2 + False + 4 + 0 - + + 50 True - False - 0 - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 55 - 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 - - - - - 0 - False - False - - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 55 - True - Exact - True - exact - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - - - - 0 - False - False - - + Apply + True + apply + True + GTK_RELIEF_NORMAL + True - 0 - False - False + 1 + 2 + 0 + 1 + fill + - + + 55 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + Intros + True + intros + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 0 + 1 + fill + + + - - - True - True - True - False + + + 55 + True + Exact + True + exact + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 2 + 3 + fill + + + - - - 55 - True - Elim - True - elim - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + 55 + True + Elim + True + elim + True + GTK_RELIEF_HALF + True + + + 0 + 1 + 4 + 5 + fill + + + - - - True - True - True - False + + + 55 + True + Reflexivity + True + refl + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 8 + 9 + fill + + + - - - 55 - True - ElimType - True - elimTy - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + 50 + True + Symmetry + True + sym + True + GTK_RELIEF_NORMAL + True - 0 - False - False + 1 + 2 + 8 + 9 + fill + - + + 55 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + Transitivity + True + trans + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 9 + 10 + fill + + + - - - True - True - True - False + + + 55 + True + Simplify + True + simpl + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 11 + 12 + fill + + + - - - 25 - True - Split - True - ∧ - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + 50 + True + Reduce + True + red + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 11 + 12 + fill + + + - - - True - True - True - False + + + 55 + True + Whd + True + whd + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 12 + 13 + fill + + + - - - 25 - True - Left - True - L - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + 55 + True + Assumption + True + assum + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 14 + 15 + fill + + + - - - True - True - True - False + + + 50 + True + Auto + True + auto + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 14 + 15 + fill + + + - - - 25 - True - Right - True - R - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + 55 + True + Cut + True + cut + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 16 + 17 + fill + + + - - - True - True - True - False + + + 50 + True + Replace + True + repl + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 16 + 17 + fill + + + - - - 25 - True - Exists - True - ∃ - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + 55 + True + ElimType + True + elimTy + True + GTK_RELIEF_NORMAL + True - 0 - False - False + 1 + 2 + 4 + 5 + fill + - + True False 0 - + + 25 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 55 - 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 - - + Right + True + R + True + GTK_RELIEF_NORMAL + True 0 - False - False + True + True - + + 25 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 55 - True - Transitivity - True - trans - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + Exists + True + ∃ + True + GTK_RELIEF_NORMAL + True 0 - False - False + True + True - 0 - False - False + 1 + 2 + 6 + 7 + fill + fill - + True False 0 - + + 25 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 55 - 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 - - + Split + True + ∧ + True + GTK_RELIEF_NORMAL + True 0 - False - False + True + True - + + 25 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 55 - True - Whd - True - whd - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + Left + True + L + True + GTK_RELIEF_NORMAL + True 0 - False - False + True + True - 0 - False - False + 0 + 1 + 6 + 7 + fill + fill - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - - True - True - True - False - - - - 55 - True - Assumption - True - assum - True - GTK_RELIEF_NORMAL - True - - - - - False - False - + + + + 0 + 1 + 1 + 2 + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - - True - True - True - False + + + + + 0 + 1 + 3 + 4 + fill + + - - - 50 - True - Auto - True - auto - True - GTK_RELIEF_NORMAL - True - - - - - False - False - + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + - 0 - False - False + 0 + 1 + 5 + 6 + fill - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - - True - True - True - False + + + + + 0 + 1 + 7 + 8 + fill + + - - - 55 - True - Cut - True - cut - True - GTK_RELIEF_NORMAL - True - - - - - False - False - + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + 0 + 1 + 10 + 11 + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - - True - True - True - False + + + + + 0 + 1 + 13 + 14 + fill + + - - - 50 - True - Replace - True - repl - True - GTK_RELIEF_NORMAL - True - - - - - False - False - + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + - 0 - False - False + 0 + 1 + 15 + 16 + fill @@ -1736,7 +1834,7 @@ Copyright (C) 2005, 0 - True + False True @@ -2166,7 +2264,7 @@ Copyright (C) 2005, True - True + False 0 @@ -2440,7 +2538,7 @@ Copyright (C) 2005, True False - 0 + 4 @@ -2546,7 +2644,19 @@ Copyright (C) 2005, - + + True + True + gtk-copy + True + GTK_RELIEF_NORMAL + True + 0 + + + + + True True True @@ -2555,7 +2665,7 @@ Copyright (C) 2005, 0 - + True 0.5 0.5 @@ -2567,13 +2677,13 @@ Copyright (C) 2005, 0 - + True False 2 - + True gtk-ok 4 @@ -2590,9 +2700,9 @@ Copyright (C) 2005, - + True - _Auto + bla bla bla True False GTK_JUSTIFY_LEFT @@ -2628,7 +2738,7 @@ Copyright (C) 2005, True False - 0 + 3 @@ -2653,10 +2763,11 @@ Copyright (C) 2005, + 400 True True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT @@ -2679,7 +2790,7 @@ Copyright (C) 2005, - + True False 0