Editor for the html tab of a spec. Inherits from Editor. Source: widgets/editorarea/HtmlEditor.js, line 3 Requires module:explorer/widgets/editorarea/Editor