diff options
| author | Andy Rickert <andrew_rickert@brown.edu> | 2020-08-10 21:04:34 -0400 |
|---|---|---|
| committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-08-10 21:04:34 -0400 |
| commit | a1147c3c3e6ef3d16f850ef61f1c88099e3ab686 (patch) | |
| tree | fa86e54f4673bb1fbe5de55b6b29c8a5a6dd30be /src/client/util/DocumentManager.ts | |
| parent | cf45a2398dce7af290bed364fa1bb8681134ce15 (diff) | |
| parent | 8001f8aa447729d667f8e903f9d3dc7766ef3320 (diff) | |
reverting back to earlier algorithm
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 61892daa3..962294933 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -152,7 +152,7 @@ export class DocumentManager { const first = getFirstDocView(annotatedDoc); if (first) { annotatedDoc = first.props.Document; - docView?.props.focus(annotatedDoc, false); + first.props.focus(annotatedDoc, false); } } 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? |