diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2020-07-01 15:42:22 -0400 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2020-07-01 15:42:22 -0400 |
commit | eff0c84e6f42bd6be1c58f1009d8d766bcf0a819 (patch) | |
tree | d5d39b77b0a5026183a934f88acbb9204c27f611 /src/client/util/CurrentUserUtils.ts | |
parent | 54e38339b5292c3eddca0ef9665ec0c2b4d30ba2 (diff) |
fixed warnings
Diffstat (limited to 'src/client/util/CurrentUserUtils.ts')
-rw-r--r-- | src/client/util/CurrentUserUtils.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/CurrentUserUtils.ts b/src/client/util/CurrentUserUtils.ts index ef216001c..40bc24917 100644 --- a/src/client/util/CurrentUserUtils.ts +++ b/src/client/util/CurrentUserUtils.ts @@ -368,7 +368,7 @@ export class CurrentUserUtils { doc.emptyComparison = Docs.Create.ComparisonDocument({ title: "compare", _width: 300, _height: 300 }); } if (doc.emptyScript === undefined) { - doc.emptyScript = Docs.Create.ScriptingDocument(undefined, { _width: 200, _height: 250, title: "script" }) + doc.emptyScript = Docs.Create.ScriptingDocument(undefined, { _width: 200, _height: 250, title: "script" }); } if (doc.emptyDocHolder === undefined) { doc.emptyDocHolder = Docs.Create.DocumentDocument( |