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 _______________________________________________ Discuss-gnustep mailing list Discuss-gnustep@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnustep
