custom-electron-titlebar 3.2.6 → 3.2.10

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

@@ -1,1388 +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.
- *--------------------------------------------------------------------------------------------*/
-
-var __decorate = this && this.__decorate || function (decorators, target, key, desc) {
-  var c = arguments.length,
-      r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc,
-      d;
-  if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-  return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.ListView = exports.NativeDragAndDropData = exports.ExternalElementsDragAndDropData = exports.ElementsDragAndDropData = void 0;
-
-const objects_1 = require("../../../common/objects");
-
-const lifecycle_1 = require("../../../common/lifecycle");
-
-const touch_1 = require("../../touch");
-
-const event_1 = require("../../../common/event");
-
-const event_2 = require("../../event");
-
-const scrollableElement_1 = require("../scrollbar/scrollableElement");
-
-const scrollable_1 = require("../../../common/scrollable");
-
-const rangeMap_1 = require("./rangeMap");
-
-const rowCache_1 = require("./rowCache");
-
-const decorators_1 = require("../../../common/decorators");
-
-const range_1 = require("../../../common/range");
-
-const arrays_1 = require("../../../common/arrays");
-
-const dnd_1 = require("../../dnd");
-
-const async_1 = require("../../../common/async");
-
-const browser_1 = require("../../browser");
-
-const dom_1 = require("../../dom");
-
-const DefaultOptions = {
-  useShadows: true,
-  verticalScrollMode: 1
-  /* Auto */
-  ,
-  setRowLineHeight: true,
-  setRowHeight: true,
-  supportDynamicHeights: false,
-  dnd: {
-    getDragElements(e) {
-      return [e];
-    },
-
-    getDragURI() {
-      return null;
-    },
-
-    onDragStart() {},
-
-    onDragOver() {
-      return false;
-    },
-
-    drop() {}
-
-  },
-  horizontalScrolling: false,
-  transformOptimization: true
-};
-
-class ElementsDragAndDropData {
-  constructor(elements) {
-    this.elements = elements;
-  }
-
-  get context() {
-    return this._context;
-  }
-
-  set context(value) {
-    this._context = value;
-  }
-
-  update() {}
-
-  getData() {
-    return this.elements;
-  }
-
-}
-
-exports.ElementsDragAndDropData = ElementsDragAndDropData;
-
-class ExternalElementsDragAndDropData {
-  constructor(elements) {
-    this.elements = elements;
-  }
-
-  update() {}
-
-  getData() {
-    return this.elements;
-  }
-
-}
-
-exports.ExternalElementsDragAndDropData = ExternalElementsDragAndDropData;
-
-class NativeDragAndDropData {
-  constructor() {
-    this.types = [];
-    this.files = [];
-  }
-
-  update(dataTransfer) {
-    if (dataTransfer.types) {
-      this.types.splice(0, this.types.length, ...dataTransfer.types);
-    }
-
-    if (dataTransfer.files) {
-      this.files.splice(0, this.files.length);
-
-      for (let i = 0; i < dataTransfer.files.length; i++) {
-        const file = dataTransfer.files.item(i);
-
-        if (file && (file.size || file.type)) {
-          this.files.push(file);
-        }
-      }
-    }
-  }
-
-  getData() {
-    return {
-      types: this.types,
-      files: this.files
-    };
-  }
-
-}
-
-exports.NativeDragAndDropData = NativeDragAndDropData;
-
-function equalsDragFeedback(f1, f2) {
-  if (Array.isArray(f1) && Array.isArray(f2)) {
-    return arrays_1.equals(f1, f2);
-  }
-
-  return f1 === f2;
-}
-
-class ListViewAccessibilityProvider {
-  constructor(accessibilityProvider) {
-    if (accessibilityProvider === null || accessibilityProvider === void 0 ? void 0 : accessibilityProvider.getSetSize) {
-      this.getSetSize = accessibilityProvider.getSetSize.bind(accessibilityProvider);
-    } else {
-      this.getSetSize = (e, i, l) => l;
-    }
-
-    if (accessibilityProvider === null || accessibilityProvider === void 0 ? void 0 : accessibilityProvider.getPosInSet) {
-      this.getPosInSet = accessibilityProvider.getPosInSet.bind(accessibilityProvider);
-    } else {
-      this.getPosInSet = (e, i) => i + 1;
-    }
-
-    if (accessibilityProvider === null || accessibilityProvider === void 0 ? void 0 : accessibilityProvider.getRole) {
-      this.getRole = accessibilityProvider.getRole.bind(accessibilityProvider);
-    } else {
-      this.getRole = _ => 'listitem';
-    }
-
-    if (accessibilityProvider === null || accessibilityProvider === void 0 ? void 0 : accessibilityProvider.isChecked) {
-      this.isChecked = accessibilityProvider.isChecked.bind(accessibilityProvider);
-    } else {
-      this.isChecked = _ => undefined;
-    }
-  }
-
-}
-
-class ListView {
-  constructor(container, virtualDelegate, renderers, options = DefaultOptions) {
-    this.virtualDelegate = virtualDelegate;
-    this.domId = `list_id_${++ListView.InstanceCount}`;
-    this.renderers = new Map();
-    this.renderWidth = 0;
-    this._scrollHeight = 0;
-    this.scrollableElementUpdateDisposable = null;
-    this.scrollableElementWidthDelayer = new async_1.Delayer(50);
-    this.splicing = false;
-    this.dragOverAnimationStopDisposable = lifecycle_1.Disposable.None;
-    this.dragOverMouseY = 0;
-    this.canDrop = false;
-    this.currentDragFeedbackDisposable = lifecycle_1.Disposable.None;
-    this.onDragLeaveTimeout = lifecycle_1.Disposable.None;
-    this.disposables = new lifecycle_1.DisposableStore();
-    this._onDidChangeContentHeight = new event_1.Emitter();
-    this.onDidChangeContentHeight = event_1.Event.latch(this._onDidChangeContentHeight.event);
-    this._horizontalScrolling = false;
-
-    if (options.horizontalScrolling && options.supportDynamicHeights) {
-      throw new Error('Horizontal scrolling and dynamic heights not supported simultaneously');
-    }
-
-    this.items = [];
-    this.itemId = 0;
-    this.rangeMap = new rangeMap_1.RangeMap();
-
-    for (const renderer of renderers) {
-      this.renderers.set(renderer.templateId, renderer);
-    }
-
-    this.cache = this.disposables.add(new rowCache_1.RowCache(this.renderers));
-    this.lastRenderTop = 0;
-    this.lastRenderHeight = 0;
-    this.domNode = document.createElement('div');
-    this.domNode.className = 'monaco-list';
-    this.domNode.classList.add(this.domId);
-    this.domNode.tabIndex = 0;
-    this.domNode.classList.toggle('mouse-support', typeof options.mouseSupport === 'boolean' ? options.mouseSupport : true);
-    this._horizontalScrolling = objects_1.getOrDefault(options, o => o.horizontalScrolling, DefaultOptions.horizontalScrolling);
-    this.domNode.classList.toggle('horizontal-scrolling', this._horizontalScrolling);
-    this.additionalScrollHeight = typeof options.additionalScrollHeight === 'undefined' ? 0 : options.additionalScrollHeight;
-    this.accessibilityProvider = new ListViewAccessibilityProvider(options.accessibilityProvider);
-    this.rowsContainer = document.createElement('div');
-    this.rowsContainer.className = 'monaco-list-rows';
-    const transformOptimization = objects_1.getOrDefault(options, o => o.transformOptimization, DefaultOptions.transformOptimization);
-
-    if (transformOptimization) {
-      this.rowsContainer.style.transform = 'translate3d(0px, 0px, 0px)';
-    }
-
-    this.disposables.add(touch_1.Gesture.addTarget(this.rowsContainer));
-    this.scrollable = new scrollable_1.Scrollable(objects_1.getOrDefault(options, o => o.smoothScrolling, false) ? 125 : 0, cb => dom_1.scheduleAtNextAnimationFrame(cb));
-    this.scrollableElement = this.disposables.add(new scrollableElement_1.SmoothScrollableElement(this.rowsContainer, {
-      alwaysConsumeMouseWheel: true,
-      horizontal: 1
-      /* Auto */
-      ,
-      vertical: objects_1.getOrDefault(options, o => o.verticalScrollMode, DefaultOptions.verticalScrollMode),
-      useShadows: objects_1.getOrDefault(options, o => o.useShadows, DefaultOptions.useShadows)
-    }, this.scrollable));
-    this.domNode.appendChild(this.scrollableElement.getDomNode());
-    container.appendChild(this.domNode);
-    this.scrollableElement.onScroll(this.onScroll, this, this.disposables);
-    event_2.domEvent(this.rowsContainer, touch_1.EventType.Change)(this.onTouchChange, this, this.disposables); // Prevent the monaco-scrollable-element from scrolling
-    // https://github.com/microsoft/vscode/issues/44181
-
-    event_2.domEvent(this.scrollableElement.getDomNode(), 'scroll')(e => e.target.scrollTop = 0, null, this.disposables);
-    event_1.Event.map(event_2.domEvent(this.domNode, 'dragover'), e => this.toDragEvent(e))(this.onDragOver, this, this.disposables);
-    event_1.Event.map(event_2.domEvent(this.domNode, 'drop'), e => this.toDragEvent(e))(this.onDrop, this, this.disposables);
-    event_2.domEvent(this.domNode, 'dragleave')(this.onDragLeave, this, this.disposables);
-    event_2.domEvent(window, 'dragend')(this.onDragEnd, this, this.disposables);
-    this.setRowLineHeight = objects_1.getOrDefault(options, o => o.setRowLineHeight, DefaultOptions.setRowLineHeight);
-    this.setRowHeight = objects_1.getOrDefault(options, o => o.setRowHeight, DefaultOptions.setRowHeight);
-    this.supportDynamicHeights = objects_1.getOrDefault(options, o => o.supportDynamicHeights, DefaultOptions.supportDynamicHeights);
-    this.dnd = objects_1.getOrDefault(options, o => o.dnd, DefaultOptions.dnd);
-    this.layout();
-  }
-
-  get contentHeight() {
-    return this.rangeMap.size;
-  }
-
-  get onDidScroll() {
-    return this.scrollableElement.onScroll;
-  }
-
-  get onWillScroll() {
-    return this.scrollableElement.onWillScroll;
-  }
-
-  get containerDomNode() {
-    return this.rowsContainer;
-  }
-
-  get horizontalScrolling() {
-    return this._horizontalScrolling;
-  }
-
-  set horizontalScrolling(value) {
-    if (value === this._horizontalScrolling) {
-      return;
-    }
-
-    if (value && this.supportDynamicHeights) {
-      throw new Error('Horizontal scrolling and dynamic heights not supported simultaneously');
-    }
-
-    this._horizontalScrolling = value;
-    this.domNode.classList.toggle('horizontal-scrolling', this._horizontalScrolling);
-
-    if (this._horizontalScrolling) {
-      for (const item of this.items) {
-        this.measureItemWidth(item);
-      }
-
-      this.updateScrollWidth();
-      this.scrollableElement.setScrollDimensions({
-        width: dom_1.getContentWidth(this.domNode)
-      });
-      this.rowsContainer.style.width = `${Math.max(this.scrollWidth || 0, this.renderWidth)}px`;
-    } else {
-      this.scrollableElementWidthDelayer.cancel();
-      this.scrollableElement.setScrollDimensions({
-        width: this.renderWidth,
-        scrollWidth: this.renderWidth
-      });
-      this.rowsContainer.style.width = '';
-    }
-  }
-
-  updateOptions(options) {
-    if (options.additionalScrollHeight !== undefined) {
-      this.additionalScrollHeight = options.additionalScrollHeight;
-    }
-
-    if (options.smoothScrolling !== undefined) {
-      this.scrollable.setSmoothScrollDuration(options.smoothScrolling ? 125 : 0);
-    }
-
-    if (options.horizontalScrolling !== undefined) {
-      this.horizontalScrolling = options.horizontalScrolling;
-    }
-  }
-
-  triggerScrollFromMouseWheelEvent(browserEvent) {
-    this.scrollableElement.triggerScrollFromMouseWheelEvent(browserEvent);
-  }
-
-  updateElementHeight(index, size, anchorIndex) {
-    if (index < 0 || index >= this.items.length) {
-      return;
-    }
-
-    if (this.items[index].size === size) {
-      return;
-    }
-
-    const lastRenderRange = this.getRenderRange(this.lastRenderTop, this.lastRenderHeight);
-    let heightDiff = 0;
-
-    if (index < lastRenderRange.start) {
-      // do not scroll the viewport if resized element is out of viewport
-      heightDiff = size - this.items[index].size;
-    } else {
-      if (anchorIndex !== null && anchorIndex > index && anchorIndex <= lastRenderRange.end) {
-        // anchor in viewport
-        // resized elemnet in viewport and above the anchor
-        heightDiff = size - this.items[index].size;
-      } else {
-        heightDiff = 0;
-      }
-    }
-
-    this.rangeMap.splice(index, 1, [{
-      size: size
-    }]);
-    this.items[index].size = size;
-    this.render(lastRenderRange, Math.max(0, this.lastRenderTop + heightDiff), this.lastRenderHeight, undefined, undefined, true);
-    this.eventuallyUpdateScrollDimensions();
-
-    if (this.supportDynamicHeights) {
-      this._rerender(this.lastRenderTop, this.lastRenderHeight);
-    }
-  }
-
-  splice(start, deleteCount, elements = []) {
-    if (this.splicing) {
-      throw new Error('Can\'t run recursive splices.');
-    }
-
-    this.splicing = true;
-
-    try {
-      return this._splice(start, deleteCount, elements);
-    } finally {
-      this.splicing = false;
-
-      this._onDidChangeContentHeight.fire(this.contentHeight);
-    }
-  }
-
-  _splice(start, deleteCount, elements = []) {
-    const previousRenderRange = this.getRenderRange(this.lastRenderTop, this.lastRenderHeight);
-    const deleteRange = {
-      start,
-      end: start + deleteCount
-    };
-    const removeRange = range_1.Range.intersect(previousRenderRange, deleteRange);
-
-    for (let i = removeRange.start; i < removeRange.end; i++) {
-      this.removeItemFromDOM(i);
-    }
-
-    const previousRestRange = {
-      start: start + deleteCount,
-      end: this.items.length
-    };
-    const previousRenderedRestRange = range_1.Range.intersect(previousRestRange, previousRenderRange);
-    const previousUnrenderedRestRanges = range_1.Range.relativeComplement(previousRestRange, previousRenderRange);
-    const inserted = elements.map(element => ({
-      id: String(this.itemId++),
-      element,
-      templateId: this.virtualDelegate.getTemplateId(element),
-      size: this.virtualDelegate.getHeight(element),
-      width: undefined,
-      hasDynamicHeight: !!this.virtualDelegate.hasDynamicHeight && this.virtualDelegate.hasDynamicHeight(element),
-      lastDynamicHeightWidth: undefined,
-      row: null,
-      uri: undefined,
-      dropTarget: false,
-      dragStartDisposable: lifecycle_1.Disposable.None
-    }));
-    let deleted; // TODO@joao: improve this optimization to catch even more cases
-
-    if (start === 0 && deleteCount >= this.items.length) {
-      this.rangeMap = new rangeMap_1.RangeMap();
-      this.rangeMap.splice(0, 0, inserted);
-      this.items = inserted;
-      deleted = [];
-    } else {
-      this.rangeMap.splice(start, deleteCount, inserted);
-      deleted = this.items.splice(start, deleteCount, ...inserted);
-    }
-
-    const delta = elements.length - deleteCount;
-    const renderRange = this.getRenderRange(this.lastRenderTop, this.lastRenderHeight);
-    const renderedRestRange = rangeMap_1.shift(previousRenderedRestRange, delta);
-    const updateRange = range_1.Range.intersect(renderRange, renderedRestRange);
-
-    for (let i = updateRange.start; i < updateRange.end; i++) {
-      this.updateItemInDOM(this.items[i], i);
-    }
-
-    const removeRanges = range_1.Range.relativeComplement(renderedRestRange, renderRange);
-
-    for (const range of removeRanges) {
-      for (let i = range.start; i < range.end; i++) {
-        this.removeItemFromDOM(i);
-      }
-    }
-
-    const unrenderedRestRanges = previousUnrenderedRestRanges.map(r => rangeMap_1.shift(r, delta));
-    const elementsRange = {
-      start,
-      end: start + elements.length
-    };
-    const insertRanges = [elementsRange, ...unrenderedRestRanges].map(r => range_1.Range.intersect(renderRange, r));
-    const beforeElement = this.getNextToLastElement(insertRanges);
-
-    for (const range of insertRanges) {
-      for (let i = range.start; i < range.end; i++) {
-        this.insertItemInDOM(i, beforeElement);
-      }
-    }
-
-    this.eventuallyUpdateScrollDimensions();
-
-    if (this.supportDynamicHeights) {
-      this._rerender(this.scrollTop, this.renderHeight);
-    }
-
-    return deleted.map(i => i.element);
-  }
-
-  eventuallyUpdateScrollDimensions() {
-    this._scrollHeight = this.contentHeight;
-    this.rowsContainer.style.height = `${this._scrollHeight}px`;
-
-    if (!this.scrollableElementUpdateDisposable) {
-      this.scrollableElementUpdateDisposable = dom_1.scheduleAtNextAnimationFrame(() => {
-        this.scrollableElement.setScrollDimensions({
-          scrollHeight: this.scrollHeight
-        });
-        this.updateScrollWidth();
-        this.scrollableElementUpdateDisposable = null;
-      });
-    }
-  }
-
-  eventuallyUpdateScrollWidth() {
-    if (!this.horizontalScrolling) {
-      this.scrollableElementWidthDelayer.cancel();
-      return;
-    }
-
-    this.scrollableElementWidthDelayer.trigger(() => this.updateScrollWidth());
-  }
-
-  updateScrollWidth() {
-    if (!this.horizontalScrolling) {
-      return;
-    }
-
-    let scrollWidth = 0;
-
-    for (const item of this.items) {
-      if (typeof item.width !== 'undefined') {
-        scrollWidth = Math.max(scrollWidth, item.width);
-      }
-    }
-
-    this.scrollWidth = scrollWidth;
-    this.scrollableElement.setScrollDimensions({
-      scrollWidth: scrollWidth === 0 ? 0 : scrollWidth + 10
-    });
-  }
-
-  updateWidth(index) {
-    if (!this.horizontalScrolling || typeof this.scrollWidth === 'undefined') {
-      return;
-    }
-
-    const item = this.items[index];
-    this.measureItemWidth(item);
-
-    if (typeof item.width !== 'undefined' && item.width > this.scrollWidth) {
-      this.scrollWidth = item.width;
-      this.scrollableElement.setScrollDimensions({
-        scrollWidth: this.scrollWidth + 10
-      });
-    }
-  }
-
-  rerender() {
-    if (!this.supportDynamicHeights) {
-      return;
-    }
-
-    for (const item of this.items) {
-      item.lastDynamicHeightWidth = undefined;
-    }
-
-    this._rerender(this.lastRenderTop, this.lastRenderHeight);
-  }
-
-  get length() {
-    return this.items.length;
-  }
-
-  get renderHeight() {
-    const scrollDimensions = this.scrollableElement.getScrollDimensions();
-    return scrollDimensions.height;
-  }
-
-  get firstVisibleIndex() {
-    const range = this.getRenderRange(this.lastRenderTop, this.lastRenderHeight);
-    const firstElTop = this.rangeMap.positionAt(range.start);
-    const nextElTop = this.rangeMap.positionAt(range.start + 1);
-
-    if (nextElTop !== -1) {
-      const firstElMidpoint = (nextElTop - firstElTop) / 2 + firstElTop;
-
-      if (firstElMidpoint < this.scrollTop) {
-        return range.start + 1;
-      }
-    }
-
-    return range.start;
-  }
-
-  get lastVisibleIndex() {
-    const range = this.getRenderRange(this.lastRenderTop, this.lastRenderHeight);
-    return range.end - 1;
-  }
-
-  element(index) {
-    return this.items[index].element;
-  }
-
-  indexOf(element) {
-    return this.items.findIndex(item => item.element === element);
-  }
-
-  domElement(index) {
-    const row = this.items[index].row;
-    return row && row.domNode;
-  }
-
-  elementHeight(index) {
-    return this.items[index].size;
-  }
-
-  elementTop(index) {
-    return this.rangeMap.positionAt(index);
-  }
-
-  indexAt(position) {
-    return this.rangeMap.indexAt(position);
-  }
-
-  indexAfter(position) {
-    return this.rangeMap.indexAfter(position);
-  }
-
-  layout(height, width) {
-    let scrollDimensions = {
-      height: typeof height === 'number' ? height : dom_1.getContentHeight(this.domNode)
-    };
-
-    if (this.scrollableElementUpdateDisposable) {
-      this.scrollableElementUpdateDisposable.dispose();
-      this.scrollableElementUpdateDisposable = null;
-      scrollDimensions.scrollHeight = this.scrollHeight;
-    }
-
-    this.scrollableElement.setScrollDimensions(scrollDimensions);
-
-    if (typeof width !== 'undefined') {
-      this.renderWidth = width;
-
-      if (this.supportDynamicHeights) {
-        this._rerender(this.scrollTop, this.renderHeight);
-      }
-
-      if (this.horizontalScrolling) {
-        this.scrollableElement.setScrollDimensions({
-          width: typeof width === 'number' ? width : dom_1.getContentWidth(this.domNode)
-        });
-      }
-    }
-  } // Render
-
-
-  render(previousRenderRange, renderTop, renderHeight, renderLeft, scrollWidth, updateItemsInDOM = false) {
-    const renderRange = this.getRenderRange(renderTop, renderHeight);
-    const rangesToInsert = range_1.Range.relativeComplement(renderRange, previousRenderRange);
-    const rangesToRemove = range_1.Range.relativeComplement(previousRenderRange, renderRange);
-    const beforeElement = this.getNextToLastElement(rangesToInsert);
-
-    if (updateItemsInDOM) {
-      const rangesToUpdate = range_1.Range.intersect(previousRenderRange, renderRange);
-
-      for (let i = rangesToUpdate.start; i < rangesToUpdate.end; i++) {
-        this.updateItemInDOM(this.items[i], i);
-      }
-    }
-
-    for (const range of rangesToInsert) {
-      for (let i = range.start; i < range.end; i++) {
-        this.insertItemInDOM(i, beforeElement);
-      }
-    }
-
-    for (const range of rangesToRemove) {
-      for (let i = range.start; i < range.end; i++) {
-        this.removeItemFromDOM(i);
-      }
-    }
-
-    if (renderLeft !== undefined) {
-      this.rowsContainer.style.left = `-${renderLeft}px`;
-    }
-
-    this.rowsContainer.style.top = `-${renderTop}px`;
-
-    if (this.horizontalScrolling && scrollWidth !== undefined) {
-      this.rowsContainer.style.width = `${Math.max(scrollWidth, this.renderWidth)}px`;
-    }
-
-    this.lastRenderTop = renderTop;
-    this.lastRenderHeight = renderHeight;
-  } // DOM operations
-
-
-  insertItemInDOM(index, beforeElement) {
-    const item = this.items[index];
-
-    if (!item.row) {
-      item.row = this.cache.alloc(item.templateId);
-      const role = this.accessibilityProvider.getRole(item.element) || 'listitem';
-      item.row.domNode.setAttribute('role', role);
-      const checked = this.accessibilityProvider.isChecked(item.element);
-
-      if (typeof checked !== 'undefined') {
-        item.row.domNode.setAttribute('aria-checked', String(!!checked));
-      }
-    }
-
-    if (!item.row.domNode.parentElement) {
-      if (beforeElement) {
-        this.rowsContainer.insertBefore(item.row.domNode, beforeElement);
-      } else {
-        this.rowsContainer.appendChild(item.row.domNode);
-      }
-    }
-
-    this.updateItemInDOM(item, index);
-    const renderer = this.renderers.get(item.templateId);
-
-    if (!renderer) {
-      throw new Error(`No renderer found for template id ${item.templateId}`);
-    }
-
-    if (renderer) {
-      renderer.renderElement(item.element, index, item.row.templateData, item.size);
-    }
-
-    const uri = this.dnd.getDragURI(item.element);
-    item.dragStartDisposable.dispose();
-    item.row.domNode.draggable = !!uri;
-
-    if (uri) {
-      const onDragStart = event_2.domEvent(item.row.domNode, 'dragstart');
-      item.dragStartDisposable = onDragStart(event => this.onDragStart(item.element, uri, event));
-    }
-
-    if (this.horizontalScrolling) {
-      this.measureItemWidth(item);
-      this.eventuallyUpdateScrollWidth();
-    }
-  }
-
-  measureItemWidth(item) {
-    if (!item.row || !item.row.domNode) {
-      return;
-    }
-
-    item.row.domNode.style.width = browser_1.isFirefox ? '-moz-fit-content' : 'fit-content';
-    item.width = dom_1.getContentWidth(item.row.domNode);
-    const style = window.getComputedStyle(item.row.domNode);
-
-    if (style.paddingLeft) {
-      item.width += parseFloat(style.paddingLeft);
-    }
-
-    if (style.paddingRight) {
-      item.width += parseFloat(style.paddingRight);
-    }
-
-    item.row.domNode.style.width = '';
-  }
-
-  updateItemInDOM(item, index) {
-    item.row.domNode.style.top = `${this.elementTop(index)}px`;
-
-    if (this.setRowHeight) {
-      item.row.domNode.style.height = `${item.size}px`;
-    }
-
-    if (this.setRowLineHeight) {
-      item.row.domNode.style.lineHeight = `${item.size}px`;
-    }
-
-    item.row.domNode.setAttribute('data-index', `${index}`);
-    item.row.domNode.setAttribute('data-last-element', index === this.length - 1 ? 'true' : 'false');
-    item.row.domNode.setAttribute('aria-setsize', String(this.accessibilityProvider.getSetSize(item.element, index, this.length)));
-    item.row.domNode.setAttribute('aria-posinset', String(this.accessibilityProvider.getPosInSet(item.element, index)));
-    item.row.domNode.setAttribute('id', this.getElementDomId(index));
-    item.row.domNode.classList.toggle('drop-target', item.dropTarget);
-  }
-
-  removeItemFromDOM(index) {
-    const item = this.items[index];
-    item.dragStartDisposable.dispose();
-    const renderer = this.renderers.get(item.templateId);
-
-    if (item.row && renderer && renderer.disposeElement) {
-      renderer.disposeElement(item.element, index, item.row.templateData, item.size);
-    }
-
-    this.cache.release(item.row);
-    item.row = null;
-
-    if (this.horizontalScrolling) {
-      this.eventuallyUpdateScrollWidth();
-    }
-  }
-
-  getScrollTop() {
-    const scrollPosition = this.scrollableElement.getScrollPosition();
-    return scrollPosition.scrollTop;
-  }
-
-  setScrollTop(scrollTop) {
-    if (this.scrollableElementUpdateDisposable) {
-      this.scrollableElementUpdateDisposable.dispose();
-      this.scrollableElementUpdateDisposable = null;
-      this.scrollableElement.setScrollDimensions({
-        scrollHeight: this.scrollHeight
-      });
-    }
-
-    this.scrollableElement.setScrollPosition({
-      scrollTop
-    });
-  }
-
-  getScrollLeft() {
-    const scrollPosition = this.scrollableElement.getScrollPosition();
-    return scrollPosition.scrollLeft;
-  }
-
-  setScrollLeft(scrollLeft) {
-    if (this.scrollableElementUpdateDisposable) {
-      this.scrollableElementUpdateDisposable.dispose();
-      this.scrollableElementUpdateDisposable = null;
-      this.scrollableElement.setScrollDimensions({
-        scrollWidth: this.scrollWidth
-      });
-    }
-
-    this.scrollableElement.setScrollPosition({
-      scrollLeft
-    });
-  }
-
-  get scrollTop() {
-    return this.getScrollTop();
-  }
-
-  set scrollTop(scrollTop) {
-    this.setScrollTop(scrollTop);
-  }
-
-  get scrollHeight() {
-    return this._scrollHeight + (this.horizontalScrolling ? 10 : 0) + this.additionalScrollHeight;
-  } // Events
-
-
-  get onMouseClick() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'click'), e => this.toMouseEvent(e));
-  }
-
-  get onMouseDblClick() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'dblclick'), e => this.toMouseEvent(e));
-  }
-
-  get onMouseMiddleClick() {
-    return event_1.Event.filter(event_1.Event.map(event_2.domEvent(this.domNode, 'auxclick'), e => this.toMouseEvent(e)), e => e.browserEvent.button === 1);
-  }
-
-  get onMouseUp() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'mouseup'), e => this.toMouseEvent(e));
-  }
-
-  get onMouseDown() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'mousedown'), e => this.toMouseEvent(e));
-  }
-
-  get onMouseOver() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'mouseover'), e => this.toMouseEvent(e));
-  }
-
-  get onMouseMove() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'mousemove'), e => this.toMouseEvent(e));
-  }
-
-  get onMouseOut() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'mouseout'), e => this.toMouseEvent(e));
-  }
-
-  get onContextMenu() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'contextmenu'), e => this.toMouseEvent(e));
-  }
-
-  get onTouchStart() {
-    return event_1.Event.map(event_2.domEvent(this.domNode, 'touchstart'), e => this.toTouchEvent(e));
-  }
-
-  get onTap() {
-    return event_1.Event.map(event_2.domEvent(this.rowsContainer, touch_1.EventType.Tap), e => this.toGestureEvent(e));
-  }
-
-  toMouseEvent(browserEvent) {
-    const index = this.getItemIndexFromEventTarget(browserEvent.target || null);
-    const item = typeof index === 'undefined' ? undefined : this.items[index];
-    const element = item && item.element;
-    return {
-      browserEvent,
-      index,
-      element
-    };
-  }
-
-  toTouchEvent(browserEvent) {
-    const index = this.getItemIndexFromEventTarget(browserEvent.target || null);
-    const item = typeof index === 'undefined' ? undefined : this.items[index];
-    const element = item && item.element;
-    return {
-      browserEvent,
-      index,
-      element
-    };
-  }
-
-  toGestureEvent(browserEvent) {
-    const index = this.getItemIndexFromEventTarget(browserEvent.initialTarget || null);
-    const item = typeof index === 'undefined' ? undefined : this.items[index];
-    const element = item && item.element;
-    return {
-      browserEvent,
-      index,
-      element
-    };
-  }
-
-  toDragEvent(browserEvent) {
-    const index = this.getItemIndexFromEventTarget(browserEvent.target || null);
-    const item = typeof index === 'undefined' ? undefined : this.items[index];
-    const element = item && item.element;
-    return {
-      browserEvent,
-      index,
-      element
-    };
-  }
-
-  onScroll(e) {
-    try {
-      const previousRenderRange = this.getRenderRange(this.lastRenderTop, this.lastRenderHeight);
-      this.render(previousRenderRange, e.scrollTop, e.height, e.scrollLeft, e.scrollWidth);
-
-      if (this.supportDynamicHeights) {
-        // Don't update scrollTop from within an scroll event
-        // so we don't break smooth scrolling. #104144
-        this._rerender(e.scrollTop, e.height, false);
-      }
-    } catch (err) {
-      console.error('Got bad scroll event:', e);
-      throw err;
-    }
-  }
-
-  onTouchChange(event) {
-    event.preventDefault();
-    event.stopPropagation();
-    this.scrollTop -= event.translationY;
-  } // DND
-
-
-  onDragStart(element, uri, event) {
-    if (!event.dataTransfer) {
-      return;
-    }
-
-    const elements = this.dnd.getDragElements(element);
-    event.dataTransfer.effectAllowed = 'copyMove';
-    event.dataTransfer.setData(dnd_1.DataTransfers.RESOURCES, JSON.stringify([uri]));
-
-    if (event.dataTransfer.setDragImage) {
-      let label;
-
-      if (this.dnd.getDragLabel) {
-        label = this.dnd.getDragLabel(elements, event);
-      }
-
-      if (typeof label === 'undefined') {
-        label = String(elements.length);
-      }
-
-      const dragImage = dom_1.$('.monaco-drag-image');
-      dragImage.textContent = label;
-      document.body.appendChild(dragImage);
-      event.dataTransfer.setDragImage(dragImage, -10, -10);
-      setTimeout(() => document.body.removeChild(dragImage), 0);
-    }
-
-    this.currentDragData = new ElementsDragAndDropData(elements);
-    dnd_1.StaticDND.CurrentDragAndDropData = new ExternalElementsDragAndDropData(elements);
-
-    if (this.dnd.onDragStart) {
-      this.dnd.onDragStart(this.currentDragData, event);
-    }
-  }
-
-  onDragOver(event) {
-    event.browserEvent.preventDefault(); // needed so that the drop event fires (https://stackoverflow.com/questions/21339924/drop-event-not-firing-in-chrome)
-
-    this.onDragLeaveTimeout.dispose();
-
-    if (dnd_1.StaticDND.CurrentDragAndDropData && dnd_1.StaticDND.CurrentDragAndDropData.getData() === 'vscode-ui') {
-      return false;
-    }
-
-    this.setupDragAndDropScrollTopAnimation(event.browserEvent);
-
-    if (!event.browserEvent.dataTransfer) {
-      return false;
-    } // Drag over from outside
-
-
-    if (!this.currentDragData) {
-      if (dnd_1.StaticDND.CurrentDragAndDropData) {
-        // Drag over from another list
-        this.currentDragData = dnd_1.StaticDND.CurrentDragAndDropData;
-      } else {
-        // Drag over from the desktop
-        if (!event.browserEvent.dataTransfer.types) {
-          return false;
-        }
-
-        this.currentDragData = new NativeDragAndDropData();
-      }
-    }
-
-    const result = this.dnd.onDragOver(this.currentDragData, event.element, event.index, event.browserEvent);
-    this.canDrop = typeof result === 'boolean' ? result : result.accept;
-
-    if (!this.canDrop) {
-      this.currentDragFeedback = undefined;
-      this.currentDragFeedbackDisposable.dispose();
-      return false;
-    }
-
-    event.browserEvent.dataTransfer.dropEffect = typeof result !== 'boolean' && result.effect === 0
-    /* Copy */
-    ? 'copy' : 'move';
-    let feedback;
-
-    if (typeof result !== 'boolean' && result.feedback) {
-      feedback = result.feedback;
-    } else {
-      if (typeof event.index === 'undefined') {
-        feedback = [-1];
-      } else {
-        feedback = [event.index];
-      }
-    } // sanitize feedback list
-
-
-    feedback = arrays_1.distinct(feedback).filter(i => i >= -1 && i < this.length).sort((a, b) => a - b);
-    feedback = feedback[0] === -1 ? [-1] : feedback;
-
-    if (equalsDragFeedback(this.currentDragFeedback, feedback)) {
-      return true;
-    }
-
-    this.currentDragFeedback = feedback;
-    this.currentDragFeedbackDisposable.dispose();
-
-    if (feedback[0] === -1) {
-      // entire list feedback
-      this.domNode.classList.add('drop-target');
-      this.rowsContainer.classList.add('drop-target');
-      this.currentDragFeedbackDisposable = lifecycle_1.toDisposable(() => {
-        this.domNode.classList.remove('drop-target');
-        this.rowsContainer.classList.remove('drop-target');
-      });
-    } else {
-      for (const index of feedback) {
-        const item = this.items[index];
-        item.dropTarget = true;
-
-        if (item.row && item.row.domNode) {
-          item.row.domNode.classList.add('drop-target');
-        }
-      }
-
-      this.currentDragFeedbackDisposable = lifecycle_1.toDisposable(() => {
-        for (const index of feedback) {
-          const item = this.items[index];
-          item.dropTarget = false;
-
-          if (item.row && item.row.domNode) {
-            item.row.domNode.classList.remove('drop-target');
-          }
-        }
-      });
-    }
-
-    return true;
-  }
-
-  onDragLeave() {
-    this.onDragLeaveTimeout.dispose();
-    this.onDragLeaveTimeout = async_1.disposableTimeout(() => this.clearDragOverFeedback(), 100);
-  }
-
-  onDrop(event) {
-    if (!this.canDrop) {
-      return;
-    }
-
-    const dragData = this.currentDragData;
-    this.teardownDragAndDropScrollTopAnimation();
-    this.clearDragOverFeedback();
-    this.currentDragData = undefined;
-    dnd_1.StaticDND.CurrentDragAndDropData = undefined;
-
-    if (!dragData || !event.browserEvent.dataTransfer) {
-      return;
-    }
-
-    event.browserEvent.preventDefault();
-    dragData.update(event.browserEvent.dataTransfer);
-    this.dnd.drop(dragData, event.element, event.index, event.browserEvent);
-  }
-
-  onDragEnd(event) {
-    this.canDrop = false;
-    this.teardownDragAndDropScrollTopAnimation();
-    this.clearDragOverFeedback();
-    this.currentDragData = undefined;
-    dnd_1.StaticDND.CurrentDragAndDropData = undefined;
-
-    if (this.dnd.onDragEnd) {
-      this.dnd.onDragEnd(event);
-    }
-  }
-
-  clearDragOverFeedback() {
-    this.currentDragFeedback = undefined;
-    this.currentDragFeedbackDisposable.dispose();
-    this.currentDragFeedbackDisposable = lifecycle_1.Disposable.None;
-  } // DND scroll top animation
-
-
-  setupDragAndDropScrollTopAnimation(event) {
-    if (!this.dragOverAnimationDisposable) {
-      const viewTop = dom_1.getTopLeftOffset(this.domNode).top;
-      this.dragOverAnimationDisposable = dom_1.animate(this.animateDragAndDropScrollTop.bind(this, viewTop));
-    }
-
-    this.dragOverAnimationStopDisposable.dispose();
-    this.dragOverAnimationStopDisposable = async_1.disposableTimeout(() => {
-      if (this.dragOverAnimationDisposable) {
-        this.dragOverAnimationDisposable.dispose();
-        this.dragOverAnimationDisposable = undefined;
-      }
-    }, 1000);
-    this.dragOverMouseY = event.pageY;
-  }
-
-  animateDragAndDropScrollTop(viewTop) {
-    if (this.dragOverMouseY === undefined) {
-      return;
-    }
-
-    const diff = this.dragOverMouseY - viewTop;
-    const upperLimit = this.renderHeight - 35;
-
-    if (diff < 35) {
-      this.scrollTop += Math.max(-14, Math.floor(0.3 * (diff - 35)));
-    } else if (diff > upperLimit) {
-      this.scrollTop += Math.min(14, Math.floor(0.3 * (diff - upperLimit)));
-    }
-  }
-
-  teardownDragAndDropScrollTopAnimation() {
-    this.dragOverAnimationStopDisposable.dispose();
-
-    if (this.dragOverAnimationDisposable) {
-      this.dragOverAnimationDisposable.dispose();
-      this.dragOverAnimationDisposable = undefined;
-    }
-  } // Util
-
-
-  getItemIndexFromEventTarget(target) {
-    const scrollableElement = this.scrollableElement.getDomNode();
-    let element = target;
-
-    while (element instanceof HTMLElement && element !== this.rowsContainer && scrollableElement.contains(element)) {
-      const rawIndex = element.getAttribute('data-index');
-
-      if (rawIndex) {
-        const index = Number(rawIndex);
-
-        if (!isNaN(index)) {
-          return index;
-        }
-      }
-
-      element = element.parentElement;
-    }
-
-    return undefined;
-  }
-
-  getRenderRange(renderTop, renderHeight) {
-    return {
-      start: this.rangeMap.indexAt(renderTop),
-      end: this.rangeMap.indexAfter(renderTop + renderHeight - 1)
-    };
-  }
-  /**
-   * Given a stable rendered state, checks every rendered element whether it needs
-   * to be probed for dynamic height. Adjusts scroll height and top if necessary.
-   */
-
-
-  _rerender(renderTop, renderHeight, updateScrollTop = true) {
-    const previousRenderRange = this.getRenderRange(renderTop, renderHeight); // Let's remember the second element's position, this helps in scrolling up
-    // and preserving a linear upwards scroll movement
-
-    let anchorElementIndex;
-    let anchorElementTopDelta;
-
-    if (renderTop === this.elementTop(previousRenderRange.start)) {
-      anchorElementIndex = previousRenderRange.start;
-      anchorElementTopDelta = 0;
-    } else if (previousRenderRange.end - previousRenderRange.start > 1) {
-      anchorElementIndex = previousRenderRange.start + 1;
-      anchorElementTopDelta = this.elementTop(anchorElementIndex) - renderTop;
-    }
-
-    let heightDiff = 0;
-
-    while (true) {
-      const renderRange = this.getRenderRange(renderTop, renderHeight);
-      let didChange = false;
-
-      for (let i = renderRange.start; i < renderRange.end; i++) {
-        const diff = this.probeDynamicHeight(i);
-
-        if (diff !== 0) {
-          this.rangeMap.splice(i, 1, [this.items[i]]);
-        }
-
-        heightDiff += diff;
-        didChange = didChange || diff !== 0;
-      }
-
-      if (!didChange) {
-        if (heightDiff !== 0) {
-          this.eventuallyUpdateScrollDimensions();
-        }
-
-        const unrenderRanges = range_1.Range.relativeComplement(previousRenderRange, renderRange);
-
-        for (const range of unrenderRanges) {
-          for (let i = range.start; i < range.end; i++) {
-            if (this.items[i].row) {
-              this.removeItemFromDOM(i);
-            }
-          }
-        }
-
-        const renderRanges = range_1.Range.relativeComplement(renderRange, previousRenderRange);
-
-        for (const range of renderRanges) {
-          for (let i = range.start; i < range.end; i++) {
-            const afterIndex = i + 1;
-            const beforeRow = afterIndex < this.items.length ? this.items[afterIndex].row : null;
-            const beforeElement = beforeRow ? beforeRow.domNode : null;
-            this.insertItemInDOM(i, beforeElement);
-          }
-        }
-
-        for (let i = renderRange.start; i < renderRange.end; i++) {
-          if (this.items[i].row) {
-            this.updateItemInDOM(this.items[i], i);
-          }
-        }
-
-        if (updateScrollTop && typeof anchorElementIndex === 'number') {
-          this.scrollTop = this.elementTop(anchorElementIndex) - anchorElementTopDelta;
-        }
-
-        this._onDidChangeContentHeight.fire(this.contentHeight);
-
-        return;
-      }
-    }
-  }
-
-  probeDynamicHeight(index) {
-    const item = this.items[index];
-
-    if (!item.hasDynamicHeight || item.lastDynamicHeightWidth === this.renderWidth) {
-      return 0;
-    }
-
-    if (!!this.virtualDelegate.hasDynamicHeight && !this.virtualDelegate.hasDynamicHeight(item.element)) {
-      return 0;
-    }
-
-    const size = item.size;
-
-    if (!this.setRowHeight && item.row && item.row.domNode) {
-      let newSize = item.row.domNode.offsetHeight;
-      item.size = newSize;
-      item.lastDynamicHeightWidth = this.renderWidth;
-      return newSize - size;
-    }
-
-    const row = this.cache.alloc(item.templateId);
-    row.domNode.style.height = '';
-    this.rowsContainer.appendChild(row.domNode);
-    const renderer = this.renderers.get(item.templateId);
-
-    if (renderer) {
-      renderer.renderElement(item.element, index, row.templateData, undefined);
-
-      if (renderer.disposeElement) {
-        renderer.disposeElement(item.element, index, row.templateData, undefined);
-      }
-    }
-
-    item.size = row.domNode.offsetHeight;
-
-    if (this.virtualDelegate.setDynamicHeight) {
-      this.virtualDelegate.setDynamicHeight(item.element, item.size);
-    }
-
-    item.lastDynamicHeightWidth = this.renderWidth;
-    this.rowsContainer.removeChild(row.domNode);
-    this.cache.release(row);
-    return item.size - size;
-  }
-
-  getNextToLastElement(ranges) {
-    const lastRange = ranges[ranges.length - 1];
-
-    if (!lastRange) {
-      return null;
-    }
-
-    const nextToLastItem = this.items[lastRange.end];
-
-    if (!nextToLastItem) {
-      return null;
-    }
-
-    if (!nextToLastItem.row) {
-      return null;
-    }
-
-    return nextToLastItem.row.domNode;
-  }
-
-  getElementDomId(index) {
-    return `${this.domId}_${index}`;
-  } // Dispose
-
-
-  dispose() {
-    if (this.items) {
-      for (const item of this.items) {
-        if (item.row) {
-          const renderer = this.renderers.get(item.row.templateId);
-
-          if (renderer) {
-            renderer.disposeTemplate(item.row.templateData);
-          }
-        }
-      }
-
-      this.items = [];
-    }
-
-    if (this.domNode && this.domNode.parentNode) {
-      this.domNode.parentNode.removeChild(this.domNode);
-    }
-
-    lifecycle_1.dispose(this.disposables);
-  }
-
-}
-
-ListView.InstanceCount = 0;
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseClick", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseDblClick", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseMiddleClick", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseUp", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseDown", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseOver", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseMove", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onMouseOut", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onContextMenu", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onTouchStart", null);
-
-__decorate([decorators_1.memoize], ListView.prototype, "onTap", null);
-
-exports.ListView = ListView;