On 15/04/17 14:43, [email protected] wrote:
Make it default so that it will bother people enough to fix the glitches.
That is fine to do for half a year starting with Pharo 7. I'm all in favor of making changes in development that help us improve. It is definitely not a good idea to make sure that no external project looks good at the release of Pharo 6, and make life worse for 80% of developers. Released version needs to be a light theme. In development we can switch for a while Stephan
