diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-12 08:26:41 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-08-12 08:26:41 -0400 |
| commit | 08d367f51eb73cf947f07f74c1889605170424f8 (patch) | |
| tree | d77f7b958c8a15f884b2edf122a6ea1851b07108 /src/client/util/SelectionManager.ts | |
| parent | 1e0a4e1df6127a94c5a0c3cb717699b722603985 (diff) | |
| parent | 8fd9d9348de59caccfac9e98102fea431ac46999 (diff) | |
Merge branch 'master' into schema_search
Diffstat (limited to 'src/client/util/SelectionManager.ts')
| -rw-r--r-- | src/client/util/SelectionManager.ts | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 05ba00331..113278593 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -84,11 +84,4 @@ export namespace SelectionManager { export function SelectedDocuments(): Array<DocumentView> { return Array.from(manager.SelectedDocuments.keys()); } -} - - -Scripting.addGlobal(function selectDoc(doc: any) { - const view = DocumentManager.Instance.getDocumentView(doc); - view && SelectionManager.SelectDoc(view, false); - //Doc.UserDoc().activeSelection = new List([doc]); -});
\ No newline at end of file +}
\ No newline at end of file |