X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2fb05862dab6d602668568a8275b928374deea1c;hb=5022202a659044d981833ba8665424a52684b07f;hp=2704d164d3b49f0ffe61d8bfa5a86886f84de5ef;hpb=716da638633f01d6a5b52c05e0bd6adc86385b60;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index 2704d164d..2fb05862d 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,302 +107,270 @@ Copyright (C) 2005, 0 - + True - GTK_SHADOW_OUT - GTK_POS_LEFT - GTK_POS_TOP + 0 + 0 + GTK_SHADOW_NONE - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + False + 0 - + True - True - True - False + True + GTK_RELIEF_NONE + True - + True - new browser win - True - True - GTK_RELIEF_NONE - True - - - - True - gtk-new - 4 - 0.5 - 0.5 - 0 - 0 - - + gtk-new + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - + True - True - True - False + True + GTK_RELIEF_NONE + True - + True - history back - True - True - GTK_RELIEF_NONE - 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 - - - - - - + gtk-go-back + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - + True - True - True - False + True + GTK_RELIEF_NONE + True - + True - history forward - True - True - GTK_RELIEF_NONE - True - - - - True - gtk-go-forward - 4 - 0.5 - 0.5 - 0 - 0 - - + gtk-go-forward + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - + True - True - True - False + refresh + True + True + GTK_RELIEF_NONE + True - + True - refresh - True - True - GTK_RELIEF_NONE - True - - - - True - gtk-refresh - 4 - 0.5 - 0.5 - 0 - 0 - - + gtk-refresh + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - + True - True - True - False + home + True + True + GTK_RELIEF_NONE + True - + True - home - True - True - GTK_RELIEF_NONE - True - - - - True - gtk-home - 4 - 0.5 - 0.5 - 0 - 0 - - + gtk-home + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False + + + + + + True + gtk-jump-to + 2 + 0.5 + 0.5 + 0 + 0 + + + 3 + False + False - + True - True - True - False + False + 0 - - True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 - + - False - False + 0 + True + True + + + + + 0 + False + True + + + + + + 3 + True + False + 6 + + + + True + 0.5 + 0.5 + 0 + 0 + + + 0 + False + True + + + + + + True + True + True + True + 0 + + True + * + False + + + 0 + True + True + + + + + + True + False + 0 - + True - True - True - False + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - - True - cic uri - True - True - True - 0 - - True - * - False - 34 - + + 0 False - False + False + + 0 + False + True + @@ -413,11 +381,14 @@ Copyright (C) 2005, - + True - 0 - 0 - GTK_SHADOW_IN + True + True + True + GTK_POS_TOP + False + False @@ -432,6 +403,74 @@ Copyright (C) 2005, + + 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 + @@ -795,8 +834,6 @@ Copyright (C) 2005, GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False - 800 - 600 True False True @@ -844,7 +881,7 @@ Copyright (C) 2005, True - + True gtk-new 1 @@ -865,7 +902,7 @@ Copyright (C) 2005, - + True gtk-open 1 @@ -886,7 +923,7 @@ Copyright (C) 2005, - + True gtk-save 1 @@ -906,7 +943,7 @@ Copyright (C) 2005, True - + True gtk-save-as 1 @@ -920,7 +957,28 @@ Copyright (C) 2005, - + + True + _Developments... + True + + + + + True + gtk-execute + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + True @@ -933,7 +991,7 @@ Copyright (C) 2005, - + True gtk-quit 1 @@ -955,18 +1013,194 @@ Copyright (C) 2005, True _Edit True - - - - - - True - _View - True + + + + + + + True + False + Undo + True + + + + + True + gtk-undo + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + False + Redo + True + + + + + True + gtk-redo + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + + + + + + True + Cut + True + + + + + True + gtk-cut + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + Copy + True + + + + + True + gtk-copy + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + Paste + True + + + + + True + gtk-paste + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + Delete + True + + + + True + gtk-delete + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + + + + + + True + Find & Replace + True + + + + + True + gtk-find-and-replace + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + + + + + True + _View + True + + + True + Show/Hide the tactics buttons bar + View Tactics Bar + True + True + + + + True @@ -975,6 +1209,57 @@ Copyright (C) 2005, + + + + True + + + + + + True + Fullscreen + True + False + + + + + + + True + + + + + + True + Increase Font Size + True + + + + + + + + True + Decrease Font Size + True + + + + + + + + True + Normal Font Size + True + + + @@ -1036,158 +1321,94 @@ Copyright (C) 2005, 0 - + True - GTK_SHADOW_OUT - GTK_POS_TOP - GTK_POS_TOP + True - - 109 + True - True + False 0 - + True - False - 0 + GTK_SHADOW_OUT + GTK_POS_TOP + GTK_POS_TOP - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + 17 + 2 + False + 4 + 0 - + True - True - True - False - - - - 55 - True - Intros - True - intros - True - GTK_RELIEF_NORMAL - True - - + Apply + True + apply + True + GTK_RELIEF_NORMAL + True - False - False + 1 + 2 + 0 + 1 + fill + - + True - True - True - False - - - - 50 - True - Apply - True - apply - True - GTK_RELIEF_NORMAL - True - - + Intros + True + intro + True + GTK_RELIEF_NORMAL + True - False - False + 0 + 1 + 0 + 1 + fill + - - - 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 - - + Exact + True + exact + True + GTK_RELIEF_NORMAL + True - False - False + 0 + 1 + 2 + 3 + fill + - - - 0 - False - False - - - - - 0 - False - False - - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - 55 True Elim True @@ -1196,295 +1417,529 @@ Copyright (C) 2005, GTK_RELIEF_NORMAL True + + 0 + 1 + 4 + 5 + fill + + - - - False - False - - - - - - True - True - True - False - - 55 + True - ElimType + Reflexivity True - elimTy + refl True GTK_RELIEF_NORMAL True + + 0 + 1 + 8 + 9 + fill + + - - - False - False - - - - - 0 - False - False - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False + + + True + Symmetry + True + sym + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 8 + 9 + fill + + + - - 25 + True - Split + Transitivity True - ∧ + trans True GTK_RELIEF_NORMAL True + + 0 + 1 + 9 + 10 + fill + + - - - False - False - - - - - True - True - True - False + + + True + Simplify + True + simpl + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 11 + 12 + fill + + + - - 25 + True - Left + Reduce True - L + red True GTK_RELIEF_NORMAL True + + 1 + 2 + 11 + 12 + fill + + - - - False - False - - - - - True - True - True - False + + + True + Whd + True + whd + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 12 + 13 + fill + + + - - 25 + True - Right + Assumption True - R + assum True GTK_RELIEF_NORMAL True + + 0 + 1 + 14 + 15 + fill + + - - - False - False - - - - - True - True - True - False + + + True + Auto + True + auto + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 14 + 15 + fill + + + - - 25 + True - Exists + Cut True - ∃ + cut True GTK_RELIEF_NORMAL True + + 0 + 1 + 16 + 17 + fill + + - - - False - False - - - - - 0 - False - False - - - - - True - False - 0 + + + True + Replace + True + repl + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 16 + 17 + fill + + + - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + + + True + ElimType + True + elimTy + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 4 + 5 + fill + + + - + True - True - True - False + True + 0 + + + + True + Right + True + R + True + GTK_RELIEF_NORMAL + True + + + 0 + True + True + + - - 55 + True - Reflexivity + Exists True - refl + ∃ True GTK_RELIEF_NORMAL True + + 0 + True + True + - False - False + 1 + 2 + 6 + 7 + fill + fill - + True - True - True - False + True + 0 + + + + True + Split + True + ∧ + True + GTK_RELIEF_NORMAL + True + + + 0 + True + True + + - - 50 + True - Symmetry + Left True - sym + L True GTK_RELIEF_NORMAL True + + 0 + True + True + - False - False + 0 + 1 + 6 + 7 + fill + fill - - - 0 - False - False - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 0 + 1 + 1 + 2 + fill + + - + True - True - True - False + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 - - 55 - True - Transitivity - True - trans - True - GTK_RELIEF_NORMAL - True - + - False - False + 0 + 1 + 3 + 4 + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 0 + 1 + 5 + 6 + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 0 + 1 + 7 + 8 + fill + + + + + + 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 + + + + + + + 0 + 1 + 13 + 14 + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 0 + 1 + 15 + 16 + fill - - 0 - False - False - 0 False - False + True - + + 400 True False 0 - + True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH @@ -1492,22 +1947,32 @@ Copyright (C) 2005, True - + True True True False - - 55 + True - Simplify + restart (Home) True - simpl - True - GTK_RELIEF_NORMAL + GTK_RELIEF_NONE True + + + + + True + gtk-goto-top + 4 + 0.5 + 0.5 + 0 + 0 + + @@ -1518,22 +1983,32 @@ Copyright (C) 2005, - + True True True False - - 50 + True - Reduce + go back 1 phrase (Page Up) True - red - True - GTK_RELIEF_NORMAL + GTK_RELIEF_NONE True + + + + + True + gtk-go-up + 4 + 0.5 + 0.5 + 0 + 0 + + @@ -1542,39 +2017,33 @@ Copyright (C) 2005, False - - - 0 - False - False - - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - + True True True False - - 55 + True - Whd + execute until point True - whd - True - GTK_RELIEF_NORMAL + GTK_RELIEF_NONE True + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + @@ -1583,498 +2052,209 @@ Copyright (C) 2005, False - - - 0 - False - False - - - - - 0 - False - False - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + + + True + True + True + False - - - True - True - True - False + + + True + go forward 1 phrase (Page Down) + True + GTK_RELIEF_NONE + True + + + + + True + gtk-go-down + 4 + 0.5 + 0.5 + 0 + 0 + + + + + + + False + False + + - - 55 + True - Assumption - True - assum - True - GTK_RELIEF_NORMAL - True + True + True + False + + + + True + execute all (End) + True + GTK_RELIEF_NONE + True + + + + + True + gtk-goto-bottom + 4 + 0.5 + 0.5 + 0 + 0 + + + + + + False + False + + 0 False - False + False - + True - True - True - False + True + True + True + GTK_POS_BOTTOM + False + False - - 50 + True - Auto True - auto - True - GTK_RELIEF_NORMAL - True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + + + False + True + - - - False - False - - - - - 0 - False - False - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False + + + True + script + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + - - 55 + True - Cut True - cut - True - GTK_RELIEF_NORMAL - True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + False + True + - - - False - False - - - - - - True - True - True - False - - 50 + True - Replace - True - repl - True - GTK_RELIEF_NORMAL - True + outline + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + tab + - False - False + 0 + True + True 0 - False - False + True + True + + True + False + - - - 0 - True - True - - - - - - True - True - - 400 + + 250 + 500 True - False - 0 + True + 380 - - 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 - go back 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 - go forward 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 - False - False - - - - - - True - True - True - True - GTK_POS_BOTTOM - False - False - - - - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - 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_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_NONE - 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 - - - - - True - False - - - - - - 450 - 500 - True - True - 450 - - - + True True True @@ -2138,7 +2318,7 @@ Copyright (C) 2005, - False + True True @@ -2166,7 +2346,7 @@ Copyright (C) 2005, True - True + False 0 @@ -2392,28 +2572,848 @@ Copyright (C) 2005, 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 + + + + + + + + 280 + Uri choice + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER + True + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + + + + True + False + 4 + + + + True + GTK_BUTTONBOX_END + + + + True + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + -6 + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + 0 + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-index + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + Try _Selected + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + + + + + + + True + False + True + True + Try Constants + True + GTK_RELIEF_NORMAL + True + 0 + + + + + + True + True + gtk-copy + 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 + False + 2 + + + + True + gtk-ok + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + bla bla bla + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + + + + + + 0 + False + True + GTK_PACK_END + + + + + + True + False + 3 + + + + True + some informative message here ... + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + 400 + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + + 0 + True + True + + + + + + True + False + 0 + + + + True + URI: + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + True + True + True + 0 + + True + * + False + + + 0 + True + True + + + + + 0 + False + True + + + + + 0 + True + True + + + + + + + + 5 + Find & Replace + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_MOUSE + False + False + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + + + + True + 3 + 2 + False + 5 + 0 + + + + True + Find: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Replace with: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 1 + 2 + fill + + + + + + + True + True + True + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 0 + 1 + + + + + + + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 1 + 2 + + + + + + + True + False + 5 + + + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + + True + True + gtk-find + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + + True + True + GTK_RELIEF_NORMAL + True + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-find-and-replace + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + _Replace + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + + + + 0 + False + False + + + + + + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + 0 + 2 + 2 + 3 + 5 + + + + + + + + Create development + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER_ALWAYS + True + False + False + True + False + False + GDK_WINDOW_TYPE_HINT_UTILITY + GDK_GRAVITY_NORTH_WEST + + + + True + False + 0 + + + + 3 + True + 2 + 3 + False + 5 + 5 + + + + True + Name + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Root directory + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 1 + 2 + fill + + + + + + + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 0 + 1 + + + + + + + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 1 + 2 + + + + + + + True + True + ... + True + GTK_RELIEF_NORMAL + True + + + 2 + 3 + 1 + 2 + fill + + + + + + 0 + False + True + + + + + + True + + + 2 + False + True + + + + + + 3 + True + False + 5 + + + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + + True + True + gtk-add + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + True True - True - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_NONE - True - 0 - 0 - 0 - 0 - 0 - 0 - + gtk-cancel + True + GTK_RELIEF_NORMAL + True + + 0 + False + False + 0 - True + False True @@ -2421,56 +3421,132 @@ Copyright (C) 2005, - - 280 - Uri choice + + Developments GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER - True + False True False True False False - GDK_WINDOW_TYPE_HINT_DIALOG + GDK_WINDOW_TYPE_HINT_NORMAL 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-cancel + False + False + False + True + + + + + 0 + True + True + + + + + + True + + + 2 + False + True + + + + + + 3 + True + False + 4 + + + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + + True + True + gtk-new True GTK_RELIEF_NORMAL True - -6 + + 0 + False + False + - + + True + True + gtk-delete + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + True - True True GTK_RELIEF_NORMAL True - 0 - + True 0.5 0.5 @@ -2482,15 +3558,15 @@ Copyright (C) 2005, 0 - + True False 2 - + True - gtk-index + gtk-execute 4 0.5 0.5 @@ -2505,9 +3581,9 @@ Copyright (C) 2005, - + True - Try _Selected + _Build True False GTK_JUSTIFY_LEFT @@ -2529,33 +3605,22 @@ Copyright (C) 2005, + + 0 + 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 @@ -2567,15 +3632,15 @@ Copyright (C) 2005, 0 - + True False 2 - + True - gtk-ok + gtk-clear 4 0.5 0.5 @@ -2590,9 +3655,9 @@ Copyright (C) 2005, - + True - _Auto + C_lean True False GTK_JUSTIFY_LEFT @@ -2614,36 +3679,6 @@ Copyright (C) 2005, - - - - 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 @@ -2652,88 +3687,24 @@ Copyright (C) 2005, - + True True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT - - - - True - True - False - False - False - True - - - - - 0 - True - True - - - - - - True - False - 0 - - - - True - URI: - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - - - - - True - True - True - True - 0 - - True - * - False - - - 0 - True - True - - + gtk-close + True + GTK_RELIEF_NORMAL + True 0 False - True + False 0 - True + False True