Widget:CodeEditor

Parameters:

uniqueID

integer: id for editor, must be unique per page

lineNumbers

boolean: true to display line numbers

theme

string: name of theme (which must be loaded via css)

readOnly

boolean: true if editing should be disabled

initialCode

string: initial code to place in editor