diff options
author | bobzel <zzzman@gmail.com> | 2022-05-20 08:42:48 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-05-20 08:42:48 -0400 |
commit | 99558fd67dcdb028692f1d219331ab86e07898f1 (patch) | |
tree | eb2037d2e93b6e6027de094e96377a957edf6466 /src/client/views/ScriptingRepl.tsx | |
parent | e6b882080471d915a80400e7e9a97ff78a232147 (diff) |
fixed script repl to show doc id for tabdocs. fixed hitting 'enter' in several dialogs to stop propagation to prevent iconifying
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 4ed6da24a..2b045aa6c 100644 --- a/src/client/views/ScriptingRepl.tsx +++ b/src/client/views/ScriptingRepl.tsx @@ -212,7 +212,7 @@ export class ScriptingRepl extends React.Component { } onBlur = () => { - this.overlayDisposer && this.overlayDisposer(); + this.overlayDisposer?.(); } render() { |