Widget:CodeExplorer

Parameters:

userName

string: The current user's username

sessionID

string: The ID of the current user's session

experienceID

string: The experienceID of the page from which the widget is invoked

codeExplorerGroupID

string: The code explorer group. If empty, the submit button will be disabled.

exerciseID

integer: exercise id for editor, must be unique per page

width

integer|string: percentage (as string, e.g. "100%" or integer size in pixels), null for no change (full width)

height

integer|string: percentage (as string, e.g. "100%" or integer size in pixels), null for no change (~10 lines)

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

mode

string: language for highlighting (which must be loaded via js)

initialCode

string: initial code to place in editor

Example:

{{#widget:CodeExplorer
|userName=john-williams
|sessionID=qh0ubrrme911kcg7db0i0ec6lct94h7f
|experienceID=W1020.23
|codeExplorerGroupID=WTRS-8527
|exerciseID=10
|width=null
|height=null
|lineNumbers=true
|theme=vibrant-ink
|readOnly=false
|mode=swift
|initialCode=func sayHello() {
    print("Hello, World!")
}
}}