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) # ...