Editor Settings

You can make the following settings for the ESDL editor: