[Pharo-dev] [Pharo4] theme change via Settings: call #installFullTheme

[Marcus Denker]

Hi,

When people are enabling the Pharo Dark theme in Pharo4 using settings is is 
not very usable or nice as
the font colors are not changed.

I fixed that in 4.0 061: now setting the theme calls #installFullTheme 
automatically.

(now it would be nice if open windows would be re-created with the new theme… 
but that is not simple
to do).

        Marcus