diff options
author | bobzel <zzzman@gmail.com> | 2022-06-05 21:12:49 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-06-05 21:12:49 -0400 |
commit | 716dd83325074aa2016e3993ff13c6f7001dc3df (patch) | |
tree | 2ba67e34a1ff6ce38f9199914ee4a8da769afa1e /src/client/views/ScriptingRepl.tsx | |
parent | b51b78c641c3e64f04cf878f02b5d7b1a620769e (diff) | |
parent | 0371242941dfdd1d689d0097140b203bb0b24dea (diff) |
merged with master and added transcription icon view for recognized ink
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() { |