diff options
author | eeng5 <eleanor_eng@brown.edu> | 2019-08-23 14:43:53 -0400 |
---|---|---|
committer | eeng5 <eleanor_eng@brown.edu> | 2019-08-23 14:43:53 -0400 |
commit | 77487a00589f216b6dbdd764f646c599f9b17ae9 (patch) | |
tree | ead6ea0caa70f5cbf3bedb459f82f30ef51e6f2c /src/client/util/DocumentManager.ts | |
parent | 601c8d2b0b8197e324f9cbadf525fe03fac5b345 (diff) | |
parent | b421b50ccc5fd481b40a42945088bb51156fe499 (diff) |
pulled from 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 |