diff options
| author | yipstanley <stanley_yip@brown.edu> | 2019-07-29 23:48:35 -0400 |
|---|---|---|
| committer | yipstanley <stanley_yip@brown.edu> | 2019-07-29 23:48:35 -0400 |
| commit | ba2c6a9f3cd6d68bcf28ff3dc880b4f8b4635747 (patch) | |
| tree | c0d2b87b86546f6d4132ecec199e697c8b8df691 /src/client/views/pdf/Annotation.tsx | |
| parent | 5d30b565fb2ab2d3c9f67fdd9776e08c8a95902e (diff) | |
styling changes to stacking
Diffstat (limited to 'src/client/views/pdf/Annotation.tsx')
| -rw-r--r-- | src/client/views/pdf/Annotation.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/pdf/Annotation.tsx b/src/client/views/pdf/Annotation.tsx index e8d1da94b..513f9fed6 100644 --- a/src/client/views/pdf/Annotation.tsx +++ b/src/client/views/pdf/Annotation.tsx @@ -119,7 +119,7 @@ class RegionAnnotation extends React.Component<IRegionAnnotationProps> { let context = await Cast(targetDoc.targetContext, Doc); if (context) { DocumentManager.Instance.jumpToDocument(targetDoc, false, undefined, - ((doc) => this.props.parent.props.parent.props.addDocTab(context, context.proto, e.ctrlKey ? "onRight" : "inTab"))); + ((doc) => this.props.parent.props.parent.props.addDocTab(context!, context!.proto, e.ctrlKey ? "onRight" : "inTab"))); } } } |