diff options
| author | bob <bcz@cs.brown.edu> | 2019-09-03 16:47:52 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-09-03 16:47:52 -0400 |
| commit | 25e8cc61f67bed3063dc81997d31f29e451b5610 (patch) | |
| tree | 3381aa45ceddd72068385d260473403f30fb693f /src/client/util/DocumentManager.ts | |
| parent | 7e87aa4b7e0125482c87ab61f4a0de14e774558d (diff) | |
| parent | a4d36f835b5c43351d1761034b61513b000445ba (diff) | |
merged with master
Diffstat (limited to 'src/client/util/DocumentManager.ts')
| -rw-r--r-- | src/client/util/DocumentManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 124faf266..ec731da84 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -204,4 +204,4 @@ export class DocumentManager { } } } -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 +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 |