diff options
author | bob <bcz@cs.brown.edu> | 2019-07-11 12:58:14 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-07-11 12:58:14 -0400 |
commit | 7ea773dc3114f5c56944bef32c4a86cbb22a8acf (patch) | |
tree | 107e0e47e65731d9e199eeea43a2bda52715403d /src/client/views/pdf/Annotation.tsx | |
parent | a9ecaef0c7d870136401dfbb687afdb9dd2843f4 (diff) |
fixed for pdfs.
Diffstat (limited to 'src/client/views/pdf/Annotation.tsx')
-rw-r--r-- | src/client/views/pdf/Annotation.tsx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/views/pdf/Annotation.tsx b/src/client/views/pdf/Annotation.tsx index 0a1661a1a..104241237 100644 --- a/src/client/views/pdf/Annotation.tsx +++ b/src/client/views/pdf/Annotation.tsx @@ -87,11 +87,11 @@ class RegionAnnotation extends React.Component<IRegionAnnotationProps> { } deleteAnnotation = () => { - let annotation = DocListCast(this.props.parent.props.parent.Document.annotations); + let annotation = DocListCast(this.props.parent.props.parent.fieldExtensionDoc.annotations); let group = FieldValue(Cast(this.props.document.group, Doc)); if (group && annotation.indexOf(group) !== -1) { let newAnnotations = annotation.filter(a => a !== FieldValue(Cast(this.props.document.group, Doc))); - this.props.parent.props.parent.Document.annotations = new List<Doc>(newAnnotations); + this.props.parent.props.parent.fieldExtensionDoc.annotations = new List<Doc>(newAnnotations); } if (group) { |