diff options
author | bobzel <zzzman@gmail.com> | 2024-10-10 18:58:39 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2024-10-10 18:58:39 -0400 |
commit | 5752dff8ff7b1b2858542feec0b1bb037461bf1a (patch) | |
tree | 04080d4a596b0e5199b5ec95ab625fbb590f2a75 /src/client/views/ScriptingRepl.tsx | |
parent | 36735ff00a55ae587af5f69eef495533a1f35393 (diff) | |
parent | d347fc59feefd91a796012892da57511787bb6d0 (diff) |
Merge branch 'master' into nathan-starter
Diffstat (limited to 'src/client/views/ScriptingRepl.tsx')
-rw-r--r-- | src/client/views/ScriptingRepl.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/ScriptingRepl.tsx b/src/client/views/ScriptingRepl.tsx index e413c13e2..8ab91a6b5 100644 --- a/src/client/views/ScriptingRepl.tsx +++ b/src/client/views/ScriptingRepl.tsx @@ -181,7 +181,7 @@ export class ScriptingRepl extends ObservableReactComponent<object> { this.maybeScrollToBottom(); return; } - const result = undoable(() => script.run({}, err => this.commands.push({ command: this.commandString, result: err })), 'run:' + this.commandString)(); + const result = undoable(() => script.run({}, err => this.commands.push({ command: this.commandString, result: err as string })), 'run:' + this.commandString)(); if (result.success) { this.commands.push({ command: this.commandString, result: result.result }); this.commandsHistory.push(this.commandString); |