diff options
author | bobzel <zzzman@gmail.com> | 2020-08-13 16:28:44 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-08-13 16:28:44 -0400 |
commit | 79f71332082f569fa4af03c3b53c029e81a8e4a6 (patch) | |
tree | 766ceeb9a9d35e806166cc0113d698a01d9b0bb0 /src/client/views/ScriptingRepl.tsx | |
parent | 0dcb703ae6417d6012c63654b596e0c3177c847e (diff) | |
parent | 79ecb86980d67ea2c57be4e38d396a5b19484bfe (diff) |
Merge branch 'master' into presentation_updates
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 1eb380e0b..db087fb23 100644 --- a/src/client/views/ScriptingRepl.tsx +++ b/src/client/views/ScriptingRepl.tsx @@ -104,7 +104,7 @@ export class ScriptingRepl extends React.Component { if (ts.isParameter(node.parent)) { // delete knownVars[node.text]; } else if (isntPropAccess && isntPropAssign && !(node.text in knownVars) && !(node.text in globalThis)) { - const match = node.text.match(/\d([0-9]+)/); + const match = node.text.match(/d([0-9]+)/); if (match) { const m = parseInt(match[1]); usedDocuments.push(m); |