Difference between revisions of "Widget:CodeExplorer"

Revision as of 21:26, 8 March 2023

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
language: string: language for compiling and 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
|language=swift
|initialCode=func sayHello() {
    print("Hello, World!")
}
}}

@@ Line 117: / Line 117: @@
                  let username = "<!--{$userName}-->".toLowerCase();
                  let sessionID =  "<!--{$sessionID}-->"
-                 let url = (subdomain() == "stg") ?
+                 let url = languageServerURL();
-                    "https://language-server-stg.codermerlin.com/" :
-                    "https://language-server.codermerlin.com/";
                  url += "codeExplorerGroups/" + "<!--{$codeExplorerGroupID|strip}-->/";
                  url += "experiences/" + "<!--{$experienceID}-->/" + "exercises/" + "<!--{$exerciseID}-->" + "/broadcast";