diff options
| author | bob <bcz@cs.brown.edu> | 2020-01-06 11:20:33 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2020-01-06 11:20:33 -0500 |
| commit | e506be871621da9bfaea79f121e0a5d7644760f1 (patch) | |
| tree | f925b411796da14026c2f57182218fda86a0dea8 /src/client/util/DocumentManager.ts | |
| parent | df12bd5432f24796de25f9aa85e278eae944edf7 (diff) | |
compile fixes and playing with Cors
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 a318dede8..76c5ee1f5 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -136,7 +136,7 @@ export class DocumentManager { const docView = DocumentManager.Instance.getFirstDocumentView(targetDoc); let annotatedDoc = await Cast(docView?.props.Document.annotationOn, Doc); if (annotatedDoc) { - let first = DocumentManager.Instance.getFirstDocumentView(annotatedDoc); + const first = DocumentManager.Instance.getFirstDocumentView(annotatedDoc); if (first) annotatedDoc = first.props.Document; } if (docView) { // we have a docView already and aren't forced to create a new one ... just focus on the document. TODO move into view if necessary otherwise just highlight? |