May 14, 2014
1:25 p.m.
On 14 May 2014, at 15:22, Pavel Krivanek <pavel.krivanek@gmail.com> 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