On 14 May 2014, at 15:22, Pavel Krivanek <[email protected]> wrote:
> Maybe it is not such bad idea to have it as default theme for Pharo 4, at > least at the start. It's the best way to force people to report bugs in > theming ;-) I am sure the dark theme has enough fans and thus users to help out
