Re: [Pharo-dev] changing default theme to DarkTheme