diff options
author | bobzel <zzzman@gmail.com> | 2022-12-01 10:13:03 -0500 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-12-01 10:13:03 -0500 |
commit | 66184a172006de4d4bf72d9da33858e04d298181 (patch) | |
tree | 9c9fc08d92102410383f7780b4e249616301f8a8 /src/client/views/MainView.tsx | |
parent | 9d88adb19c2caf715b56c5ed40a500b9ef1491aa (diff) |
refactored process of following links / jumping to docs and added following options for zoomTime, etc instead of setting temporary fields on docs.
Diffstat (limited to 'src/client/views/MainView.tsx')
-rw-r--r-- | src/client/views/MainView.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/MainView.tsx b/src/client/views/MainView.tsx index 165bb69bb..965cd560f 100644 --- a/src/client/views/MainView.tsx +++ b/src/client/views/MainView.tsx @@ -206,7 +206,7 @@ export class MainView extends React.Component { document.addEventListener('dash', (e: any) => { // event used by chrome plugin to tell Dash which document to focus on const id = FormattedTextBox.GetDocFromUrl(e.detail); - DocServer.GetRefField(id).then(doc => (doc instanceof Doc ? DocumentManager.Instance.jumpToDocument(doc, false, undefined, []) : null)); + DocServer.GetRefField(id).then(doc => (doc instanceof Doc ? DocumentManager.Instance.jumpToDocument(doc, { willZoom: false }, undefined, []) : null)); }); document.addEventListener('linkAnnotationToDash', Hypothesis.linkListener); this.initEventListeners(); |