diff options
author | kimdahey <claire_kim1@brown.edu> | 2019-08-23 13:52:41 -0400 |
---|---|---|
committer | kimdahey <claire_kim1@brown.edu> | 2019-08-23 13:52:41 -0400 |
commit | 72ed0bbdb045695a8dcb7d604a9d834b16f424a9 (patch) | |
tree | f6a062b47f255b9f211c4f2b9218bcf2dca15eb2 /src/client/util/DocumentManager.ts | |
parent | cc6040e717632ae9725c134cd8722813cb1733c2 (diff) | |
parent | 56987012f9690d300b482d8f1b3d83935342322b (diff) |
fixed merge conflicts
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 |