| Index: chrome/browser/resources/pdf/gesture_detector.js
|
| diff --git a/chrome/browser/resources/pdf/gesture_detector.js b/chrome/browser/resources/pdf/gesture_detector.js
|
| index d73a85b7a3b17dae00d94b5ef19d172ab0251963..811bfe28b5b6b9ab73483857be1b1f0e733024d6 100644
|
| --- a/chrome/browser/resources/pdf/gesture_detector.js
|
| +++ b/chrome/browser/resources/pdf/gesture_detector.js
|
| @@ -20,20 +20,20 @@ class GestureDetector {
|
| this.element_.addEventListener(
|
| 'touchstart',
|
| /** @type {function(!Event)} */ (this.onTouchStart_.bind(this)),
|
| - { passive: true });
|
| + {passive: true});
|
|
|
| this.element_.addEventListener(
|
| 'touchmove',
|
| /** @type {function(!Event)} */ (this.onTouch_.bind(this)),
|
| - { passive: false });
|
| + {passive: false});
|
| this.element_.addEventListener(
|
| 'touchend',
|
| /** @type {function(!Event)} */ (this.onTouch_.bind(this)),
|
| - { passive: true });
|
| + {passive: true});
|
| this.element_.addEventListener(
|
| 'touchcancel',
|
| /** @type {function(!Event)} */ (this.onTouch_.bind(this)),
|
| - { passive: true });
|
| + {passive: true});
|
|
|
| this.pinchStartEvent_ = null;
|
| this.lastTouchTouchesCount_ = 0;
|
| @@ -42,11 +42,8 @@ class GestureDetector {
|
| this.lastEvent_ = null;
|
|
|
| /** @private {!Map<string, !Array<!Function>>} */
|
| - this.listeners_ = new Map([
|
| - ['pinchstart', []],
|
| - ['pinchupdate', []],
|
| - ['pinchend', []]
|
| - ]);
|
| + this.listeners_ =
|
| + new Map([['pinchstart', []], ['pinchupdate', []], ['pinchend', []]]);
|
| }
|
|
|
| /**
|
| @@ -92,10 +89,7 @@ class GestureDetector {
|
|
|
| this.pinchStartEvent_ = event;
|
| this.lastEvent_ = event;
|
| - this.notify_({
|
| - type: 'pinchstart',
|
| - center: GestureDetector.center_(event)
|
| - });
|
| + this.notify_({type: 'pinchstart', center: GestureDetector.center_(event)});
|
| }
|
|
|
| /**
|
| @@ -112,8 +106,8 @@ class GestureDetector {
|
| // Check if the pinch ends with the current event.
|
| if (event.touches.length < 2 ||
|
| lastEvent.touches.length !== event.touches.length) {
|
| - let startScaleRatio = GestureDetector.pinchScaleRatio_(
|
| - lastEvent, this.pinchStartEvent_);
|
| + let startScaleRatio =
|
| + GestureDetector.pinchScaleRatio_(lastEvent, this.pinchStartEvent_);
|
| let center = GestureDetector.center_(lastEvent);
|
| let endEvent = {
|
| type: 'pinchend',
|
| @@ -131,8 +125,8 @@ class GestureDetector {
|
| event.preventDefault();
|
|
|
| let scaleRatio = GestureDetector.pinchScaleRatio_(event, lastEvent);
|
| - let startScaleRatio = GestureDetector.pinchScaleRatio_(
|
| - event, this.pinchStartEvent_);
|
| + let startScaleRatio =
|
| + GestureDetector.pinchScaleRatio_(event, this.pinchStartEvent_);
|
| let center = GestureDetector.center_(event);
|
| this.notify_({
|
| type: 'pinchupdate',
|
|
|