diff options
| author | Naafiyan Ahmed <naafiyan@gmail.com> | 2022-06-09 12:46:25 -0400 |
|---|---|---|
| committer | Naafiyan Ahmed <naafiyan@gmail.com> | 2022-06-09 12:46:25 -0400 |
| commit | 7d38e4a98a0382cdd032d63d375707f19362873d (patch) | |
| tree | 415273805b218e07a4ad9e4c547e26469c4b0e13 /src/client/views/ScriptingRepl.tsx | |
| parent | 9de05a8fc6d1cda01662f9bce3a5f6764d280be3 (diff) | |
| parent | 331cb0bec8089c4435126542ed3181fe227eff51 (diff) | |
cleaned up code in InkTranscription
Diffstat (limited to 'src/client/views/ScriptingRepl.tsx')
| -rw-r--r-- | src/client/views/ScriptingRepl.tsx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/views/ScriptingRepl.tsx b/src/client/views/ScriptingRepl.tsx index 2b045aa6c..4fecfa4d9 100644 --- a/src/client/views/ScriptingRepl.tsx +++ b/src/client/views/ScriptingRepl.tsx @@ -123,8 +123,9 @@ export class ScriptingRepl extends React.Component { let stopProp = true; switch (e.key) { case "Enter": { + e.stopPropagation(); const docGlobals: { [name: string]: any } = {}; - DocumentManager.Instance.DocumentViews.forEach((dv, i) => docGlobals[`d${i}`] = dv.props.Document); + Array.from(DocumentManager.Instance.DocumentViews).forEach((dv, i) => docGlobals[`d${i}`] = dv.props.Document); const globals = ScriptingGlobals.makeMutableGlobalsCopy(docGlobals); const script = CompileScript(this.commandString, { typecheck: false, addReturn: true, editable: true, params: { args: "any" }, transformer: this.getTransformer(), globals }); if (!script.compiled) { |