diff options
author | Sam Wilkins <samwilkins333@gmail.com> | 2019-08-23 11:18:24 -0400 |
---|---|---|
committer | Sam Wilkins <samwilkins333@gmail.com> | 2019-08-23 11:18:24 -0400 |
commit | 56987012f9690d300b482d8f1b3d83935342322b (patch) | |
tree | 1135dde54c91cb92e0092762aa927ee4102277f6 /src/client/util/DocumentManager.ts | |
parent | d1fbfc3ab46cfd9fea69b356cb5b8825625ab299 (diff) | |
parent | 20f7d2dca1c115c84f6ac89981ef1e3c7c9a2757 (diff) |
merged with master
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r-- | src/client/util/DocumentManager.ts | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 7f526b247..124faf266 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -9,6 +9,7 @@ import { CollectionView } from '../views/collections/CollectionView'; import { DocumentView } from '../views/nodes/DocumentView'; import { LinkManager } from './LinkManager'; import { undoBatch, UndoManager } from './UndoManager'; +import { Scripting } from './Scripting'; export class DocumentManager { @@ -202,4 +203,5 @@ export class DocumentManager { return 1; } } -}
\ No newline at end of file +} +Scripting.addGlobal(function focus(doc: any) { DocumentManager.Instance.getDocumentViews(Doc.GetProto(doc)).map(view => view.props.focus(doc, true)) })
\ No newline at end of file |