Access the Server Manager and choose the Preferences tab.
Click the Magnus Editor link.
Select the settings to edit from the drop-down list and click Manage.
The Server Manager displays the editor for the settings you specified.
Make the desired changes to the settings and click OK.
For more information about each Settings page, see the Magnus Editor page in the online help.