The Preferences Editor is a special window for editing raw Preferences settings in json format.
The Prefences Editor gives access to more settings than available via the Preferences Window.
Use the editor to modify the values. When you close the window, you will be asked to save the settings.
- How are the new settings applied?