Re: New tab colours - suggestion

I wrote:
> On Wed, May 18, 2016 at 08:18:52PM +0100, Nick Warne wrote:
> > AS to your question, what I don't understand is why there is a section
> > for tab colours, and then later in the default theme section (which is
> > active) more options for tab colour options?
> > 
> > Perhaps move the 'stand-alone' tab colour options after the themes, so
> > if the all the themes are #'ed out, these will take precedence?
> > 
> > Or why have them at all?
> 
> That's a good point. It looks like they evolved suboptimally.
> First I was introducing color settings, and then Jorge made some
> themes, and a theme became default. I'll clean it up.

Hmm. I came up with something that makes it less inviting to set the
individual preferences right there, but perhaps not as uninviting as
I would prefer:

# UI colors
# Note that FLTK may sometimes override colors, generally for contrast and
# readability.
#
# ui_fg_color, ui_main_bg_color, ui_text_bg_color, and ui_selection_color
# map to concepts in the underlying FLTK toolkit which are described as:
# "the default foreground color...used for labels and text", "default
# background color", "the default background color for text, list, and
# valuator widgets", and "the default selection/highlight color". They
# sometimes have other uses in the more complex FLTK widgets.
#
# ui_button_highlight_color is the background used when the mouse cursor is
# over a button. By default, this is a lightened version of the main
# background color.
#
# ui_tab_active_fg_color and ui_tab_active_bg_color are used for the current
# tab. By default, they are the main foreground color and the text background
# color, respectively.
#
# ui_tab_fg_color and ui_tab_bg_color are used for the other tabs. By default,
# they are the main foreground color and the main background color,
# respectively.
#
# Note to packagers: leaving these variables for the system to guess
# gives different results in different environments, so we played it safe
# by defining the traditional colors.  Please choose the color theme that
# better fits your distro.

#
# Gray theme (traditional)
#
...