diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-08-27 23:24:18 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-08-27 23:24:18 -0400 |
| commit | 1fbf7d7e10bb4dfa7e3a323ee0641d7bbf97b6a8 (patch) | |
| tree | 4cc02dae2ec1669fc61d2c183e21c57fed2aea39 /src/client/util/DocumentManager.ts | |
| parent | 41c79ceb4b52965f374db750d06a04a94ecc8212 (diff) | |
fixed several lint errors, and minor issues with bullets
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 |