diff options
author | bobzel <zzzman@gmail.com> | 2020-08-13 16:28:30 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-08-13 16:28:30 -0400 |
commit | 79ecb86980d67ea2c57be4e38d396a5b19484bfe (patch) | |
tree | d883670d46186a12afaf6551a1e651ec13a2b2dd /src/client/views/ScriptingRepl.tsx | |
parent | 122642c8f53ae37f67c92313490b247f0af154ba (diff) |
changed solr schema so that text and date fields are sortable. fixed one line text not to show scrollbars. fixed scriptingRepl to allow document ids to be entered.
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); |