[Pharo-dev] Pharo-Launcher - settings change are missed