X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=6ddd786b9b4210684bb40568f1bbf545a6a8e437;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4b82c9339a696b95e30244d2a97c28603804d2a8;hpb=d937fdd65dc2101eaf1e0d167bf5db249a6f9b6b;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index 4b82c9339..6ddd786b9 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -3,81 +3,6 @@ - - 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) 2005, -<i>the HELM team</i> - False - True - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 5 - 5 - - - 0 - False - False - - - - - - True Cic browser @@ -93,6 +18,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST + True @@ -110,332 +36,181 @@ Copyright (C) 2005, True 0 - 0.5 - GTK_SHADOW_OUT + 0 + GTK_SHADOW_NONE - + True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 + False + 0 - + True - False - 0 - - - - True - new browser win - True - True - GTK_RELIEF_NONE - False - - - - True - gtk-new - 4 - 0.5 - 0.5 - 0 - 0 - - - - - 0 - False - 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-new + 4 + 0.5 + 0.5 + 0 + 0 - - 0 - False - False - + + + 0 + False + False + + - - - True - history forward - True - True - GTK_RELIEF_NONE - True - - - - True - gtk-go-forward - 4 - 0.5 - 0.5 - 0 - 0 - - - - - 0 - False - False - - + + + 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-go-back + 4 + 0.5 + 0.5 + 0 + 0 - - 0 - False - False - + + + 0 + False + False + + - - - True - home - True - True - GTK_RELIEF_NONE - True - - - - True - gtk-home - 4 - 0.5 - 0.5 - 0 - 0 - - - - - 0 - False - False - - + + + True + True + GTK_RELIEF_NONE + True - + True - gtk-jump-to + gtk-go-forward 4 0.5 0.5 0 0 - - 3 - False - False - + + + 0 + False + False + + - - - True - cic uri - True - True - True - True - True - 0 - - True - * - False - - - 3 - True - True - - + + + True + refresh + True + True + GTK_RELIEF_NONE + True - - 20 + True - False - 0 - - - - - - - - + gtk-refresh + 4 + 0.5 + 0.5 + 0 + 0 - - 0 - False - True - + + + 0 + False + False + + + + + + True + home + True + True + GTK_RELIEF_NONE + True - + True + gtk-home + 4 0.5 0.5 0 0 - - 0 - False - False - + + + 0 + False + False + + - - - True - True - GTK_RELIEF_NONE - True - False - False - - - - True - False - 0 + + + True + gtk-jump-to + 2 + 0.5 + 0.5 + 0 + 0 + + + 3 + False + False + + - - - True - GTK_ARROW_DOWN - GTK_SHADOW_NONE - 0.5 - 0.5 - 0 - 0 - - - 0 - True - True - - - - - - - 0 - False - False - + + + True + False + 0 + + + + + 0 + True + True + @@ -454,6 +229,21 @@ Copyright (C) 2005, False 6 + + + True + 0.5 + 0.5 + 0 + 0 + + + 0 + False + True + + + True @@ -474,7 +264,7 @@ Copyright (C) 2005, - + True False 0 @@ -558,6 +348,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -581,6 +375,9 @@ Copyright (C) 2005, False False True + False + False + False @@ -603,6 +400,47 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + True + 0.5 + 0.5 + 0 + 0 + + + False + True + + + + + + True + WhelpEasterEgg + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -633,6 +471,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -693,6 +532,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -717,6 +560,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -777,6 +621,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -805,6 +653,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -828,9 +677,10 @@ Copyright (C) 2005, - - 200 - Interpretation choice + + 350 + 250 + title GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True @@ -841,6 +691,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -855,7 +706,7 @@ Copyright (C) 2005, GTK_BUTTONBOX_END - + True True True @@ -868,7 +719,7 @@ Copyright (C) 2005, - + True True True @@ -881,7 +732,7 @@ Copyright (C) 2005, - + True True True @@ -908,7 +759,7 @@ Copyright (C) 2005, 0 - + True some informative message here ... False @@ -920,6 +771,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -932,19 +787,22 @@ Copyright (C) 2005, True True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT - + True True False False False True + False + False + False @@ -977,6 +835,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST + True @@ -1015,9 +874,10 @@ Copyright (C) 2005, True _New True + - + True gtk-new 1 @@ -1038,7 +898,7 @@ Copyright (C) 2005, - + True gtk-open 1 @@ -1059,7 +919,7 @@ Copyright (C) 2005, - + True gtk-save 1 @@ -1077,9 +937,10 @@ Copyright (C) 2005, True Save _As ... True + - + True gtk-save-as 1 @@ -1093,7 +954,28 @@ Copyright (C) 2005, - + + True + _Developments... + True + + + + + True + gtk-execute + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + True @@ -1106,7 +988,7 @@ Copyright (C) 2005, - + True gtk-quit 1 @@ -1128,705 +1010,466 @@ Copyright (C) 2005, True _Edit True - - - - - - True - _View - True - + - + True - New Cic Browser + False + _Undo True - + + + + + True + gtk-undo + 1 + 0.5 + 0.5 + 0 + 0 + + - - - - - - - True - Debug - True + + + True + False + _Redo + True + - - + + + True + gtk-redo + 1 + 0.5 + 0.5 + 0 + 0 + + + + - + True - - - - - - - True - _Help - True + + + True + Cu_t + True + - - + + + True + gtk-cut + 1 + 0.5 + 0.5 + 0 + 0 + + + + - + True - About... + _Copy True + + + + + True + gtk-copy + 1 + 0.5 + 0.5 + 0 + 0 + + - - - - - - - - - 0 - False - False - - - - - True - False - 0 + + + True + _Paste + True + - - - 2 - True - GTK_SHADOW_OUT - GTK_POS_TOP - GTK_POS_LEFT + + + True + gtk-paste + 1 + 0.5 + 0.5 + 0 + 0 + + + + - - - True - 17 - 2 - False - 4 - 0 + + + True + _Delete + True - - - 50 - True - Apply - True - apply - True - GTK_RELIEF_NORMAL - True - - - 1 - 2 - 0 - 1 - fill - - - + + + True + gtk-delete + 1 + 0.5 + 0.5 + 0 + 0 + + + + - - - 55 - True - Intros - True - intro - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 0 - 1 - fill - - - - - - - 55 - True - Exact - True - exact - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 2 - 3 - fill - - - - - - - 55 - True - Elim - True - elim - True - GTK_RELIEF_HALF - True - - - 0 - 1 - 4 - 5 - fill - - - - - - - 55 - True - Reflexivity - True - refl - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 8 - 9 - fill - - - - - - - 50 - True - Symmetry - True - sym - True - GTK_RELIEF_NORMAL - True - - - 1 - 2 - 8 - 9 - fill - - - - - - - 55 - True - Transitivity - True - trans - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 9 - 10 - fill - - - + + + True + + - - - 55 - True - Simplify - True - simpl - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 11 - 12 - fill - - - + + + True + Select _All + True + + - - - 50 - True - Reduce - True - red - True - GTK_RELIEF_NORMAL - True - - - 1 - 2 - 11 - 12 - fill - - - + + + True + + - - - 55 - True - Whd - True - whd - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 12 - 13 - fill - - - + + + True + _Find & Replace ... + True + - - - 55 - True - Assumption - True - assum - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 14 - 15 - fill - - - + + + True + gtk-find-and-replace + 1 + 0.5 + 0.5 + 0 + 0 + + + + - - - 50 - True - Auto - True - auto - True - GTK_RELIEF_NORMAL - True - - - 1 - 2 - 14 - 15 - fill - - - + + + True + + - - - 55 - True - Cut - True - cut - True - GTK_RELIEF_NORMAL - True - - - 0 - 1 - 16 - 17 - fill - - - + + + True + Next ligature + True + + + - - - 50 - True - Replace - True - repl - True - GTK_RELIEF_NORMAL - True + + + True + Edit with E_xternal Editor + True + + - - 1 - 2 - 16 - 17 - fill - - + + - - - 55 - True - ElimType - True - elimTy - True - GTK_RELIEF_NORMAL - True - - - 1 - 2 - 4 - 5 - fill - - - + + + True + _Script + True - - True - False - 0 + - - 25 + True - Right - True - R + Execute 1 phrase True - GTK_RELIEF_NORMAL - True + - - 0 - True - True - - - 25 + True - Exists - True - ∃ + Retract 1 phrase True - GTK_RELIEF_NORMAL - True + - - 0 - True - True - - - - 1 - 2 - 6 - 7 - fill - fill - - - - - True - False - 0 + + + True + + - - 25 + True - Split - True - ∧ + Execute all True - GTK_RELIEF_NORMAL - True + - - 0 - True - True - - - 25 + True - Left - True - L + Restart True - GTK_RELIEF_NORMAL - True + - - 0 - True - True - - - - 0 - 1 - 6 - 7 - fill - fill - - - - - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 - + + True + - - - 0 - 1 - 1 - 2 - fill - - - - - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 - + + True + Execute until cursor + True + + - - 0 - 1 - 3 - 4 - fill - + + + + + + True + _View + True - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 + - + + True + Show _Tactics Bar + True + True + + - - - 0 - 1 - 5 - 6 - fill - - - - - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 - + + True + New Cic _Browser + True + + - - - 0 - 1 - 7 - 8 - fill - - - - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 + + + True + + + + + + True + _Fullscreen + True + False + + + + + + + True + + + + + + True + Zoom _In + True + + + + + + True + gtk-zoom-in + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + Zoom _Out + True + + + + + + True + gtk-zoom-out + 1 + 0.5 + 0.5 + 0 + 0 + + + + - + + True + _Normal Size + True + + + + + True + gtk-zoom-100 + 1 + 0.5 + 0.5 + 0 + 0 + + + - - 0 - 1 - 10 - 11 - fill - + + + + + + True + _Debug + True - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 + - + + True + - - 0 - 1 - 13 - 14 - fill - + + + + + + True + _Help + True - - True - 0.5 - 0.5 - 1 - 1 - 0 - 0 - 0 - 0 + - + + True + _About + True + + + + True + gtk-about + 1 + 0.5 + 0.5 + 0 + 0 + + + - - 0 - 1 - 15 - 16 - fill - - - 0 - False - True - + + + 0 + False + False + + + + + + True + False + 0 @@ -1834,411 +1477,1582 @@ Copyright (C) 2005, True - - 400 + True False 0 - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + GTK_SHADOW_OUT + GTK_POS_TOP + GTK_POS_TOP - + True - True - True - False + 17 + 2 + False + 4 + 0 - + True - restart (Home) + Apply True - GTK_RELIEF_NONE + apply + True + GTK_RELIEF_NORMAL True - - - - - True - gtk-goto-top - 4 - 0.5 - 0.5 - 0 - 0 - - + + 1 + 2 + 0 + 1 + fill + + - - - False - False - - - - - - True - True - True - False - + True - go back 1 phrase (Page Up) + Intros True - GTK_RELIEF_NONE + intro + True + GTK_RELIEF_NORMAL True - - - - - True - gtk-go-up - 4 - 0.5 - 0.5 - 0 - 0 - - + + 0 + 1 + 0 + 1 + fill + + - - - False - False - - - - - - True - True - True - False - + True - execute until point + Exact True - GTK_RELIEF_NONE + exact + True + GTK_RELIEF_NORMAL True - - - - True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 - - + + 0 + 1 + 2 + 3 + fill + + - - - False - False - - - - - - True - True - True - False - + True - go forward 1 phrase (Page Down) + Elim True - GTK_RELIEF_NONE + elim + True + GTK_RELIEF_NORMAL True - - - - - True - gtk-go-down - 4 - 0.5 - 0.5 - 0 - 0 - - + + 0 + 1 + 4 + 5 + fill + + - - - False - False - - - - - - True - True - True - False - + True - execute all (End) + Reflexivity True - GTK_RELIEF_NONE + refl + True + GTK_RELIEF_NORMAL True - - - - - True - gtk-goto-bottom - 4 - 0.5 - 0.5 - 0 - 0 - - + + 0 + 1 + 8 + 9 + fill + + - - - 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 + Symmetry True - True - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_NONE - True - 0 - 0 - 0 - 0 - 0 - 0 - + sym + True + GTK_RELIEF_NORMAL + True + + 1 + 2 + 8 + 9 + fill + + - - - 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 + Transitivity True - False - False - False - True + trans + True + GTK_RELIEF_NORMAL + True + + 0 + 1 + 9 + 10 + fill + + + + + + + True + Simplify + True + simpl + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 11 + 12 + fill + + + + + + + True + Reduce + True + red + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 11 + 12 + fill + + + + + + + True + Whd + True + whd + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 12 + 13 + fill + + + + + + + True + Assumption + True + assum + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 14 + 15 + fill + + + + + + + True + Auto + True + auto + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 14 + 15 + fill + + + + + + + True + Cut + True + cut + True + GTK_RELIEF_NORMAL + True + + + 0 + 1 + 16 + 17 + fill + + + + + + + True + Replace + True + repl + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 16 + 17 + fill + + + + + + + True + ElimType + True + elimTy + True + GTK_RELIEF_NORMAL + True + + + 1 + 2 + 4 + 5 + fill + + + + + + + True + True + 0 + + + + True + Right + True + R + True + GTK_RELIEF_NORMAL + True + + + 0 + True + True + + + + + + True + Exists + True + ∃ + True + GTK_RELIEF_NORMAL + True + + + 0 + True + True + + + + + 1 + 2 + 6 + 7 + fill + fill + + + + + + True + True + 0 + + + + True + Split + True + ∧ + True + GTK_RELIEF_NORMAL + True + + + 0 + True + True + + + + + + True + Left + True + L + True + GTK_RELIEF_NORMAL + True + + + 0 + True + True + + + + + 0 + 1 + 6 + 7 + fill + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 0 + 1 + 1 + 2 + fill + + + + + + True + 0.5 + 0.5 + 1 + 1 + 0 + 0 + 0 + 0 + + + + + + + 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 + - - False - True - + + + 0 + False + True + + + + + + 400 + True + False + 0 + + + + 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 + Retract 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 + Execute 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 + + + + + + + False + True + + + + + + True + script + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + False + False + False + + + + + False + True + + + + + + True + outline + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + 0 + True + True + + + + + 0 + True + True + + + + + True + False + + + + + + 250 + 500 + True + True + 380 + + + + True + True + True + True + GTK_POS_TOP + False + False + + + True + False + + + + + + True + False + 0 + + + + True + True + GTK_POLICY_NEVER + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_CHAR + False + 0 + 0 + 0 + 0 + 0 + 0 + + + + + + 0 + True + True + + + + + True + True + + + + + True + True + + + + + 0 + True + True + + + + + 0 + True + True + + + + + + True + False + 0 + + + + True + False + + + 0 + True + True + + + + + + True + False + True + GTK_POS_TOP + False + False + + + + True + 0.5 + 0.5 + 0 + 0 + + + False + True + + + + + + True + label14 + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + True + 0.5 + 0.5 + 0 + 0 + + + False + True + + + + + + True + label15 + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + True + 0.5 + 0.5 + 0 + 0 + + + False + True + + + + + + True + label16 + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + 0 + False + True + + + + + 0 + False + False + + + + + + + + + + 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 + + + + 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 + PANGO_ELLIPSIZE_NONE + -1 + False + 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 + + + + + + + + 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 - - - True - outline - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - tab - - + + + 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 - True - True + False + False + + + + + + True + Try _Selected + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False - - True - 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 - - 250 - 500 + True - True - 380 + False + 2 - + True - True - True - True - GTK_POS_TOP - False - False + gtk-ok + 4 + 0.5 + 0.5 + 0 + 0 - True - False + 0 + False + False - + True - False - 0 + bla bla bla + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + + + + + + 0 + False + True + GTK_PACK_END + + - - - True - True - GTK_POLICY_NEVER - GTK_POLICY_ALWAYS - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + + + True + False + 3 + + + + True + some informative message here ... + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + 400 + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT - - - True - True - False - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_CHAR - False - 0 - 0 - 0 - 0 - 0 - 0 - - - - - - 0 - True - True - - - - - True - True - - - - - False - True - - + + + True + True + False + False + False + True + False + False + False - - 0 - True - True - @@ -2249,15 +3063,47 @@ Copyright (C) 2005, - + True False 0 - + True - False + URI: + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + True + True + True + True + 0 + + True + * + False 0 @@ -2265,120 +3111,261 @@ Copyright (C) 2005, 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 + + + + True + 3 + 2 + False + 5 + 0 + + + + True + Find: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Replace with: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 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 - - True - False - True - GTK_POS_TOP - False - False + + - - - True - 0.5 - 0.5 - 0 - 0 - - - False - True - - + + + + + + 0 + True + True + + - - - True - label14 - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - tab - - + + + True + True + gtk-find + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + - - - True - 0.5 - 0.5 - 0 - 0 - - - False - True - - + + + True + True + GTK_RELIEF_NORMAL + True - - - True - label15 - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - tab - - + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 - + True - 0.5 - 0.5 - 0 - 0 - - - False - True - - + False + 2 - - - True - label16 - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + + + 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 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + - - tab - - - 0 - False - True - @@ -2387,124 +3374,263 @@ Copyright (C) 2005, False + + + + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + 0 + 2 + 2 + 3 + 5 + - - DUMMY + + Create development GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - True + GTK_WIN_POS_CENTER_ALWAYS + True + False False True False False - GDK_WINDOW_TYPE_HINT_DIALOG + GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST - True + True - - + + True False 0 - - + + + 3 True - GTK_BUTTONBOX_END + 2 + 3 + False + 5 + 5 - + + True + Name + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Root directory + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + 1 + 1 + 2 + fill + + + + + + True - True True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 + True + True + 0 + + True + * + False + + 1 + 2 + 0 + 1 + + - + True - True True - gtk-ok - True + True + True + 0 + + True + * + False + + + 1 + 2 + 1 + 2 + + + + + + + True + True + ... + True GTK_RELIEF_NORMAL True - -5 + + 2 + 3 + 1 + 2 + fill + + 0 False True - GTK_PACK_END - + True - DUMMY - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - 0 + 2 False - False + True - + + 3 True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + False + 5 - + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + True True - True - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_NONE - True - 0 - 0 - 0 - 0 - 0 - 0 - + gtk-add + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + + 0 + False + False + 0 - True + False True @@ -2512,56 +3638,136 @@ 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 - - + + True False - 4 + 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 + False + False + False + + + + + 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 @@ -2573,15 +3779,15 @@ Copyright (C) 2005, 0 - + True False 2 - + True - gtk-index + gtk-execute 4 0.5 0.5 @@ -2596,9 +3802,9 @@ Copyright (C) 2005, - + True - Try _Selected + _Build True False GTK_JUSTIFY_LEFT @@ -2608,6 +3814,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2620,45 +3830,22 @@ Copyright (C) 2005, + + 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 @@ -2670,15 +3857,15 @@ Copyright (C) 2005, 0 - + True False 2 - + True - gtk-ok + gtk-clear 4 0.5 0.5 @@ -2693,9 +3880,9 @@ Copyright (C) 2005, - + True - bla bla bla + C_lean True False GTK_JUSTIFY_LEFT @@ -2705,6 +3892,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2717,36 +3908,6 @@ Copyright (C) 2005, - - - - 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 @@ -2755,89 +3916,24 @@ Copyright (C) 2005, - - 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 - - + gtk-close + True + GTK_RELIEF_NORMAL + True 0 False - True + False 0 - True + False True