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