Settings

The following settings occur in the editor.