custom-electron-titlebar 3.2.6 → 3.2.10

package/lib/vs/base/browser/ui/scrollbar/abstractScrollbar.js

@@ -1,278 +0,0 @@
-"use strict";
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.AbstractScrollbar = void 0;
-
-const dom = require("../../dom");
-
-const fastDomNode_1 = require("../../fastDomNode");
-
-const globalMouseMoveMonitor_1 = require("../../globalMouseMoveMonitor");
-
-const scrollbarArrow_1 = require("./scrollbarArrow");
-
-const scrollbarVisibilityController_1 = require("./scrollbarVisibilityController");
-
-const widget_1 = require("../widget");
-
-const platform = require("../../../common/platform");
-/**
- * The orthogonal distance to the slider at which dragging "resets". This implements "snapping"
- */
-
-
-const MOUSE_DRAG_RESET_DISTANCE = 140;
-
-class AbstractScrollbar extends widget_1.Widget {
-  constructor(opts) {
-    super();
-    this._lazyRender = opts.lazyRender;
-    this._host = opts.host;
-    this._scrollable = opts.scrollable;
-    this._scrollbarState = opts.scrollbarState;
-    this._visibilityController = this._register(new scrollbarVisibilityController_1.ScrollbarVisibilityController(opts.visibility, 'visible scrollbar ' + opts.extraScrollbarClassName, 'invisible scrollbar ' + opts.extraScrollbarClassName));
-
-    this._visibilityController.setIsNeeded(this._scrollbarState.isNeeded());
-
-    this._mouseMoveMonitor = this._register(new globalMouseMoveMonitor_1.GlobalMouseMoveMonitor());
-    this._shouldRender = true;
-    this.domNode = fastDomNode_1.createFastDomNode(document.createElement('div'));
-    this.domNode.setAttribute('role', 'presentation');
-    this.domNode.setAttribute('aria-hidden', 'true');
-
-    this._visibilityController.setDomNode(this.domNode);
-
-    this.domNode.setPosition('absolute');
-    this.onmousedown(this.domNode.domNode, e => this._domNodeMouseDown(e));
-  } // ----------------- creation
-
-  /**
-   * Creates the dom node for an arrow & adds it to the container
-   */
-
-
-  _createArrow(opts) {
-    let arrow = this._register(new scrollbarArrow_1.ScrollbarArrow(opts));
-
-    this.domNode.domNode.appendChild(arrow.bgDomNode);
-    this.domNode.domNode.appendChild(arrow.domNode);
-  }
-  /**
-   * Creates the slider dom node, adds it to the container & hooks up the events
-   */
-
-
-  _createSlider(top, left, width, height) {
-    this.slider = fastDomNode_1.createFastDomNode(document.createElement('div'));
-    this.slider.setClassName('slider');
-    this.slider.setPosition('absolute');
-    this.slider.setTop(top);
-    this.slider.setLeft(left);
-
-    if (typeof width === 'number') {
-      this.slider.setWidth(width);
-    }
-
-    if (typeof height === 'number') {
-      this.slider.setHeight(height);
-    }
-
-    this.slider.setLayerHinting(true);
-    this.slider.setContain('strict');
-    this.domNode.domNode.appendChild(this.slider.domNode);
-    this.onmousedown(this.slider.domNode, e => {
-      if (e.leftButton) {
-        e.preventDefault();
-
-        this._sliderMouseDown(e, () => {});
-      }
-    });
-    this.onclick(this.slider.domNode, e => {
-      if (e.leftButton) {
-        e.stopPropagation();
-      }
-    });
-  } // ----------------- Update state
-
-
-  _onElementSize(visibleSize) {
-    if (this._scrollbarState.setVisibleSize(visibleSize)) {
-      this._visibilityController.setIsNeeded(this._scrollbarState.isNeeded());
-
-      this._shouldRender = true;
-
-      if (!this._lazyRender) {
-        this.render();
-      }
-    }
-
-    return this._shouldRender;
-  }
-
-  _onElementScrollSize(elementScrollSize) {
-    if (this._scrollbarState.setScrollSize(elementScrollSize)) {
-      this._visibilityController.setIsNeeded(this._scrollbarState.isNeeded());
-
-      this._shouldRender = true;
-
-      if (!this._lazyRender) {
-        this.render();
-      }
-    }
-
-    return this._shouldRender;
-  }
-
-  _onElementScrollPosition(elementScrollPosition) {
-    if (this._scrollbarState.setScrollPosition(elementScrollPosition)) {
-      this._visibilityController.setIsNeeded(this._scrollbarState.isNeeded());
-
-      this._shouldRender = true;
-
-      if (!this._lazyRender) {
-        this.render();
-      }
-    }
-
-    return this._shouldRender;
-  } // ----------------- rendering
-
-
-  beginReveal() {
-    this._visibilityController.setShouldBeVisible(true);
-  }
-
-  beginHide() {
-    this._visibilityController.setShouldBeVisible(false);
-  }
-
-  render() {
-    if (!this._shouldRender) {
-      return;
-    }
-
-    this._shouldRender = false;
-
-    this._renderDomNode(this._scrollbarState.getRectangleLargeSize(), this._scrollbarState.getRectangleSmallSize());
-
-    this._updateSlider(this._scrollbarState.getSliderSize(), this._scrollbarState.getArrowSize() + this._scrollbarState.getSliderPosition());
-  } // ----------------- DOM events
-
-
-  _domNodeMouseDown(e) {
-    if (e.target !== this.domNode.domNode) {
-      return;
-    }
-
-    this._onMouseDown(e);
-  }
-
-  delegateMouseDown(e) {
-    let domTop = this.domNode.domNode.getClientRects()[0].top;
-
-    let sliderStart = domTop + this._scrollbarState.getSliderPosition();
-
-    let sliderStop = domTop + this._scrollbarState.getSliderPosition() + this._scrollbarState.getSliderSize();
-
-    let mousePos = this._sliderMousePosition(e);
-
-    if (sliderStart <= mousePos && mousePos <= sliderStop) {
-      // Act as if it was a mouse down on the slider
-      if (e.leftButton) {
-        e.preventDefault();
-
-        this._sliderMouseDown(e, () => {});
-      }
-    } else {
-      // Act as if it was a mouse down on the scrollbar
-      this._onMouseDown(e);
-    }
-  }
-
-  _onMouseDown(e) {
-    let offsetX;
-    let offsetY;
-
-    if (e.target === this.domNode.domNode && typeof e.browserEvent.offsetX === 'number' && typeof e.browserEvent.offsetY === 'number') {
-      offsetX = e.browserEvent.offsetX;
-      offsetY = e.browserEvent.offsetY;
-    } else {
-      const domNodePosition = dom.getDomNodePagePosition(this.domNode.domNode);
-      offsetX = e.posx - domNodePosition.left;
-      offsetY = e.posy - domNodePosition.top;
-    }
-
-    this._setDesiredScrollPositionNow(this._scrollbarState.getDesiredScrollPositionFromOffset(this._mouseDownRelativePosition(offsetX, offsetY)));
-
-    if (e.leftButton) {
-      e.preventDefault();
-
-      this._sliderMouseDown(e, () => {});
-    }
-  }
-
-  _sliderMouseDown(e, onDragFinished) {
-    const initialMousePosition = this._sliderMousePosition(e);
-
-    const initialMouseOrthogonalPosition = this._sliderOrthogonalMousePosition(e);
-
-    const initialScrollbarState = this._scrollbarState.clone();
-
-    this.slider.toggleClassName('active', true);
-
-    this._mouseMoveMonitor.startMonitoring(e.target, e.buttons, globalMouseMoveMonitor_1.standardMouseMoveMerger, mouseMoveData => {
-      const mouseOrthogonalPosition = this._sliderOrthogonalMousePosition(mouseMoveData);
-
-      const mouseOrthogonalDelta = Math.abs(mouseOrthogonalPosition - initialMouseOrthogonalPosition);
-
-      if (platform.isWindows && mouseOrthogonalDelta > MOUSE_DRAG_RESET_DISTANCE) {
-        // The mouse has wondered away from the scrollbar => reset dragging
-        this._setDesiredScrollPositionNow(initialScrollbarState.getScrollPosition());
-
-        return;
-      }
-
-      const mousePosition = this._sliderMousePosition(mouseMoveData);
-
-      const mouseDelta = mousePosition - initialMousePosition;
-
-      this._setDesiredScrollPositionNow(initialScrollbarState.getDesiredScrollPositionFromDelta(mouseDelta));
-    }, () => {
-      this.slider.toggleClassName('active', false);
-
-      this._host.onDragEnd();
-
-      onDragFinished();
-    });
-
-    this._host.onDragStart();
-  }
-
-  _setDesiredScrollPositionNow(_desiredScrollPosition) {
-    let desiredScrollPosition = {};
-    this.writeScrollPosition(desiredScrollPosition, _desiredScrollPosition);
-
-    this._scrollable.setScrollPositionNow(desiredScrollPosition);
-  }
-
-  updateScrollbarSize(scrollbarSize) {
-    this._updateScrollbarSize(scrollbarSize);
-
-    this._scrollbarState.setScrollbarSize(scrollbarSize);
-
-    this._shouldRender = true;
-
-    if (!this._lazyRender) {
-      this.render();
-    }
-  }
-
-}
-
-exports.AbstractScrollbar = AbstractScrollbar;

package/lib/vs/base/browser/ui/scrollbar/horizontalScrollbar.js

@@ -1,115 +0,0 @@
-"use strict";
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.HorizontalScrollbar = void 0;
-
-const mouseEvent_1 = require("../../mouseEvent");
-
-const abstractScrollbar_1 = require("./abstractScrollbar");
-
-const scrollbarArrow_1 = require("./scrollbarArrow");
-
-const scrollbarState_1 = require("./scrollbarState");
-
-const codicons_1 = require("../../../common/codicons");
-
-const scrollbarButtonLeftIcon = codicons_1.registerIcon('scrollbar-button-left', codicons_1.Codicon.triangleLeft);
-const scrollbarButtonRightIcon = codicons_1.registerIcon('scrollbar-button-right', codicons_1.Codicon.triangleRight);
-
-class HorizontalScrollbar extends abstractScrollbar_1.AbstractScrollbar {
-  constructor(scrollable, options, host) {
-    const scrollDimensions = scrollable.getScrollDimensions();
-    const scrollPosition = scrollable.getCurrentScrollPosition();
-    super({
-      lazyRender: options.lazyRender,
-      host: host,
-      scrollbarState: new scrollbarState_1.ScrollbarState(options.horizontalHasArrows ? options.arrowSize : 0, options.horizontal === 2
-      /* Hidden */
-      ? 0 : options.horizontalScrollbarSize, options.vertical === 2
-      /* Hidden */
-      ? 0 : options.verticalScrollbarSize, scrollDimensions.width, scrollDimensions.scrollWidth, scrollPosition.scrollLeft),
-      visibility: options.horizontal,
-      extraScrollbarClassName: 'horizontal',
-      scrollable: scrollable
-    });
-
-    if (options.horizontalHasArrows) {
-      let arrowDelta = (options.arrowSize - scrollbarArrow_1.ARROW_IMG_SIZE) / 2;
-      let scrollbarDelta = (options.horizontalScrollbarSize - scrollbarArrow_1.ARROW_IMG_SIZE) / 2;
-
-      this._createArrow({
-        className: 'scra',
-        icon: scrollbarButtonLeftIcon,
-        top: scrollbarDelta,
-        left: arrowDelta,
-        bottom: undefined,
-        right: undefined,
-        bgWidth: options.arrowSize,
-        bgHeight: options.horizontalScrollbarSize,
-        onActivate: () => this._host.onMouseWheel(new mouseEvent_1.StandardWheelEvent(null, 1, 0))
-      });
-
-      this._createArrow({
-        className: 'scra',
-        icon: scrollbarButtonRightIcon,
-        top: scrollbarDelta,
-        left: undefined,
-        bottom: undefined,
-        right: arrowDelta,
-        bgWidth: options.arrowSize,
-        bgHeight: options.horizontalScrollbarSize,
-        onActivate: () => this._host.onMouseWheel(new mouseEvent_1.StandardWheelEvent(null, -1, 0))
-      });
-    }
-
-    this._createSlider(Math.floor((options.horizontalScrollbarSize - options.horizontalSliderSize) / 2), 0, undefined, options.horizontalSliderSize);
-  }
-
-  _updateSlider(sliderSize, sliderPosition) {
-    this.slider.setWidth(sliderSize);
-    this.slider.setLeft(sliderPosition);
-  }
-
-  _renderDomNode(largeSize, smallSize) {
-    this.domNode.setWidth(largeSize);
-    this.domNode.setHeight(smallSize);
-    this.domNode.setLeft(0);
-    this.domNode.setBottom(0);
-  }
-
-  onDidScroll(e) {
-    this._shouldRender = this._onElementScrollSize(e.scrollWidth) || this._shouldRender;
-    this._shouldRender = this._onElementScrollPosition(e.scrollLeft) || this._shouldRender;
-    this._shouldRender = this._onElementSize(e.width) || this._shouldRender;
-    return this._shouldRender;
-  }
-
-  _mouseDownRelativePosition(offsetX, offsetY) {
-    return offsetX;
-  }
-
-  _sliderMousePosition(e) {
-    return e.posx;
-  }
-
-  _sliderOrthogonalMousePosition(e) {
-    return e.posy;
-  }
-
-  _updateScrollbarSize(size) {
-    this.slider.setHeight(size);
-  }
-
-  writeScrollPosition(target, scrollPosition) {
-    target.scrollLeft = scrollPosition;
-  }
-
-}
-
-exports.HorizontalScrollbar = HorizontalScrollbar;