◐ Shell
clean mode source ↗

Reload legacy Preferences after saving by Stefterv · Pull Request #1356 · processing/processing4

Fixes this bug reported on the discord:

welcome_bug.mov

Calls Preferences.init() after saving preferences to ensure legacy Preferences are reloaded and kept in sync with the latest changes. Otherwise the new preferences state from compose would be overridden from the legacy system