On 21-09-2015, at 11:09 AM, Chris Muller <asqueaker at gmail.com> wrote:

> On Mon, Sep 21, 2015 at 11:12 AM, marcel.taeumel <Marcel.Taeumel at hpi.de> wrote:
>> Well, there is a configurable textHighlightColor already. Why not making that
>> other one also configurable?
> 
> _Everything_ w.r.t. colors should be configurable.  We need skins / themes.
> 

ColorTheme and 9 subclasses…
Yet another bunch of stuff that isn’t complete and properly used.

tim
--
tim Rowledge; tim at rowledge.org; http://www.rowledge.org/tim
Useful random insult:- One too many lights out in his Christmas tree.