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