aboutsummaryrefslogtreecommitdiff
path: root/src/client/views/pdf/PDFMenu.tsx
diff options
context:
space:
mode:
authoryipstanley <stanley_yip@brown.edu>2019-06-17 13:42:21 -0400
committeryipstanley <stanley_yip@brown.edu>2019-06-17 13:42:21 -0400
commit122607408882617235af255af84ce78828b7982f (patch)
treed91a7f742a2ac23ba7de3d19e3051608c9ac66a3 /src/client/views/pdf/PDFMenu.tsx
parent90c14f3ad8d9e48698c516bc6549143912e19236 (diff)
page sizes loaded
Diffstat (limited to 'src/client/views/pdf/PDFMenu.tsx')
-rw-r--r--src/client/views/pdf/PDFMenu.tsx6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/client/views/pdf/PDFMenu.tsx b/src/client/views/pdf/PDFMenu.tsx
index b0735f63b..b44370e3d 100644
--- a/src/client/views/pdf/PDFMenu.tsx
+++ b/src/client/views/pdf/PDFMenu.tsx
@@ -18,7 +18,7 @@ export default class PDFMenu extends React.Component {
@observable private _pinned: boolean = false;
StartDrag: (e: PointerEvent) => void = emptyFunction;
- Highlight: (d: Doc | undefined) => void = emptyFunction;
+ Highlight: (d: Doc | undefined, color: string | undefined) => void = emptyFunction;
@observable Highlighting: boolean = false;
private _timeout: NodeJS.Timeout | undefined;
@@ -129,11 +129,11 @@ export default class PDFMenu extends React.Component {
@action
highlightClicked = (e: React.MouseEvent) => {
if (!this._pinned) {
- this.Highlight(undefined);
+ this.Highlight(undefined, "#f4f442");
}
else {
this.Highlighting = !this.Highlighting;
- this.Highlight(undefined);
+ this.Highlight(undefined, "#f4f442");
}
}