custom-electron-titlebar 3.2.6 → 3.2.10

package/lib/vs/base/browser/ui/list/listPaging.js

@@ -1,322 +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.PagedList = void 0;
-
-require("../../../../css!./list");
-
-const lifecycle_1 = require("../../../common/lifecycle");
-
-const arrays_1 = require("../../../common/arrays");
-
-const listWidget_1 = require("./listWidget");
-
-const event_1 = require("../../../common/event");
-
-const cancellation_1 = require("../../../common/cancellation");
-
-class PagedRenderer {
-  constructor(renderer, modelProvider) {
-    this.renderer = renderer;
-    this.modelProvider = modelProvider;
-  }
-
-  get templateId() {
-    return this.renderer.templateId;
-  }
-
-  renderTemplate(container) {
-    const data = this.renderer.renderTemplate(container);
-    return {
-      data,
-      disposable: lifecycle_1.Disposable.None
-    };
-  }
-
-  renderElement(index, _, data, height) {
-    if (data.disposable) {
-      data.disposable.dispose();
-    }
-
-    if (!data.data) {
-      return;
-    }
-
-    const model = this.modelProvider();
-
-    if (model.isResolved(index)) {
-      return this.renderer.renderElement(model.get(index), index, data.data, height);
-    }
-
-    const cts = new cancellation_1.CancellationTokenSource();
-    const promise = model.resolve(index, cts.token);
-    data.disposable = {
-      dispose: () => cts.cancel()
-    };
-    this.renderer.renderPlaceholder(index, data.data);
-    promise.then(entry => this.renderer.renderElement(entry, index, data.data, height));
-  }
-
-  disposeTemplate(data) {
-    if (data.disposable) {
-      data.disposable.dispose();
-      data.disposable = undefined;
-    }
-
-    if (data.data) {
-      this.renderer.disposeTemplate(data.data);
-      data.data = undefined;
-    }
-  }
-
-}
-
-class PagedAccessibilityProvider {
-  constructor(modelProvider, accessibilityProvider) {
-    this.modelProvider = modelProvider;
-    this.accessibilityProvider = accessibilityProvider;
-  }
-
-  getWidgetAriaLabel() {
-    return this.accessibilityProvider.getWidgetAriaLabel();
-  }
-
-  getAriaLabel(index) {
-    const model = this.modelProvider();
-
-    if (!model.isResolved(index)) {
-      return null;
-    }
-
-    return this.accessibilityProvider.getAriaLabel(model.get(index));
-  }
-
-}
-
-function fromPagedListOptions(modelProvider, options) {
-  return { ...options,
-    accessibilityProvider: options.accessibilityProvider && new PagedAccessibilityProvider(modelProvider, options.accessibilityProvider)
-  };
-}
-
-class PagedList {
-  constructor(user, container, virtualDelegate, renderers, options = {}) {
-    const modelProvider = () => this.model;
-
-    const pagedRenderers = renderers.map(r => new PagedRenderer(r, modelProvider));
-    this.list = new listWidget_1.List(user, container, virtualDelegate, pagedRenderers, fromPagedListOptions(modelProvider, options));
-  }
-
-  updateOptions(options) {
-    this.list.updateOptions(options);
-  }
-
-  getHTMLElement() {
-    return this.list.getHTMLElement();
-  }
-
-  isDOMFocused() {
-    return this.list.getHTMLElement() === document.activeElement;
-  }
-
-  domFocus() {
-    this.list.domFocus();
-  }
-
-  get onDidFocus() {
-    return this.list.onDidFocus;
-  }
-
-  get onDidBlur() {
-    return this.list.onDidBlur;
-  }
-
-  get widget() {
-    return this.list;
-  }
-
-  get onDidDispose() {
-    return this.list.onDidDispose;
-  }
-
-  get onMouseClick() {
-    return event_1.Event.map(this.list.onMouseClick, ({
-      element,
-      index,
-      browserEvent
-    }) => ({
-      element: element === undefined ? undefined : this._model.get(element),
-      index,
-      browserEvent
-    }));
-  }
-
-  get onMouseDblClick() {
-    return event_1.Event.map(this.list.onMouseDblClick, ({
-      element,
-      index,
-      browserEvent
-    }) => ({
-      element: element === undefined ? undefined : this._model.get(element),
-      index,
-      browserEvent
-    }));
-  }
-
-  get onTap() {
-    return event_1.Event.map(this.list.onTap, ({
-      element,
-      index,
-      browserEvent
-    }) => ({
-      element: element === undefined ? undefined : this._model.get(element),
-      index,
-      browserEvent
-    }));
-  }
-
-  get onPointer() {
-    return event_1.Event.map(this.list.onPointer, ({
-      element,
-      index,
-      browserEvent
-    }) => ({
-      element: element === undefined ? undefined : this._model.get(element),
-      index,
-      browserEvent
-    }));
-  }
-
-  get onDidChangeFocus() {
-    return event_1.Event.map(this.list.onDidChangeFocus, ({
-      elements,
-      indexes,
-      browserEvent
-    }) => ({
-      elements: elements.map(e => this._model.get(e)),
-      indexes,
-      browserEvent
-    }));
-  }
-
-  get onDidChangeSelection() {
-    return event_1.Event.map(this.list.onDidChangeSelection, ({
-      elements,
-      indexes,
-      browserEvent
-    }) => ({
-      elements: elements.map(e => this._model.get(e)),
-      indexes,
-      browserEvent
-    }));
-  }
-
-  get onContextMenu() {
-    return event_1.Event.map(this.list.onContextMenu, ({
-      element,
-      index,
-      anchor,
-      browserEvent
-    }) => typeof element === 'undefined' ? {
-      element,
-      index,
-      anchor,
-      browserEvent
-    } : {
-      element: this._model.get(element),
-      index,
-      anchor,
-      browserEvent
-    });
-  }
-
-  get model() {
-    return this._model;
-  }
-
-  set model(model) {
-    this._model = model;
-    this.list.splice(0, this.list.length, arrays_1.range(model.length));
-  }
-
-  get length() {
-    return this.list.length;
-  }
-
-  get scrollTop() {
-    return this.list.scrollTop;
-  }
-
-  set scrollTop(scrollTop) {
-    this.list.scrollTop = scrollTop;
-  }
-
-  get scrollLeft() {
-    return this.list.scrollLeft;
-  }
-
-  set scrollLeft(scrollLeft) {
-    this.list.scrollLeft = scrollLeft;
-  }
-
-  setFocus(indexes) {
-    this.list.setFocus(indexes);
-  }
-
-  focusNext(n, loop) {
-    this.list.focusNext(n, loop);
-  }
-
-  focusPrevious(n, loop) {
-    this.list.focusPrevious(n, loop);
-  }
-
-  focusNextPage() {
-    this.list.focusNextPage();
-  }
-
-  focusPreviousPage() {
-    this.list.focusPreviousPage();
-  }
-
-  getFocus() {
-    return this.list.getFocus();
-  }
-
-  setSelection(indexes, browserEvent) {
-    this.list.setSelection(indexes, browserEvent);
-  }
-
-  getSelection() {
-    return this.list.getSelection();
-  }
-
-  layout(height, width) {
-    this.list.layout(height, width);
-  }
-
-  toggleKeyboardNavigation() {
-    this.list.toggleKeyboardNavigation();
-  }
-
-  reveal(index, relativeTop) {
-    this.list.reveal(index, relativeTop);
-  }
-
-  style(styles) {
-    this.list.style(styles);
-  }
-
-  dispose() {
-    this.list.dispose();
-  }
-
-}
-
-exports.PagedList = PagedList;