diff options
author | monikahedman <monika_hedman@brown.edu> | 2019-08-23 11:04:56 -0400 |
---|---|---|
committer | monikahedman <monika_hedman@brown.edu> | 2019-08-23 11:04:56 -0400 |
commit | dd4227a125c0cd679f6437fab85b1cd772a34f78 (patch) | |
tree | 20f8b37248c3bbcdf68c3e6207f312d54798621b /src/client/util/DocumentManager.ts | |
parent | 1fb290bcc1c46214cfd553f31c1282d2694530ea (diff) | |
parent | 20f7d2dca1c115c84f6ac89981ef1e3c7c9a2757 (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 |