aboutsummaryrefslogtreecommitdiff
path: root/src/client/util/DocumentManager.ts
diff options
context:
space:
mode:
authormonikahedman <monika_hedman@brown.edu>2019-08-23 11:04:56 -0400
committermonikahedman <monika_hedman@brown.edu>2019-08-23 11:04:56 -0400
commitdd4227a125c0cd679f6437fab85b1cd772a34f78 (patch)
tree20f8b37248c3bbcdf68c3e6207f312d54798621b /src/client/util/DocumentManager.ts
parent1fb290bcc1c46214cfd553f31c1282d2694530ea (diff)
parent20f7d2dca1c115c84f6ac89981ef1e3c7c9a2757 (diff)
pulled from master
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r--src/client/util/DocumentManager.ts4
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