diff options
| author | bob <bcz@cs.brown.edu> | 2019-08-29 13:49:45 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-08-29 13:49:45 -0400 |
| commit | e2317289507fd6d20096dc1d2abd5ab1d815e895 (patch) | |
| tree | 1a4a98af879b3dc66b5844deec2d9c8917c2fe97 /src/client/util/DocumentManager.ts | |
| parent | 0b43aead85c0de5877c0ecea7703acb6f2539249 (diff) | |
| parent | 22a5999626b11cf75cafbcd421601e668438f6ad (diff) | |
Merge branch 'master' into monika_linking
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 |