diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-06-30 01:08:45 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-06-30 01:08:45 -0400 |
| commit | 6a75dac53b9fab5b96f2cce4937b59f1e29928f9 (patch) | |
| tree | d3da9eca5549bd4d40590fbc6e9f143996c14463 /src/client/util/SearchUtil.ts | |
| parent | 6219da84de5c5a1d1efccdfc2d54da95612b1d35 (diff) | |
added a docFilter for a substring match. fixed formattedTextBox to not keep adding user_mark storedMarks on every load
Diffstat (limited to 'src/client/util/SearchUtil.ts')
| -rw-r--r-- | src/client/util/SearchUtil.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/SearchUtil.ts b/src/client/util/SearchUtil.ts index 5679c0a14..1ac68480e 100644 --- a/src/client/util/SearchUtil.ts +++ b/src/client/util/SearchUtil.ts @@ -74,7 +74,7 @@ export namespace SearchUtil { const docs = ids.map((id: string) => docMap[id]).map(doc => doc as Doc); for (let i = 0; i < ids.length; i++) { const testDoc = docs[i]; - if (testDoc instanceof Doc && testDoc.type !== DocumentType.KVP && (options.allowAliases || theDocs.findIndex(d => Doc.AreProtosEqual(d, testDoc)) === -1)) { + if (testDoc instanceof Doc && testDoc.type !== DocumentType.KVP && (options.allowAliases || testDoc.proto === undefined || theDocs.findIndex(d => Doc.AreProtosEqual(d, testDoc)) === -1)) { theDocs.push(testDoc); theLines.push([]); } |