custom-electron-titlebar 3.2.6 → 3.2.10

package/lib/vs/base/browser/event.js

@@ -1,36 +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.stop = exports.domEvent = void 0;
-
-const event_1 = require("../common/event");
-
-exports.domEvent = (element, type, useCapture) => {
-  const fn = e => emitter.fire(e);
-
-  const emitter = new event_1.Emitter({
-    onFirstListenerAdd: () => {
-      element.addEventListener(type, fn, useCapture);
-    },
-    onLastListenerRemove: () => {
-      element.removeEventListener(type, fn, useCapture);
-    }
-  });
-  return emitter.event;
-};
-
-function stop(event) {
-  return event_1.Event.map(event, e => {
-    e.preventDefault();
-    e.stopPropagation();
-    return e;
-  });
-}
-
-exports.stop = stop;

package/lib/vs/base/browser/fastDomNode.js

@@ -1,265 +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.createFastDomNode = exports.FastDomNode = void 0;
-
-class FastDomNode {
-  constructor(domNode) {
-    this.domNode = domNode;
-    this._maxWidth = -1;
-    this._width = -1;
-    this._height = -1;
-    this._top = -1;
-    this._left = -1;
-    this._bottom = -1;
-    this._right = -1;
-    this._fontFamily = '';
-    this._fontWeight = '';
-    this._fontSize = -1;
-    this._fontFeatureSettings = '';
-    this._lineHeight = -1;
-    this._letterSpacing = -100;
-    this._className = '';
-    this._display = '';
-    this._position = '';
-    this._visibility = '';
-    this._backgroundColor = '';
-    this._layerHint = false;
-    this._contain = 'none';
-    this._boxShadow = '';
-  }
-
-  setMaxWidth(maxWidth) {
-    if (this._maxWidth === maxWidth) {
-      return;
-    }
-
-    this._maxWidth = maxWidth;
-    this.domNode.style.maxWidth = this._maxWidth + 'px';
-  }
-
-  setWidth(width) {
-    if (this._width === width) {
-      return;
-    }
-
-    this._width = width;
-    this.domNode.style.width = this._width + 'px';
-  }
-
-  setHeight(height) {
-    if (this._height === height) {
-      return;
-    }
-
-    this._height = height;
-    this.domNode.style.height = this._height + 'px';
-  }
-
-  setTop(top) {
-    if (this._top === top) {
-      return;
-    }
-
-    this._top = top;
-    this.domNode.style.top = this._top + 'px';
-  }
-
-  unsetTop() {
-    if (this._top === -1) {
-      return;
-    }
-
-    this._top = -1;
-    this.domNode.style.top = '';
-  }
-
-  setLeft(left) {
-    if (this._left === left) {
-      return;
-    }
-
-    this._left = left;
-    this.domNode.style.left = this._left + 'px';
-  }
-
-  setBottom(bottom) {
-    if (this._bottom === bottom) {
-      return;
-    }
-
-    this._bottom = bottom;
-    this.domNode.style.bottom = this._bottom + 'px';
-  }
-
-  setRight(right) {
-    if (this._right === right) {
-      return;
-    }
-
-    this._right = right;
-    this.domNode.style.right = this._right + 'px';
-  }
-
-  setFontFamily(fontFamily) {
-    if (this._fontFamily === fontFamily) {
-      return;
-    }
-
-    this._fontFamily = fontFamily;
-    this.domNode.style.fontFamily = this._fontFamily;
-  }
-
-  setFontWeight(fontWeight) {
-    if (this._fontWeight === fontWeight) {
-      return;
-    }
-
-    this._fontWeight = fontWeight;
-    this.domNode.style.fontWeight = this._fontWeight;
-  }
-
-  setFontSize(fontSize) {
-    if (this._fontSize === fontSize) {
-      return;
-    }
-
-    this._fontSize = fontSize;
-    this.domNode.style.fontSize = this._fontSize + 'px';
-  }
-
-  setFontFeatureSettings(fontFeatureSettings) {
-    if (this._fontFeatureSettings === fontFeatureSettings) {
-      return;
-    }
-
-    this._fontFeatureSettings = fontFeatureSettings;
-    this.domNode.style.fontFeatureSettings = this._fontFeatureSettings;
-  }
-
-  setLineHeight(lineHeight) {
-    if (this._lineHeight === lineHeight) {
-      return;
-    }
-
-    this._lineHeight = lineHeight;
-    this.domNode.style.lineHeight = this._lineHeight + 'px';
-  }
-
-  setLetterSpacing(letterSpacing) {
-    if (this._letterSpacing === letterSpacing) {
-      return;
-    }
-
-    this._letterSpacing = letterSpacing;
-    this.domNode.style.letterSpacing = this._letterSpacing + 'px';
-  }
-
-  setClassName(className) {
-    if (this._className === className) {
-      return;
-    }
-
-    this._className = className;
-    this.domNode.className = this._className;
-  }
-
-  toggleClassName(className, shouldHaveIt) {
-    this.domNode.classList.toggle(className, shouldHaveIt);
-    this._className = this.domNode.className;
-  }
-
-  setDisplay(display) {
-    if (this._display === display) {
-      return;
-    }
-
-    this._display = display;
-    this.domNode.style.display = this._display;
-  }
-
-  setPosition(position) {
-    if (this._position === position) {
-      return;
-    }
-
-    this._position = position;
-    this.domNode.style.position = this._position;
-  }
-
-  setVisibility(visibility) {
-    if (this._visibility === visibility) {
-      return;
-    }
-
-    this._visibility = visibility;
-    this.domNode.style.visibility = this._visibility;
-  }
-
-  setBackgroundColor(backgroundColor) {
-    if (this._backgroundColor === backgroundColor) {
-      return;
-    }
-
-    this._backgroundColor = backgroundColor;
-    this.domNode.style.backgroundColor = this._backgroundColor;
-  }
-
-  setLayerHinting(layerHint) {
-    if (this._layerHint === layerHint) {
-      return;
-    }
-
-    this._layerHint = layerHint;
-    this.domNode.style.transform = this._layerHint ? 'translate3d(0px, 0px, 0px)' : '';
-  }
-
-  setBoxShadow(boxShadow) {
-    if (this._boxShadow === boxShadow) {
-      return;
-    }
-
-    this._boxShadow = boxShadow;
-    this.domNode.style.boxShadow = boxShadow;
-  }
-
-  setContain(contain) {
-    if (this._contain === contain) {
-      return;
-    }
-
-    this._contain = contain;
-    this.domNode.style.contain = this._contain;
-  }
-
-  setAttribute(name, value) {
-    this.domNode.setAttribute(name, value);
-  }
-
-  removeAttribute(name) {
-    this.domNode.removeAttribute(name);
-  }
-
-  appendChild(child) {
-    this.domNode.appendChild(child.domNode);
-  }
-
-  removeChild(child) {
-    this.domNode.removeChild(child.domNode);
-  }
-
-}
-
-exports.FastDomNode = FastDomNode;
-
-function createFastDomNode(domNode) {
-  return new FastDomNode(domNode);
-}
-
-exports.createFastDomNode = createFastDomNode;

package/lib/vs/base/browser/formattedTextRenderer.js

@@ -1,248 +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.createElement = exports.renderFormattedText = exports.renderText = void 0;
-
-const DOM = require("./dom");
-
-function renderText(text, options = {}) {
-  const element = createElement(options);
-  element.textContent = text;
-  return element;
-}
-
-exports.renderText = renderText;
-
-function renderFormattedText(formattedText, options = {}) {
-  const element = createElement(options);
-
-  _renderFormattedText(element, parseFormattedText(formattedText), options.actionHandler);
-
-  return element;
-}
-
-exports.renderFormattedText = renderFormattedText;
-
-function createElement(options) {
-  const tagName = options.inline ? 'span' : 'div';
-  const element = document.createElement(tagName);
-
-  if (options.className) {
-    element.className = options.className;
-  }
-
-  return element;
-}
-
-exports.createElement = createElement;
-
-class StringStream {
-  constructor(source) {
-    this.source = source;
-    this.index = 0;
-  }
-
-  eos() {
-    return this.index >= this.source.length;
-  }
-
-  next() {
-    const next = this.peek();
-    this.advance();
-    return next;
-  }
-
-  peek() {
-    return this.source[this.index];
-  }
-
-  advance() {
-    this.index++;
-  }
-
-}
-
-function _renderFormattedText(element, treeNode, actionHandler) {
-  let child;
-
-  if (treeNode.type === 2
-  /* Text */
-  ) {
-      child = document.createTextNode(treeNode.content || '');
-    } else if (treeNode.type === 3
-  /* Bold */
-  ) {
-      child = document.createElement('b');
-    } else if (treeNode.type === 4
-  /* Italics */
-  ) {
-      child = document.createElement('i');
-    } else if (treeNode.type === 5
-  /* Action */
-  && actionHandler) {
-    const a = document.createElement('a');
-    a.href = '#';
-    actionHandler.disposeables.add(DOM.addStandardDisposableListener(a, 'click', event => {
-      actionHandler.callback(String(treeNode.index), event);
-    }));
-    child = a;
-  } else if (treeNode.type === 7
-  /* NewLine */
-  ) {
-      child = document.createElement('br');
-    } else if (treeNode.type === 1
-  /* Root */
-  ) {
-      child = element;
-    }
-
-  if (child && element !== child) {
-    element.appendChild(child);
-  }
-
-  if (child && Array.isArray(treeNode.children)) {
-    treeNode.children.forEach(nodeChild => {
-      _renderFormattedText(child, nodeChild, actionHandler);
-    });
-  }
-}
-
-function parseFormattedText(content) {
-  const root = {
-    type: 1
-    /* Root */
-    ,
-    children: []
-  };
-  let actionViewItemIndex = 0;
-  let current = root;
-  const stack = [];
-  const stream = new StringStream(content);
-
-  while (!stream.eos()) {
-    let next = stream.next();
-    const isEscapedFormatType = next === '\\' && formatTagType(stream.peek()) !== 0
-    /* Invalid */
-    ;
-
-    if (isEscapedFormatType) {
-      next = stream.next(); // unread the backslash if it escapes a format tag type
-    }
-
-    if (!isEscapedFormatType && isFormatTag(next) && next === stream.peek()) {
-      stream.advance();
-
-      if (current.type === 2
-      /* Text */
-      ) {
-          current = stack.pop();
-        }
-
-      const type = formatTagType(next);
-
-      if (current.type === type || current.type === 5
-      /* Action */
-      && type === 6
-      /* ActionClose */
-      ) {
-        current = stack.pop();
-      } else {
-        const newCurrent = {
-          type: type,
-          children: []
-        };
-
-        if (type === 5
-        /* Action */
-        ) {
-            newCurrent.index = actionViewItemIndex;
-            actionViewItemIndex++;
-          }
-
-        current.children.push(newCurrent);
-        stack.push(current);
-        current = newCurrent;
-      }
-    } else if (next === '\n') {
-      if (current.type === 2
-      /* Text */
-      ) {
-          current = stack.pop();
-        }
-
-      current.children.push({
-        type: 7
-        /* NewLine */
-
-      });
-    } else {
-      if (current.type !== 2
-      /* Text */
-      ) {
-          const textCurrent = {
-            type: 2
-            /* Text */
-            ,
-            content: next
-          };
-          current.children.push(textCurrent);
-          stack.push(current);
-          current = textCurrent;
-        } else {
-        current.content += next;
-      }
-    }
-  }
-
-  if (current.type === 2
-  /* Text */
-  ) {
-      current = stack.pop();
-    }
-
-  if (stack.length) {// incorrectly formatted string literal
-  }
-
-  return root;
-}
-
-function isFormatTag(char) {
-  return formatTagType(char) !== 0
-  /* Invalid */
-  ;
-}
-
-function formatTagType(char) {
-  switch (char) {
-    case '*':
-      return 3
-      /* Bold */
-      ;
-
-    case '_':
-      return 4
-      /* Italics */
-      ;
-
-    case '[':
-      return 5
-      /* Action */
-      ;
-
-    case ']':
-      return 6
-      /* ActionClose */
-      ;
-
-    default:
-      return 0
-      /* Invalid */
-      ;
-  }
-}

package/lib/vs/base/browser/globalMouseMoveMonitor.js

@@ -1,137 +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.GlobalMouseMoveMonitor = exports.standardMouseMoveMerger = void 0;
-
-const dom = require("./dom");
-
-const platform = require("../common/platform");
-
-const iframe_1 = require("./iframe");
-
-const mouseEvent_1 = require("./mouseEvent");
-
-const lifecycle_1 = require("../common/lifecycle");
-
-const canIUse_1 = require("./canIUse");
-
-function standardMouseMoveMerger(lastEvent, currentEvent) {
-  let ev = new mouseEvent_1.StandardMouseEvent(currentEvent);
-  ev.preventDefault();
-  return {
-    leftButton: ev.leftButton,
-    buttons: ev.buttons,
-    posx: ev.posx,
-    posy: ev.posy
-  };
-}
-
-exports.standardMouseMoveMerger = standardMouseMoveMerger;
-
-class GlobalMouseMoveMonitor {
-  constructor() {
-    this._hooks = new lifecycle_1.DisposableStore();
-    this._mouseMoveEventMerger = null;
-    this._mouseMoveCallback = null;
-    this._onStopCallback = null;
-  }
-
-  dispose() {
-    this.stopMonitoring(false);
-
-    this._hooks.dispose();
-  }
-
-  stopMonitoring(invokeStopCallback) {
-    if (!this.isMonitoring()) {
-      // Not monitoring
-      return;
-    } // Unhook
-
-
-    this._hooks.clear();
-
-    this._mouseMoveEventMerger = null;
-    this._mouseMoveCallback = null;
-    const onStopCallback = this._onStopCallback;
-    this._onStopCallback = null;
-
-    if (invokeStopCallback && onStopCallback) {
-      onStopCallback();
-    }
-  }
-
-  isMonitoring() {
-    return !!this._mouseMoveEventMerger;
-  }
-
-  startMonitoring(initialElement, initialButtons, mouseMoveEventMerger, mouseMoveCallback, onStopCallback) {
-    if (this.isMonitoring()) {
-      // I am already hooked
-      return;
-    }
-
-    this._mouseMoveEventMerger = mouseMoveEventMerger;
-    this._mouseMoveCallback = mouseMoveCallback;
-    this._onStopCallback = onStopCallback;
-    const windowChain = iframe_1.IframeUtils.getSameOriginWindowChain();
-    const mouseMove = platform.isIOS && canIUse_1.BrowserFeatures.pointerEvents ? 'pointermove' : 'mousemove';
-    const mouseUp = platform.isIOS && canIUse_1.BrowserFeatures.pointerEvents ? 'pointerup' : 'mouseup';
-    const listenTo = windowChain.map(element => element.window.document);
-    const shadowRoot = dom.getShadowRoot(initialElement);
-
-    if (shadowRoot) {
-      listenTo.unshift(shadowRoot);
-    }
-
-    for (const element of listenTo) {
-      this._hooks.add(dom.addDisposableThrottledListener(element, mouseMove, data => {
-        if (data.buttons !== initialButtons) {
-          // Buttons state has changed in the meantime
-          this.stopMonitoring(true);
-          return;
-        }
-
-        this._mouseMoveCallback(data);
-      }, (lastEvent, currentEvent) => this._mouseMoveEventMerger(lastEvent, currentEvent)));
-
-      this._hooks.add(dom.addDisposableListener(element, mouseUp, e => this.stopMonitoring(true)));
-    }
-
-    if (iframe_1.IframeUtils.hasDifferentOriginAncestor()) {
-      let lastSameOriginAncestor = windowChain[windowChain.length - 1]; // We might miss a mouse up if it happens outside the iframe
-      // This one is for Chrome
-
-      this._hooks.add(dom.addDisposableListener(lastSameOriginAncestor.window.document, 'mouseout', browserEvent => {
-        let e = new mouseEvent_1.StandardMouseEvent(browserEvent);
-
-        if (e.target.tagName.toLowerCase() === 'html') {
-          this.stopMonitoring(true);
-        }
-      })); // This one is for FF
-
-
-      this._hooks.add(dom.addDisposableListener(lastSameOriginAncestor.window.document, 'mouseover', browserEvent => {
-        let e = new mouseEvent_1.StandardMouseEvent(browserEvent);
-
-        if (e.target.tagName.toLowerCase() === 'html') {
-          this.stopMonitoring(true);
-        }
-      })); // This one is for IE
-
-
-      this._hooks.add(dom.addDisposableListener(lastSameOriginAncestor.window.document.body, 'mouseleave', browserEvent => {
-        this.stopMonitoring(true);
-      }));
-    }
-  }
-
-}
-
-exports.GlobalMouseMoveMonitor = GlobalMouseMoveMonitor;

package/lib/vs/base/browser/history.js

@@ -1,9 +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
-});