diff options
| author | kimdahey <claire_kim1@brown.edu> | 2019-08-28 12:28:10 -0400 |
|---|---|---|
| committer | kimdahey <claire_kim1@brown.edu> | 2019-08-28 12:28:10 -0400 |
| commit | 9e3569038b0f51443f0cf1b86dab74ce97065fca (patch) | |
| tree | 33bd9b8207c9a098d5f068772abd0a4bba3b4276 /src | |
| parent | f62fe3aacba8201193b022c4e903cc140cc889f0 (diff) | |
working on self-healing
Diffstat (limited to 'src')
| -rw-r--r-- | src/client/views/nodes/LinkMenuItem.tsx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/views/nodes/LinkMenuItem.tsx b/src/client/views/nodes/LinkMenuItem.tsx index 1856e8a85..fa2d178b9 100644 --- a/src/client/views/nodes/LinkMenuItem.tsx +++ b/src/client/views/nodes/LinkMenuItem.tsx @@ -44,6 +44,7 @@ export class LinkMenuItem extends React.Component<LinkMenuItemProps> { let targetContext = await Cast(proto.targetContext, Doc); let sourceContext = await Cast(proto.sourceContext, Doc); let guid = StrCast(this.props.linkDoc.guid); + let href = StrCast(this.props.linkDoc.href); let self = this; let dockingFunc = (document: Doc) => { this.props.addDocTab(document, undefined, "inTab"); SelectionManager.DeselectAll(); }; @@ -56,6 +57,7 @@ export class LinkMenuItem extends React.Component<LinkMenuItemProps> { } else if (this.props.destinationDoc === self.props.linkDoc.anchor1 && sourceContext) { DocumentManager.Instance.jumpToDocument(jumpToDoc, e.altKey, false, document => dockingFunc(sourceContext!)); + jumpToDoc.href = href; jumpToDoc.guid = guid; } else if (DocumentManager.Instance.getDocumentView(jumpToDoc)) { |