diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-06-28 11:55:49 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-06-28 11:55:49 -0400 |
| commit | 2b9e542ea0e62b13e1f9e0b51f3cfb8e2ce8f78d (patch) | |
| tree | 5eda7fd16f907ecc0bcf57da77fc286d776f558c /src/fields | |
| parent | 83ce7f1ad7c2e1b691dbdc67408cee7c65d669b8 (diff) | |
slightly improved layout of workspace facet filter box
Diffstat (limited to 'src/fields')
| -rw-r--r-- | src/fields/Doc.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/fields/Doc.ts b/src/fields/Doc.ts index 231ee88e3..dd7117594 100644 --- a/src/fields/Doc.ts +++ b/src/fields/Doc.ts @@ -1159,7 +1159,6 @@ Scripting.addGlobal(function activePresentationItem() { const curPres = Doc.UserDoc().activePresentation as Doc; return curPres && DocListCast(curPres[Doc.LayoutFieldKey(curPres)])[NumCast(curPres._itemIndex)]; }); -Scripting.addGlobal(function selectDoc(doc: any) { Doc.UserDoc().activeSelection = new List([doc]); }); Scripting.addGlobal(function selectedDocs(container: Doc, excludeCollections: boolean, prevValue: any) { const docs = DocListCast(Doc.UserDoc().activeSelection). filter(d => !Doc.AreProtosEqual(d, container) && !d.annotationOn && d.type !== DocumentType.DOCHOLDER && d.type !== DocumentType.KVP && |