RE: Scrollbars.

[Vaisburd, Haim]

Marc Brünink wrote:

> Chris Vetter wrote:
> > or maybe better (IMHO) use it's own User Default,

> If we want good support of themes, this should get its own
> default. But this is a fundamental decision. Do you want lots of 
> defaults or do you want to be spare. The first case clutters up the code 
> and the documentation, but allows everyone to configure everything.
> The second one is easier to use, but isn't as powerful.
> [...] I advocate for A.

I understand it as
  (A) 1-step: configure everything right away
  (B) 2-step: select from pre-defined themes, themes are created elsewhere.

Then I advocate for B - it's easier to understand, easier to use, and gives
the same power since user can create his own theme.

--Tima