In the HTML Editor area, you can select which HTML editor you want to work with. You can choose between the following options:
Internal
3rd party HTML editor
Use associated application