500 450 True Preferences GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER False False True True True True 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-apply True GTK_RELIEF_NORMAL True -10 True True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END 12 True True True True GTK_POS_TOP False False 6 16 32 True False 0 3 True 0 0.5 GTK_SHADOW_ETCHED_IN 6 True 1 2 False 6 6 True Font-family: False False GTK_JUSTIFY_LEFT False False 1 0.5 0 0 0 1 0 1 fill True True True True True True True 1 2 0 1 True Font False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 False False False True True Font False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 tab 6 True False 0 3 True 0 0.5 GTK_SHADOW_NONE True 0.5 0.5 1 1 0 0 12 0 True True Use high colors for bold text True GTK_RELIEF_NORMAL True False False True True Bold False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 False True 3 True 0 0.5 GTK_SHADOW_NONE True 0.5 0.5 1 1 0 0 12 0 6 True 2 3 False 3 3 True Foreground: False False GTK_JUSTIFY_LEFT False False 1 0.5 0 0 0 1 0 1 fill True Background: False False GTK_JUSTIFY_LEFT False False 1 0.5 0 0 0 1 1 2 fill True Foreground True False True 1 2 0 1 fill True Foreground High True False True 2 3 0 1 fill True Background True False True 1 2 1 2 fill True Default False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 False False 3 True 0 0.5 GTK_SHADOW_NONE True 0.5 0.5 1 1 0 0 12 0 6 True 2 8 False 3 3 True Black True False True 0 1 0 1 fill True Red True False True 1 2 0 1 fill True Red High True False True 1 2 1 2 fill True Green True False True 2 3 0 1 fill True Green High True False True 2 3 1 2 fill True Yellow True False True 3 4 0 1 fill True Yellow High True False True 3 4 1 2 fill True Blue True False True 4 5 0 1 fill True Blue High True False True 4 5 1 2 fill True Purple True False True 5 6 0 1 fill True Purple High True False True 5 6 1 2 fill True Cyan True False True 6 7 0 1 fill True Cyan High True False True 6 7 1 2 fill True White True False True 7 8 0 1 fill True White High True False True 7 8 1 2 fill True Black High True False True 0 1 1 2 fill True Foreground False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 False True 3 True 0 0.5 GTK_SHADOW_NONE True 0.5 0.5 1 1 0 0 12 0 6 True 1 8 False 3 3 True Black True False True 0 1 0 1 fill True Red True False True 1 2 0 1 fill True Green True False True 2 3 0 1 fill True Yellow True False True 3 4 0 1 fill True Blue True False True 4 5 0 1 fill True Purple True False True 5 6 0 1 fill True Cyan True False True 6 7 0 1 fill True White True False True 7 8 0 1 fill True Background False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 False True False True True Colors False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 tab 6 True False 0 3 True 0 0.5 GTK_SHADOW_NONE True 0.5 0.5 1 1 0 0 12 0 True False 3 True True Use alternative editor True GTK_RELIEF_NORMAL True False False True 0 False False True True True True 0 True * False 0 False False True True Embed editor into GnoeMoe (implies terminal) True GTK_RELIEF_NORMAL True False False True 0 False False True True Needs terminal True GTK_RELIEF_NORMAL True False False True 0 False False True Program False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 False False 3 True 0 0.5 GTK_SHADOW_NONE True 0.5 0.5 1 1 0 0 12 0 3 True False 6 200 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False True False True 0 False True True False 0 6 True False 6 True False Bold True GTK_RELIEF_NORMAL True False False True gtk-bold 4 0.5 0.5 0 0 0 False False True False Italic True GTK_RELIEF_NORMAL True False False True gtk-italic 4 0.5 0.5 0 0 0 False False True False Underline True GTK_RELIEF_NORMAL True False False True gtk-underline 4 0.5 0.5 0 0 0 False False True False Strikethrough True GTK_RELIEF_NORMAL True False False True gtk-strikethrough 4 0.5 0.5 0 0 0 False False 0 False False 6 True 2 2 False 6 6 True False True Foreground True GTK_RELIEF_NORMAL True False False True 0 1 0 1 fill True False True Background True GTK_RELIEF_NORMAL True False False True 0 1 1 2 fill True False True False True 1 2 0 1 fill True False True False True 1 2 1 2 fill 0 True True 0 True True True Colors False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item 0 True True False True True Editor False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 tab 0 True True