blockly/core/scrollbar.ts

/**
 * @license
 * Copyright 2011 Google LLC
 * SPDX-License-Identifier: Apache-2.0
 */

/**
 * @fileoverview Object representing a scrollbar.
 */

/**
 * Object representing a scrollbar.
 * @class
 */
import * as goog from '../closure/goog/goog.js';
goog.declareModuleId('Blockly.Scrollbar');

import * as browserEvents from './browser_events.js';
import * as Touch from './touch.js';
import {Coordinate} from './utils/coordinate.js';
import * as dom from './utils/dom.js';
import type {Metrics} from './utils/metrics.js';
import {Svg} from './utils/svg.js';
import * as svgMath from './utils/svg_math.js';
import type {WorkspaceSvg} from './workspace_svg.js';


/**
 * A note on units: most of the numbers that are in CSS pixels are scaled if the
 * scrollbar is in a mutator.
 */

/**
 * Class for a pure SVG scrollbar.
 * This technique offers a scrollbar that is guaranteed to work, but may not
 * look or behave like the system's scrollbars.
 * @alias Blockly.Scrollbar
 */
export class Scrollbar {
  /**
   * Width of vertical scrollbar or height of horizontal scrollbar in CSS
   * pixels. Scrollbars should be larger on touch devices.
   */
  static scrollbarThickness = Touch.TOUCH_ENABLED ? 25 : 15;

  /**
   * Default margin around the scrollbar (between the scrollbar and the edge of
   * the viewport in pixels).
   * @internal
   */
  static readonly DEFAULT_SCROLLBAR_MARGIN = 0.5;
  private readonly pair_: boolean;
  private readonly margin_: number;

  /** Previously recorded metrics from the workspace. */
  private oldHostMetrics_: Metrics|null = null;

  /**
   * The ratio of handle position offset to workspace content displacement.
   * @internal
   */
  ratio = 1;
  private origin_: Coordinate;

  /**
   * The position of the mouse along this scrollbar's major axis at the start
   * of the most recent drag. Units are CSS pixels, with (0, 0) at the top
   * left of the browser window. For a horizontal scrollbar this is the x
   * coordinate of the mouse down event; for a vertical scrollbar it's the y
   * coordinate of the mouse down event.
   */
  private startDragMouse_ = 0;

  /**
   * The length of the scrollbars (including the handle and the background),
   * in CSS pixels. This is equivalent to scrollbar background length and the
   * area within which the scrollbar handle can move.
   */
  private scrollbarLength_ = 0;

  /** The length of the scrollbar handle in CSS pixels. */
  private handleLength_ = 0;

  /**
   * The offset of the start of the handle from the scrollbar position, in CSS
   * pixels.
   */
  private handlePosition_ = 0;

  private startDragHandle = 0;

  /** Whether the scrollbar handle is visible. */
  private isVisible_ = true;

  /** Whether the workspace containing this scrollbar is visible. */
  private containerVisible_ = true;
  private svgBackground_: SVGRectElement|null = null;

  private svgHandle_: SVGRectElement|null = null;

  private outerSvg_: SVGSVGElement|null = null;

  private svgGroup_: SVGGElement|null = null;
  position: Coordinate;

  lengthAttribute_ = 'width';
  positionAttribute_ = 'x';
  onMouseDownBarWrapper_: AnyDuringMigration;
  onMouseDownHandleWrapper_: AnyDuringMigration;

  /**
   * @param workspace Workspace to bind the scrollbar to.
   * @param horizontal True if horizontal, false if vertical.
   * @param opt_pair True if scrollbar is part of a horiz/vert pair.
   * @param opt_class A class to be applied to this scrollbar.
   * @param opt_margin The margin to apply to this scrollbar.
   */
  constructor(
      private workspace: WorkspaceSvg, private readonly horizontal: boolean,
      opt_pair?: boolean, opt_class?: string, opt_margin?: number) {
    /** Whether this scrollbar is part of a pair. */
    this.pair_ = opt_pair || false;
    /**
     * Margin around the scrollbar (between the scrollbar and the edge of the
     * viewport in pixels).
     */
    this.margin_ = opt_margin !== undefined ?
        opt_margin :
        Scrollbar.DEFAULT_SCROLLBAR_MARGIN;

    /**
     * The location of the origin of the workspace that the scrollbar is in,
     * measured in CSS pixels relative to the injection div origin.  This is
     * usually (0, 0).  When the scrollbar is in a flyout it may have a
     * different origin.
     */
    this.origin_ = new Coordinate(0, 0);

    this.createDom_(opt_class);

    /**
     * The upper left corner of the scrollbar's SVG group in CSS pixels relative
     * to the scrollbar's origin.  This is usually relative to the injection div
     * origin.
     * @internal
     */
    this.position = new Coordinate(0, 0);

    // Store the thickness in a temp variable for readability.
    const scrollbarThickness = Scrollbar.scrollbarThickness;
    if (horizontal) {
      this.svgBackground_!.setAttribute(
          'height', scrollbarThickness.toString());
      this.outerSvg_!.setAttribute('height', scrollbarThickness.toString());
      this.svgHandle_!.setAttribute(
          'height', (scrollbarThickness - 5).toString());
      this.svgHandle_!.setAttribute('y', (2.5).toString());
    } else {
      this.svgBackground_!.setAttribute('width', scrollbarThickness.toString());
      this.outerSvg_!.setAttribute('width', scrollbarThickness.toString());
      this.svgHandle_!.setAttribute(
          'width', (scrollbarThickness - 5).toString());
      // AnyDuringMigration because:  Argument of type 'number' is not
      // assignable to parameter of type 'string'.
      this.svgHandle_!.setAttribute('x', (2.5).toString());

      this.lengthAttribute_ = 'height';
      this.positionAttribute_ = 'y';
    }
    const scrollbar = this;
    // AnyDuringMigration because:  Argument of type 'SVGRectElement | null' is
    // not assignable to parameter of type 'EventTarget'.
    this.onMouseDownBarWrapper_ = browserEvents.conditionalBind(
        this.svgBackground_ as AnyDuringMigration, 'mousedown', scrollbar,
        scrollbar.onMouseDownBar_);
    // AnyDuringMigration because:  Argument of type 'SVGRectElement | null' is
    // not assignable to parameter of type 'EventTarget'.
    this.onMouseDownHandleWrapper_ = browserEvents.conditionalBind(
        this.svgHandle_ as AnyDuringMigration, 'mousedown', scrollbar,
        scrollbar.onMouseDownHandle_);
  }

  /**
   * Dispose of this scrollbar.
   * Unlink from all DOM elements to prevent memory leaks.
   * @suppress {checkTypes}
   */
  dispose() {
    this.cleanUp_();
    browserEvents.unbind(this.onMouseDownBarWrapper_);
    this.onMouseDownBarWrapper_ = null;
    browserEvents.unbind(this.onMouseDownHandleWrapper_);
    this.onMouseDownHandleWrapper_ = null;

    dom.removeNode(this.outerSvg_);
    this.outerSvg_ = null;
    this.svgGroup_ = null;
    this.svgBackground_ = null;
    if (this.svgHandle_) {
      this.workspace.getThemeManager().unsubscribe(this.svgHandle_);
      this.svgHandle_ = null;
    }
    // AnyDuringMigration because:  Type 'null' is not assignable to type
    // 'WorkspaceSvg'.
    this.workspace = null as AnyDuringMigration;
  }

  /**
   * Constrain the handle's length within the minimum (0) and maximum
   * (scrollbar background) values allowed for the scrollbar.
   * @param value Value that is potentially out of bounds, in CSS pixels.
   * @return Constrained value, in CSS pixels.
   */
  private constrainHandleLength_(value: number): number {
    if (value <= 0 || isNaN(value)) {
      value = 0;
    } else {
      value = Math.min(value, this.scrollbarLength_);
    }
    return value;
  }

  /**
   * Set the length of the scrollbar's handle and change the SVG attribute
   * accordingly.
   * @param newLength The new scrollbar handle length in CSS pixels.
   */
  private setHandleLength_(newLength: number) {
    this.handleLength_ = newLength;
    // AnyDuringMigration because:  Argument of type 'number' is not assignable
    // to parameter of type 'string'.
    this.svgHandle_!.setAttribute(
        this.lengthAttribute_, this.handleLength_ as AnyDuringMigration);
  }

  /**
   * Constrain the handle's position within the minimum (0) and maximum values
   * allowed for the scrollbar.
   * @param value Value that is potentially out of bounds, in CSS pixels.
   * @return Constrained value, in CSS pixels.
   */
  private constrainHandlePosition_(value: number): number {
    if (value <= 0 || isNaN(value)) {
      value = 0;
    } else {
      // Handle length should never be greater than this.scrollbarLength_.
      // If the viewSize is greater than or equal to the scrollSize, the
      // handleLength will end up equal to this.scrollbarLength_.
      value = Math.min(value, this.scrollbarLength_ - this.handleLength_);
    }
    return value;
  }

  /**
   * Set the offset of the scrollbar's handle from the scrollbar's position, and
   * change the SVG attribute accordingly.
   * @param newPosition The new scrollbar handle offset in CSS pixels.
   */
  setHandlePosition(newPosition: number) {
    this.handlePosition_ = newPosition;
    // AnyDuringMigration because:  Argument of type 'number' is not assignable
    // to parameter of type 'string'.
    this.svgHandle_!.setAttribute(
        this.positionAttribute_, this.handlePosition_ as AnyDuringMigration);
  }

  /**
   * Set the size of the scrollbar's background and change the SVG attribute
   * accordingly.
   * @param newSize The new scrollbar background length in CSS pixels.
   */
  private setScrollbarLength_(newSize: number) {
    this.scrollbarLength_ = newSize;
    // AnyDuringMigration because:  Argument of type 'number' is not assignable
    // to parameter of type 'string'.
    this.outerSvg_!.setAttribute(
        this.lengthAttribute_, this.scrollbarLength_ as AnyDuringMigration);
    // AnyDuringMigration because:  Argument of type 'number' is not assignable
    // to parameter of type 'string'.
    this.svgBackground_!.setAttribute(
        this.lengthAttribute_, this.scrollbarLength_ as AnyDuringMigration);
  }

  /**
   * Set the position of the scrollbar's SVG group in CSS pixels relative to the
   * scrollbar's origin.  This sets the scrollbar's location within the
   * workspace.
   * @param x The new x coordinate.
   * @param y The new y coordinate.
   * @internal
   */
  setPosition(x: number, y: number) {
    this.position.x = x;
    this.position.y = y;

    const tempX = this.position.x + this.origin_.x;
    const tempY = this.position.y + this.origin_.y;
    const transform = 'translate(' + tempX + 'px,' + tempY + 'px)';
    dom.setCssTransform(this.outerSvg_ as Element, transform);
  }

  /**
   * Recalculate the scrollbar's location and its length.
   * @param opt_metrics A data structure of from the describing all the required
   *     dimensions.  If not provided, it will be fetched from the host object.
   */
  resize(opt_metrics?: Metrics) {
    // Determine the location, height and width of the host element.
    let hostMetrics = opt_metrics;
    if (!hostMetrics) {
      hostMetrics = this.workspace.getMetrics();
      if (!hostMetrics) {
        // Host element is likely not visible.
        return;
      }
    }

    if (this.oldHostMetrics_ &&
        Scrollbar.metricsAreEquivalent_(hostMetrics, this.oldHostMetrics_)) {
      return;
    }

    if (this.horizontal) {
      this.resizeHorizontal_(hostMetrics);
    } else {
      this.resizeVertical_(hostMetrics);
    }

    this.oldHostMetrics_ = hostMetrics;

    // Resizing may have caused some scrolling.
    this.updateMetrics_();
  }

  /**
   * Returns whether the a resizeView is necessary by comparing the passed
   * hostMetrics with cached old host metrics.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   * @return Whether a resizeView is necessary.
   */
  private requiresViewResize_(hostMetrics: Metrics): boolean {
    if (!this.oldHostMetrics_) {
      return true;
    }
    return this.oldHostMetrics_.viewWidth !== hostMetrics.viewWidth ||
        this.oldHostMetrics_.viewHeight !== hostMetrics.viewHeight ||
        this.oldHostMetrics_.absoluteLeft !== hostMetrics.absoluteLeft ||
        this.oldHostMetrics_.absoluteTop !== hostMetrics.absoluteTop;
  }

  /**
   * Recalculate a horizontal scrollbar's location and length.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   */
  private resizeHorizontal_(hostMetrics: Metrics) {
    if (this.requiresViewResize_(hostMetrics)) {
      this.resizeViewHorizontal(hostMetrics);
    } else {
      this.resizeContentHorizontal(hostMetrics);
    }
  }

  /**
   * Recalculate a horizontal scrollbar's location on the screen and path
   * length. This should be called when the layout or size of the window has
   * changed.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   */
  resizeViewHorizontal(hostMetrics: Metrics) {
    let viewSize = hostMetrics.viewWidth - this.margin_ * 2;
    if (this.pair_) {
      // Shorten the scrollbar to make room for the corner square.
      viewSize -= Scrollbar.scrollbarThickness;
    }
    this.setScrollbarLength_(Math.max(0, viewSize));

    let xCoordinate = hostMetrics.absoluteLeft + this.margin_;
    if (this.pair_ && this.workspace.RTL) {
      xCoordinate += Scrollbar.scrollbarThickness;
    }

    // Horizontal toolbar should always be just above the bottom of the
    // workspace.
    const yCoordinate = hostMetrics.absoluteTop + hostMetrics.viewHeight -
        Scrollbar.scrollbarThickness - this.margin_;
    this.setPosition(xCoordinate, yCoordinate);

    // If the view has been resized, a content resize will also be necessary.
    // The reverse is not true.
    this.resizeContentHorizontal(hostMetrics);
  }

  /**
   * Recalculate a horizontal scrollbar's location within its path and length.
   * This should be called when the contents of the workspace have changed.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   */
  resizeContentHorizontal(hostMetrics: Metrics) {
    if (hostMetrics.viewWidth >= hostMetrics.scrollWidth) {
      // viewWidth is often greater than scrollWidth in flyouts and
      // non-scrollable workspaces.
      this.setHandleLength_(this.scrollbarLength_);
      this.setHandlePosition(0);
      if (!this.pair_) {
        // The scrollbar isn't needed.
        // This doesn't apply to scrollbar pairs because interactions with the
        // corner square aren't handled.
        this.setVisible(false);
      }
      return;
    } else if (!this.pair_) {
      // The scrollbar is needed. Only non-paired scrollbars are hidden/shown.
      this.setVisible(true);
    }

    // Resize the handle.
    let handleLength =
        this.scrollbarLength_ * hostMetrics.viewWidth / hostMetrics.scrollWidth;
    handleLength = this.constrainHandleLength_(handleLength);
    this.setHandleLength_(handleLength);

    // Compute the handle offset.
    // The position of the handle can be between:
    //     0 and this.scrollbarLength_ - handleLength
    // If viewLeft === scrollLeft
    //     then the offset should be 0
    // If viewRight === scrollRight
    //     then viewLeft = scrollLeft + scrollWidth - viewWidth
    //     then the offset should be max offset

    const maxScrollDistance = hostMetrics.scrollWidth - hostMetrics.viewWidth;
    const contentDisplacement = hostMetrics.viewLeft - hostMetrics.scrollLeft;
    // Percent of content to the left of our current position.
    const offsetRatio = contentDisplacement / maxScrollDistance;
    // Area available to scroll * percent to the left
    const maxHandleOffset = this.scrollbarLength_ - this.handleLength_;
    let handleOffset = maxHandleOffset * offsetRatio;
    handleOffset = this.constrainHandlePosition_(handleOffset);
    this.setHandlePosition(handleOffset);

    // Compute ratio (for use with set calls, which pass in content
    // displacement).
    this.ratio = maxHandleOffset / maxScrollDistance;
  }

  /**
   * Recalculate a vertical scrollbar's location and length.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   */
  private resizeVertical_(hostMetrics: Metrics) {
    if (this.requiresViewResize_(hostMetrics)) {
      this.resizeViewVertical(hostMetrics);
    } else {
      this.resizeContentVertical(hostMetrics);
    }
  }

  /**
   * Recalculate a vertical scrollbar's location on the screen and path length.
   * This should be called when the layout or size of the window has changed.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   */
  resizeViewVertical(hostMetrics: Metrics) {
    let viewSize = hostMetrics.viewHeight - this.margin_ * 2;
    if (this.pair_) {
      // Shorten the scrollbar to make room for the corner square.
      viewSize -= Scrollbar.scrollbarThickness;
    }
    this.setScrollbarLength_(Math.max(0, viewSize));

    const xCoordinate = this.workspace.RTL ?
        hostMetrics.absoluteLeft + this.margin_ :
        hostMetrics.absoluteLeft + hostMetrics.viewWidth -
            Scrollbar.scrollbarThickness - this.margin_;

    const yCoordinate = hostMetrics.absoluteTop + this.margin_;
    this.setPosition(xCoordinate, yCoordinate);

    // If the view has been resized, a content resize will also be necessary.
    // The reverse is not true.
    this.resizeContentVertical(hostMetrics);
  }

  /**
   * Recalculate a vertical scrollbar's location within its path and length.
   * This should be called when the contents of the workspace have changed.
   * @param hostMetrics A data structure describing all the required dimensions,
   *     possibly fetched from the host object.
   */
  resizeContentVertical(hostMetrics: Metrics) {
    if (hostMetrics.viewHeight >= hostMetrics.scrollHeight) {
      // viewHeight is often greater than scrollHeight in flyouts and
      // non-scrollable workspaces.
      this.setHandleLength_(this.scrollbarLength_);
      this.setHandlePosition(0);
      if (!this.pair_) {
        // The scrollbar isn't needed.
        // This doesn't apply to scrollbar pairs because interactions with the
        // corner square aren't handled.
        this.setVisible(false);
      }
      return;
    } else if (!this.pair_) {
      // The scrollbar is needed. Only non-paired scrollbars are hidden/shown.
      this.setVisible(true);
    }

    // Resize the handle.
    let handleLength = this.scrollbarLength_ * hostMetrics.viewHeight /
        hostMetrics.scrollHeight;
    handleLength = this.constrainHandleLength_(handleLength);
    this.setHandleLength_(handleLength);

    // Compute the handle offset.
    // The position of the handle can be between:
    //     0 and this.scrollbarLength_ - handleLength
    // If viewTop === scrollTop
    //     then the offset should be 0
    // If viewBottom === scrollBottom
    //     then viewTop = scrollTop + scrollHeight - viewHeight
    //     then the offset should be max offset

    const maxScrollDistance = hostMetrics.scrollHeight - hostMetrics.viewHeight;
    const contentDisplacement = hostMetrics.viewTop - hostMetrics.scrollTop;
    // Percent of content to the left of our current position.
    const offsetRatio = contentDisplacement / maxScrollDistance;
    // Area available to scroll * percent to the left
    const maxHandleOffset = this.scrollbarLength_ - this.handleLength_;
    let handleOffset = maxHandleOffset * offsetRatio;
    handleOffset = this.constrainHandlePosition_(handleOffset);
    this.setHandlePosition(handleOffset);

    // Compute ratio (for use with set calls, which pass in content
    // displacement).
    this.ratio = maxHandleOffset / maxScrollDistance;
  }

  /**
   * Create all the DOM elements required for a scrollbar.
   * The resulting widget is not sized.
   * @param opt_class A class to be applied to this scrollbar.
   */
  private createDom_(opt_class?: string) {
    /* Create the following DOM:
        <svg class="blocklyScrollbarHorizontal  optionalClass">
          <g>
            <rect class="blocklyScrollbarBackground" />
            <rect class="blocklyScrollbarHandle" rx="8" ry="8" />
          </g>
        </svg>
        */
    let className =
        'blocklyScrollbar' + (this.horizontal ? 'Horizontal' : 'Vertical');
    if (opt_class) {
      className += ' ' + opt_class;
    }
    this.outerSvg_ = dom.createSvgElement(Svg.SVG, {'class': className});
    // AnyDuringMigration because:  Argument of type 'SVGSVGElement | null' is
    // not assignable to parameter of type 'Element | undefined'.
    this.svgGroup_ =
        dom.createSvgElement(Svg.G, {}, this.outerSvg_ as AnyDuringMigration);
    // AnyDuringMigration because:  Argument of type 'SVGGElement | null' is not
    // assignable to parameter of type 'Element | undefined'.
    this.svgBackground_ = dom.createSvgElement(
        Svg.RECT, {'class': 'blocklyScrollbarBackground'},
        this.svgGroup_ as AnyDuringMigration);
    const radius = Math.floor((Scrollbar.scrollbarThickness - 5) / 2);
    // AnyDuringMigration because:  Argument of type 'SVGGElement | null' is not
    // assignable to parameter of type 'Element | undefined'.
    this.svgHandle_ = dom.createSvgElement(
        Svg.RECT,
        {'class': 'blocklyScrollbarHandle', 'rx': radius, 'ry': radius},
        this.svgGroup_ as AnyDuringMigration);
    // AnyDuringMigration because:  Argument of type 'SVGRectElement | null' is
    // not assignable to parameter of type 'Element'.
    this.workspace.getThemeManager().subscribe(
        this.svgHandle_ as AnyDuringMigration, 'scrollbarColour', 'fill');
    // AnyDuringMigration because:  Argument of type 'SVGRectElement | null' is
    // not assignable to parameter of type 'Element'.
    this.workspace.getThemeManager().subscribe(
        this.svgHandle_ as AnyDuringMigration, 'scrollbarOpacity',
        'fill-opacity');
    // AnyDuringMigration because:  Argument of type 'SVGSVGElement | null' is
    // not assignable to parameter of type 'Element'.
    dom.insertAfter(
        this.outerSvg_ as AnyDuringMigration, this.workspace.getParentSvg());
  }

  /**
   * Is the scrollbar visible.  Non-paired scrollbars disappear when they aren't
   * needed.
   * @return True if visible.
   */
  isVisible(): boolean {
    return this.isVisible_;
  }

  /**
   * Set whether the scrollbar's container is visible and update
   * display accordingly if visibility has changed.
   * @param visible Whether the container is visible
   */
  setContainerVisible(visible: boolean) {
    const visibilityChanged = visible !== this.containerVisible_;

    this.containerVisible_ = visible;
    if (visibilityChanged) {
      this.updateDisplay_();
    }
  }

  /**
   * Set whether the scrollbar is visible.
   * Only applies to non-paired scrollbars.
   * @param visible True if visible.
   */
  setVisible(visible: boolean) {
    const visibilityChanged = visible !== this.isVisible();

    // Ideally this would also apply to scrollbar pairs, but that's a bigger
    // headache (due to interactions with the corner square).
    if (this.pair_) {
      throw Error('Unable to toggle visibility of paired scrollbars.');
    }
    this.isVisible_ = visible;
    if (visibilityChanged) {
      this.updateDisplay_();
    }
  }

  /**
   * Update visibility of scrollbar based on whether it thinks it should
   * be visible and whether its containing workspace is visible.
   * We cannot rely on the containing workspace being hidden to hide us
   * because it is not necessarily our parent in the DOM.
   */
  updateDisplay_() {
    let show = true;
    // Check whether our parent/container is visible.
    if (!this.containerVisible_) {
      show = false;
    } else {
      show = this.isVisible();
    }
    if (show) {
      this.outerSvg_!.setAttribute('display', 'block');
    } else {
      this.outerSvg_!.setAttribute('display', 'none');
    }
  }

  /**
   * Scroll by one pageful.
   * Called when scrollbar background is clicked.
   * @param e Mouse down event.
   */
  private onMouseDownBar_(e: Event) {
    this.workspace.markFocused();
    Touch.clearTouchIdentifier();  // This is really a click.
    this.cleanUp_();
    if (browserEvents.isRightButton(e)) {
      // Right-click.
      // Scrollbars have no context menu.
      e.stopPropagation();
      return;
    }
    const mouseXY = browserEvents.mouseToSvg(
        e, this.workspace.getParentSvg(), this.workspace.getInverseScreenCTM());
    const mouseLocation = this.horizontal ? mouseXY.x : mouseXY.y;

    const handleXY = svgMath.getInjectionDivXY(this.svgHandle_ as Element);
    const handleStart = this.horizontal ? handleXY.x : handleXY.y;
    let handlePosition = this.handlePosition_;

    const pageLength = this.handleLength_ * 0.95;
    if (mouseLocation <= handleStart) {
      // Decrease the scrollbar's value by a page.
      handlePosition -= pageLength;
    } else if (mouseLocation >= handleStart + this.handleLength_) {
      // Increase the scrollbar's value by a page.
      handlePosition += pageLength;
    }

    this.setHandlePosition(this.constrainHandlePosition_(handlePosition));

    this.updateMetrics_();
    e.stopPropagation();
    e.preventDefault();
  }

  /**
   * Start a dragging operation.
   * Called when scrollbar handle is clicked.
   * @param e Mouse down event.
   */
  private onMouseDownHandle_(e: Event) {
    this.workspace.markFocused();
    this.cleanUp_();
    if (browserEvents.isRightButton(e)) {
      // Right-click.
      // Scrollbars have no context menu.
      e.stopPropagation();
      return;
    }
    // Look up the current translation and record it.
    this.startDragHandle = this.handlePosition_;

    // Tell the workspace to setup its drag surface since it is about to move.
    // onMouseMoveHandle will call onScroll which actually tells the workspace
    // to move.
    this.workspace.setupDragSurface();

    // Record the current mouse position.
    // AnyDuringMigration because:  Property 'clientY' does not exist on type
    // 'Event'. AnyDuringMigration because:  Property 'clientX' does not exist
    // on type 'Event'.
    this.startDragMouse_ = this.horizontal ? (e as AnyDuringMigration).clientX :
                                             (e as AnyDuringMigration).clientY;
    // AnyDuringMigration because:  Property 'onMouseUpWrapper_' does not exist
    // on type 'typeof Scrollbar'.
    (Scrollbar as AnyDuringMigration).onMouseUpWrapper_ =
        browserEvents.conditionalBind(
            document, 'mouseup', this, this.onMouseUpHandle_);
    // AnyDuringMigration because:  Property 'onMouseMoveWrapper_' does not
    // exist on type 'typeof Scrollbar'.
    (Scrollbar as AnyDuringMigration).onMouseMoveWrapper_ =
        browserEvents.conditionalBind(
            document, 'mousemove', this, this.onMouseMoveHandle_);
    e.stopPropagation();
    e.preventDefault();
  }

  /**
   * Drag the scrollbar's handle.
   * @param e Mouse up event.
   */
  private onMouseMoveHandle_(e: Event) {
    // AnyDuringMigration because:  Property 'clientY' does not exist on type
    // 'Event'. AnyDuringMigration because:  Property 'clientX' does not exist
    // on type 'Event'.
    const currentMouse = this.horizontal ? (e as AnyDuringMigration).clientX :
                                           (e as AnyDuringMigration).clientY;
    const mouseDelta = currentMouse - this.startDragMouse_;
    const handlePosition = this.startDragHandle + mouseDelta;
    // Position the bar.
    this.setHandlePosition(this.constrainHandlePosition_(handlePosition));
    this.updateMetrics_();
  }

  /** Release the scrollbar handle and reset state accordingly. */
  private onMouseUpHandle_() {
    // Tell the workspace to clean up now that the workspace is done moving.
    this.workspace.resetDragSurface();
    Touch.clearTouchIdentifier();
    this.cleanUp_();
  }

  /**
   * Hide chaff and stop binding to mouseup and mousemove events.  Call this to
   * wrap up loose ends associated with the scrollbar.
   */
  private cleanUp_() {
    this.workspace.hideChaff(true);
    // AnyDuringMigration because:  Property 'onMouseUpWrapper_' does not exist
    // on type 'typeof Scrollbar'.
    if ((Scrollbar as AnyDuringMigration).onMouseUpWrapper_) {
      // AnyDuringMigration because:  Property 'onMouseUpWrapper_' does not
      // exist on type 'typeof Scrollbar'.
      browserEvents.unbind((Scrollbar as AnyDuringMigration).onMouseUpWrapper_);
      // AnyDuringMigration because:  Property 'onMouseUpWrapper_' does not
      // exist on type 'typeof Scrollbar'.
      (Scrollbar as AnyDuringMigration).onMouseUpWrapper_ = null;
    }
    // AnyDuringMigration because:  Property 'onMouseMoveWrapper_' does not
    // exist on type 'typeof Scrollbar'.
    if ((Scrollbar as AnyDuringMigration).onMouseMoveWrapper_) {
      // AnyDuringMigration because:  Property 'onMouseMoveWrapper_' does not
      // exist on type 'typeof Scrollbar'.
      browserEvents.unbind(
          (Scrollbar as AnyDuringMigration).onMouseMoveWrapper_);
      // AnyDuringMigration because:  Property 'onMouseMoveWrapper_' does not
      // exist on type 'typeof Scrollbar'.
      (Scrollbar as AnyDuringMigration).onMouseMoveWrapper_ = null;
    }
  }

  /**
   * Helper to calculate the ratio of handle position to scrollbar view size.
   * @return Ratio.
   * @internal
   */
  getRatio_(): number {
    const scrollHandleRange = this.scrollbarLength_ - this.handleLength_;
    let ratio = this.handlePosition_ / scrollHandleRange;
    if (isNaN(ratio)) {
      ratio = 0;
    }
    return ratio;
  }

  /**
   * Updates workspace metrics based on new scroll ratio. Called when scrollbar
   * is moved.
   */
  private updateMetrics_() {
    const ratio = this.getRatio_();
    const xyRatio = {};
    if (this.horizontal) {
      // AnyDuringMigration because:  Property 'x' does not exist on type '{}'.
      (xyRatio as AnyDuringMigration).x = ratio;
    } else {
      // AnyDuringMigration because:  Property 'y' does not exist on type '{}'.
      (xyRatio as AnyDuringMigration).y = ratio;
    }
    // AnyDuringMigration because:  Argument of type '{}' is not assignable to
    // parameter of type '{ x: number; y: number; }'.
    this.workspace.setMetrics(xyRatio as AnyDuringMigration);
  }

  /**
   * Set the scrollbar handle's position.
   * @param value The content displacement, relative to the view in pixels.
   * @param updateMetrics Whether to update metrics on this set call.
   *    Defaults to true.
   */
  set(value: number, updateMetrics?: boolean) {
    this.setHandlePosition(this.constrainHandlePosition_(value * this.ratio));
    if (updateMetrics || updateMetrics === undefined) {
      this.updateMetrics_();
    }
  }

  /**
   * Record the origin of the workspace that the scrollbar is in, in pixels
   * relative to the injection div origin. This is for times when the scrollbar
   * is used in an object whose origin isn't the same as the main workspace
   * (e.g. in a flyout.)
   * @param x The x coordinate of the scrollbar's origin, in CSS pixels.
   * @param y The y coordinate of the scrollbar's origin, in CSS pixels.
   */
  setOrigin(x: number, y: number) {
    this.origin_ = new Coordinate(x, y);
  }

  /**
   * @param first An object containing computed measurements of a workspace.
   * @param second Another object containing computed measurements of a
   *     workspace.
   * @return Whether the two sets of metrics are equivalent.
   */
  private static metricsAreEquivalent_(first: Metrics, second: Metrics):
      boolean {
    return first.viewWidth === second.viewWidth &&
        first.viewHeight === second.viewHeight &&
        first.viewLeft === second.viewLeft &&
        first.viewTop === second.viewTop &&
        first.absoluteTop === second.absoluteTop &&
        first.absoluteLeft === second.absoluteLeft &&
        first.scrollWidth === second.scrollWidth &&
        first.scrollHeight === second.scrollHeight &&
        first.scrollLeft === second.scrollLeft &&
        first.scrollTop === second.scrollTop;
  }
}