claude-flow-novice 2.2.1 → 2.2.3

package/dist/src/web/frontend/node_modules/.monaco-editor-MndU045b/esm/vs/base/browser/ui/tree/abstractTree.js

@@ -0,0 +1,1644 @@
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *  Licensed under the MIT License. See License.txt in the project root for license information.
+ *--------------------------------------------------------------------------------------------*/
+import { $, append, clearNode, createStyleSheet, getWindow, h, hasParentWithClass } from '../../dom.js';
+import { DomEmitter } from '../../event.js';
+import { StandardKeyboardEvent } from '../../keyboardEvent.js';
+import { ActionBar } from '../actionbar/actionbar.js';
+import { FindInput } from '../findinput/findInput.js';
+import { unthemedInboxStyles } from '../inputbox/inputBox.js';
+import { ElementsDragAndDropData } from '../list/listView.js';
+import { isActionItem, isButton, isInputElement, isMonacoCustomToggle, isMonacoEditor, isStickyScrollElement, List, MouseController } from '../list/listWidget.js';
+import { Toggle, unthemedToggleStyles } from '../toggle/toggle.js';
+import { getVisibleState, isFilterResult } from './indexTreeModel.js';
+import { TreeMouseEventTarget } from './tree.js';
+import { Action } from '../../../common/actions.js';
+import { distinct, equals, range } from '../../../common/arrays.js';
+import { Delayer, disposableTimeout, timeout } from '../../../common/async.js';
+import { Codicon } from '../../../common/codicons.js';
+import { ThemeIcon } from '../../../common/themables.js';
+import { SetMap } from '../../../common/map.js';
+import { Emitter, Event, EventBufferer, Relay } from '../../../common/event.js';
+import { fuzzyScore, FuzzyScore } from '../../../common/filters.js';
+import { Disposable, DisposableStore, dispose, toDisposable } from '../../../common/lifecycle.js';
+import { clamp } from '../../../common/numbers.js';
+import { isNumber } from '../../../common/types.js';
+import './media/tree.css';
+import { localize } from '../../../../nls.js';
+class TreeElementsDragAndDropData extends ElementsDragAndDropData {
+    constructor(data) {
+        super(data.elements.map(node => node.element));
+        this.data = data;
+    }
+}
+function asTreeDragAndDropData(data) {
+    if (data instanceof ElementsDragAndDropData) {
+        return new TreeElementsDragAndDropData(data);
+    }
+    return data;
+}
+class TreeNodeListDragAndDrop {
+    constructor(modelProvider, dnd) {
+        this.modelProvider = modelProvider;
+        this.dnd = dnd;
+        this.autoExpandDisposable = Disposable.None;
+        this.disposables = new DisposableStore();
+    }
+    getDragURI(node) {
+        return this.dnd.getDragURI(node.element);
+    }
+    getDragLabel(nodes, originalEvent) {
+        if (this.dnd.getDragLabel) {
+            return this.dnd.getDragLabel(nodes.map(node => node.element), originalEvent);
+        }
+        return undefined;
+    }
+    onDragStart(data, originalEvent) {
+        var _a, _b;
+        (_b = (_a = this.dnd).onDragStart) === null || _b === void 0 ? void 0 : _b.call(_a, asTreeDragAndDropData(data), originalEvent);
+    }
+    onDragOver(data, targetNode, targetIndex, originalEvent, raw = true) {
+        const result = this.dnd.onDragOver(asTreeDragAndDropData(data), targetNode && targetNode.element, targetIndex, originalEvent);
+        const didChangeAutoExpandNode = this.autoExpandNode !== targetNode;
+        if (didChangeAutoExpandNode) {
+            this.autoExpandDisposable.dispose();
+            this.autoExpandNode = targetNode;
+        }
+        if (typeof targetNode === 'undefined') {
+            return result;
+        }
+        if (didChangeAutoExpandNode && typeof result !== 'boolean' && result.autoExpand) {
+            this.autoExpandDisposable = disposableTimeout(() => {
+                const model = this.modelProvider();
+                const ref = model.getNodeLocation(targetNode);
+                if (model.isCollapsed(ref)) {
+                    model.setCollapsed(ref, false);
+                }
+                this.autoExpandNode = undefined;
+            }, 500, this.disposables);
+        }
+        if (typeof result === 'boolean' || !result.accept || typeof result.bubble === 'undefined' || result.feedback) {
+            if (!raw) {
+                const accept = typeof result === 'boolean' ? result : result.accept;
+                const effect = typeof result === 'boolean' ? undefined : result.effect;
+                return { accept, effect, feedback: [targetIndex] };
+            }
+            return result;
+        }
+        if (result.bubble === 1 /* TreeDragOverBubble.Up */) {
+            const model = this.modelProvider();
+            const ref = model.getNodeLocation(targetNode);
+            const parentRef = model.getParentNodeLocation(ref);
+            const parentNode = model.getNode(parentRef);
+            const parentIndex = parentRef && model.getListIndex(parentRef);
+            return this.onDragOver(data, parentNode, parentIndex, originalEvent, false);
+        }
+        const model = this.modelProvider();
+        const ref = model.getNodeLocation(targetNode);
+        const start = model.getListIndex(ref);
+        const length = model.getListRenderCount(ref);
+        return { ...result, feedback: range(start, start + length) };
+    }
+    drop(data, targetNode, targetIndex, originalEvent) {
+        this.autoExpandDisposable.dispose();
+        this.autoExpandNode = undefined;
+        this.dnd.drop(asTreeDragAndDropData(data), targetNode && targetNode.element, targetIndex, originalEvent);
+    }
+    onDragEnd(originalEvent) {
+        var _a, _b;
+        (_b = (_a = this.dnd).onDragEnd) === null || _b === void 0 ? void 0 : _b.call(_a, originalEvent);
+    }
+    dispose() {
+        this.disposables.dispose();
+        this.dnd.dispose();
+    }
+}
+function asListOptions(modelProvider, options) {
+    return options && {
+        ...options,
+        identityProvider: options.identityProvider && {
+            getId(el) {
+                return options.identityProvider.getId(el.element);
+            }
+        },
+        dnd: options.dnd && new TreeNodeListDragAndDrop(modelProvider, options.dnd),
+        multipleSelectionController: options.multipleSelectionController && {
+            isSelectionSingleChangeEvent(e) {
+                return options.multipleSelectionController.isSelectionSingleChangeEvent({ ...e, element: e.element });
+            },
+            isSelectionRangeChangeEvent(e) {
+                return options.multipleSelectionController.isSelectionRangeChangeEvent({ ...e, element: e.element });
+            }
+        },
+        accessibilityProvider: options.accessibilityProvider && {
+            ...options.accessibilityProvider,
+            getSetSize(node) {
+                const model = modelProvider();
+                const ref = model.getNodeLocation(node);
+                const parentRef = model.getParentNodeLocation(ref);
+                const parentNode = model.getNode(parentRef);
+                return parentNode.visibleChildrenCount;
+            },
+            getPosInSet(node) {
+                return node.visibleChildIndex + 1;
+            },
+            isChecked: options.accessibilityProvider && options.accessibilityProvider.isChecked ? (node) => {
+                return options.accessibilityProvider.isChecked(node.element);
+            } : undefined,
+            getRole: options.accessibilityProvider && options.accessibilityProvider.getRole ? (node) => {
+                return options.accessibilityProvider.getRole(node.element);
+            } : () => 'treeitem',
+            getAriaLabel(e) {
+                return options.accessibilityProvider.getAriaLabel(e.element);
+            },
+            getWidgetAriaLabel() {
+                return options.accessibilityProvider.getWidgetAriaLabel();
+            },
+            getWidgetRole: options.accessibilityProvider && options.accessibilityProvider.getWidgetRole ? () => options.accessibilityProvider.getWidgetRole() : () => 'tree',
+            getAriaLevel: options.accessibilityProvider && options.accessibilityProvider.getAriaLevel ? (node) => options.accessibilityProvider.getAriaLevel(node.element) : (node) => {
+                return node.depth;
+            },
+            getActiveDescendantId: options.accessibilityProvider.getActiveDescendantId && (node => {
+                return options.accessibilityProvider.getActiveDescendantId(node.element);
+            })
+        },
+        keyboardNavigationLabelProvider: options.keyboardNavigationLabelProvider && {
+            ...options.keyboardNavigationLabelProvider,
+            getKeyboardNavigationLabel(node) {
+                return options.keyboardNavigationLabelProvider.getKeyboardNavigationLabel(node.element);
+            }
+        }
+    };
+}
+export class ComposedTreeDelegate {
+    constructor(delegate) {
+        this.delegate = delegate;
+    }
+    getHeight(element) {
+        return this.delegate.getHeight(element.element);
+    }
+    getTemplateId(element) {
+        return this.delegate.getTemplateId(element.element);
+    }
+    hasDynamicHeight(element) {
+        return !!this.delegate.hasDynamicHeight && this.delegate.hasDynamicHeight(element.element);
+    }
+    setDynamicHeight(element, height) {
+        var _a, _b;
+        (_b = (_a = this.delegate).setDynamicHeight) === null || _b === void 0 ? void 0 : _b.call(_a, element.element, height);
+    }
+}
+export var RenderIndentGuides;
+(function (RenderIndentGuides) {
+    RenderIndentGuides["None"] = "none";
+    RenderIndentGuides["OnHover"] = "onHover";
+    RenderIndentGuides["Always"] = "always";
+})(RenderIndentGuides || (RenderIndentGuides = {}));
+class EventCollection {
+    get elements() {
+        return this._elements;
+    }
+    constructor(onDidChange, _elements = []) {
+        this._elements = _elements;
+        this.disposables = new DisposableStore();
+        this.onDidChange = Event.forEach(onDidChange, elements => this._elements = elements, this.disposables);
+    }
+    dispose() {
+        this.disposables.dispose();
+    }
+}
+export class TreeRenderer {
+    constructor(renderer, modelProvider, onDidChangeCollapseState, activeNodes, renderedIndentGuides, options = {}) {
+        var _a;
+        this.renderer = renderer;
+        this.modelProvider = modelProvider;
+        this.activeNodes = activeNodes;
+        this.renderedIndentGuides = renderedIndentGuides;
+        this.renderedElements = new Map();
+        this.renderedNodes = new Map();
+        this.indent = TreeRenderer.DefaultIndent;
+        this.hideTwistiesOfChildlessElements = false;
+        this.shouldRenderIndentGuides = false;
+        this.activeIndentNodes = new Set();
+        this.indentGuidesDisposable = Disposable.None;
+        this.disposables = new DisposableStore();
+        this.templateId = renderer.templateId;
+        this.updateOptions(options);
+        Event.map(onDidChangeCollapseState, e => e.node)(this.onDidChangeNodeTwistieState, this, this.disposables);
+        (_a = renderer.onDidChangeTwistieState) === null || _a === void 0 ? void 0 : _a.call(renderer, this.onDidChangeTwistieState, this, this.disposables);
+    }
+    updateOptions(options = {}) {
+        if (typeof options.indent !== 'undefined') {
+            const indent = clamp(options.indent, 0, 40);
+            if (indent !== this.indent) {
+                this.indent = indent;
+                for (const [node, templateData] of this.renderedNodes) {
+                    this.renderTreeElement(node, templateData);
+                }
+            }
+        }
+        if (typeof options.renderIndentGuides !== 'undefined') {
+            const shouldRenderIndentGuides = options.renderIndentGuides !== RenderIndentGuides.None;
+            if (shouldRenderIndentGuides !== this.shouldRenderIndentGuides) {
+                this.shouldRenderIndentGuides = shouldRenderIndentGuides;
+                for (const [node, templateData] of this.renderedNodes) {
+                    this._renderIndentGuides(node, templateData);
+                }
+                this.indentGuidesDisposable.dispose();
+                if (shouldRenderIndentGuides) {
+                    const disposables = new DisposableStore();
+                    this.activeNodes.onDidChange(this._onDidChangeActiveNodes, this, disposables);
+                    this.indentGuidesDisposable = disposables;
+                    this._onDidChangeActiveNodes(this.activeNodes.elements);
+                }
+            }
+        }
+        if (typeof options.hideTwistiesOfChildlessElements !== 'undefined') {
+            this.hideTwistiesOfChildlessElements = options.hideTwistiesOfChildlessElements;
+        }
+    }
+    renderTemplate(container) {
+        const el = append(container, $('.monaco-tl-row'));
+        const indent = append(el, $('.monaco-tl-indent'));
+        const twistie = append(el, $('.monaco-tl-twistie'));
+        const contents = append(el, $('.monaco-tl-contents'));
+        const templateData = this.renderer.renderTemplate(contents);
+        return { container, indent, twistie, indentGuidesDisposable: Disposable.None, templateData };
+    }
+    renderElement(node, index, templateData, height) {
+        this.renderedNodes.set(node, templateData);
+        this.renderedElements.set(node.element, node);
+        this.renderTreeElement(node, templateData);
+        this.renderer.renderElement(node, index, templateData.templateData, height);
+    }
+    disposeElement(node, index, templateData, height) {
+        var _a, _b;
+        templateData.indentGuidesDisposable.dispose();
+        (_b = (_a = this.renderer).disposeElement) === null || _b === void 0 ? void 0 : _b.call(_a, node, index, templateData.templateData, height);
+        if (typeof height === 'number') {
+            this.renderedNodes.delete(node);
+            this.renderedElements.delete(node.element);
+        }
+    }
+    disposeTemplate(templateData) {
+        this.renderer.disposeTemplate(templateData.templateData);
+    }
+    onDidChangeTwistieState(element) {
+        const node = this.renderedElements.get(element);
+        if (!node) {
+            return;
+        }
+        this.onDidChangeNodeTwistieState(node);
+    }
+    onDidChangeNodeTwistieState(node) {
+        const templateData = this.renderedNodes.get(node);
+        if (!templateData) {
+            return;
+        }
+        this._onDidChangeActiveNodes(this.activeNodes.elements);
+        this.renderTreeElement(node, templateData);
+    }
+    renderTreeElement(node, templateData) {
+        const indent = TreeRenderer.DefaultIndent + (node.depth - 1) * this.indent;
+        templateData.twistie.style.paddingLeft = `${indent}px`;
+        templateData.indent.style.width = `${indent + this.indent - 16}px`;
+        if (node.collapsible) {
+            templateData.container.setAttribute('aria-expanded', String(!node.collapsed));
+        }
+        else {
+            templateData.container.removeAttribute('aria-expanded');
+        }
+        templateData.twistie.classList.remove(...ThemeIcon.asClassNameArray(Codicon.treeItemExpanded));
+        let twistieRendered = false;
+        if (this.renderer.renderTwistie) {
+            twistieRendered = this.renderer.renderTwistie(node.element, templateData.twistie);
+        }
+        if (node.collapsible && (!this.hideTwistiesOfChildlessElements || node.visibleChildrenCount > 0)) {
+            if (!twistieRendered) {
+                templateData.twistie.classList.add(...ThemeIcon.asClassNameArray(Codicon.treeItemExpanded));
+            }
+            templateData.twistie.classList.add('collapsible');
+            templateData.twistie.classList.toggle('collapsed', node.collapsed);
+        }
+        else {
+            templateData.twistie.classList.remove('collapsible', 'collapsed');
+        }
+        this._renderIndentGuides(node, templateData);
+    }
+    _renderIndentGuides(node, templateData) {
+        clearNode(templateData.indent);
+        templateData.indentGuidesDisposable.dispose();
+        if (!this.shouldRenderIndentGuides) {
+            return;
+        }
+        const disposableStore = new DisposableStore();
+        const model = this.modelProvider();
+        while (true) {
+            const ref = model.getNodeLocation(node);
+            const parentRef = model.getParentNodeLocation(ref);
+            if (!parentRef) {
+                break;
+            }
+            const parent = model.getNode(parentRef);
+            const guide = $('.indent-guide', { style: `width: ${this.indent}px` });
+            if (this.activeIndentNodes.has(parent)) {
+                guide.classList.add('active');
+            }
+            if (templateData.indent.childElementCount === 0) {
+                templateData.indent.appendChild(guide);
+            }
+            else {
+                templateData.indent.insertBefore(guide, templateData.indent.firstElementChild);
+            }
+            this.renderedIndentGuides.add(parent, guide);
+            disposableStore.add(toDisposable(() => this.renderedIndentGuides.delete(parent, guide)));
+            node = parent;
+        }
+        templateData.indentGuidesDisposable = disposableStore;
+    }
+    _onDidChangeActiveNodes(nodes) {
+        if (!this.shouldRenderIndentGuides) {
+            return;
+        }
+        const set = new Set();
+        const model = this.modelProvider();
+        nodes.forEach(node => {
+            const ref = model.getNodeLocation(node);
+            try {
+                const parentRef = model.getParentNodeLocation(ref);
+                if (node.collapsible && node.children.length > 0 && !node.collapsed) {
+                    set.add(node);
+                }
+                else if (parentRef) {
+                    set.add(model.getNode(parentRef));
+                }
+            }
+            catch (_a) {
+                // noop
+            }
+        });
+        this.activeIndentNodes.forEach(node => {
+            if (!set.has(node)) {
+                this.renderedIndentGuides.forEach(node, line => line.classList.remove('active'));
+            }
+        });
+        set.forEach(node => {
+            if (!this.activeIndentNodes.has(node)) {
+                this.renderedIndentGuides.forEach(node, line => line.classList.add('active'));
+            }
+        });
+        this.activeIndentNodes = set;
+    }
+    dispose() {
+        this.renderedNodes.clear();
+        this.renderedElements.clear();
+        this.indentGuidesDisposable.dispose();
+        dispose(this.disposables);
+    }
+}
+TreeRenderer.DefaultIndent = 8;
+class FindFilter {
+    get totalCount() { return this._totalCount; }
+    get matchCount() { return this._matchCount; }
+    constructor(tree, keyboardNavigationLabelProvider, _filter) {
+        this.tree = tree;
+        this.keyboardNavigationLabelProvider = keyboardNavigationLabelProvider;
+        this._filter = _filter;
+        this._totalCount = 0;
+        this._matchCount = 0;
+        this._pattern = '';
+        this._lowercasePattern = '';
+        this.disposables = new DisposableStore();
+        tree.onWillRefilter(this.reset, this, this.disposables);
+    }
+    filter(element, parentVisibility) {
+        let visibility = 1 /* TreeVisibility.Visible */;
+        if (this._filter) {
+            const result = this._filter.filter(element, parentVisibility);
+            if (typeof result === 'boolean') {
+                visibility = result ? 1 /* TreeVisibility.Visible */ : 0 /* TreeVisibility.Hidden */;
+            }
+            else if (isFilterResult(result)) {
+                visibility = getVisibleState(result.visibility);
+            }
+            else {
+                visibility = result;
+            }
+            if (visibility === 0 /* TreeVisibility.Hidden */) {
+                return false;
+            }
+        }
+        this._totalCount++;
+        if (!this._pattern) {
+            this._matchCount++;
+            return { data: FuzzyScore.Default, visibility };
+        }
+        const label = this.keyboardNavigationLabelProvider.getKeyboardNavigationLabel(element);
+        const labels = Array.isArray(label) ? label : [label];
+        for (const l of labels) {
+            const labelStr = l && l.toString();
+            if (typeof labelStr === 'undefined') {
+                return { data: FuzzyScore.Default, visibility };
+            }
+            let score;
+            if (this.tree.findMatchType === TreeFindMatchType.Contiguous) {
+                const index = labelStr.toLowerCase().indexOf(this._lowercasePattern);
+                if (index > -1) {
+                    score = [Number.MAX_SAFE_INTEGER, 0];
+                    for (let i = this._lowercasePattern.length; i > 0; i--) {
+                        score.push(index + i - 1);
+                    }
+                }
+            }
+            else {
+                score = fuzzyScore(this._pattern, this._lowercasePattern, 0, labelStr, labelStr.toLowerCase(), 0, { firstMatchCanBeWeak: true, boostFullMatch: true });
+            }
+            if (score) {
+                this._matchCount++;
+                return labels.length === 1 ?
+                    { data: score, visibility } :
+                    { data: { label: labelStr, score: score }, visibility };
+            }
+        }
+        if (this.tree.findMode === TreeFindMode.Filter) {
+            if (typeof this.tree.options.defaultFindVisibility === 'number') {
+                return this.tree.options.defaultFindVisibility;
+            }
+            else if (this.tree.options.defaultFindVisibility) {
+                return this.tree.options.defaultFindVisibility(element);
+            }
+            else {
+                return 2 /* TreeVisibility.Recurse */;
+            }
+        }
+        else {
+            return { data: FuzzyScore.Default, visibility };
+        }
+    }
+    reset() {
+        this._totalCount = 0;
+        this._matchCount = 0;
+    }
+    dispose() {
+        dispose(this.disposables);
+    }
+}
+export class ModeToggle extends Toggle {
+    constructor(opts) {
+        var _a;
+        super({
+            icon: Codicon.listFilter,
+            title: localize('filter', "Filter"),
+            isChecked: (_a = opts.isChecked) !== null && _a !== void 0 ? _a : false,
+            inputActiveOptionBorder: opts.inputActiveOptionBorder,
+            inputActiveOptionForeground: opts.inputActiveOptionForeground,
+            inputActiveOptionBackground: opts.inputActiveOptionBackground
+        });
+    }
+}
+export class FuzzyToggle extends Toggle {
+    constructor(opts) {
+        var _a;
+        super({
+            icon: Codicon.searchFuzzy,
+            title: localize('fuzzySearch', "Fuzzy Match"),
+            isChecked: (_a = opts.isChecked) !== null && _a !== void 0 ? _a : false,
+            inputActiveOptionBorder: opts.inputActiveOptionBorder,
+            inputActiveOptionForeground: opts.inputActiveOptionForeground,
+            inputActiveOptionBackground: opts.inputActiveOptionBackground
+        });
+    }
+}
+const unthemedFindWidgetStyles = {
+    inputBoxStyles: unthemedInboxStyles,
+    toggleStyles: unthemedToggleStyles,
+    listFilterWidgetBackground: undefined,
+    listFilterWidgetNoMatchesOutline: undefined,
+    listFilterWidgetOutline: undefined,
+    listFilterWidgetShadow: undefined
+};
+export var TreeFindMode;
+(function (TreeFindMode) {
+    TreeFindMode[TreeFindMode["Highlight"] = 0] = "Highlight";
+    TreeFindMode[TreeFindMode["Filter"] = 1] = "Filter";
+})(TreeFindMode || (TreeFindMode = {}));
+export var TreeFindMatchType;
+(function (TreeFindMatchType) {
+    TreeFindMatchType[TreeFindMatchType["Fuzzy"] = 0] = "Fuzzy";
+    TreeFindMatchType[TreeFindMatchType["Contiguous"] = 1] = "Contiguous";
+})(TreeFindMatchType || (TreeFindMatchType = {}));
+class FindWidget extends Disposable {
+    set mode(mode) {
+        this.modeToggle.checked = mode === TreeFindMode.Filter;
+        this.findInput.inputBox.setPlaceHolder(mode === TreeFindMode.Filter ? localize('type to filter', "Type to filter") : localize('type to search', "Type to search"));
+    }
+    set matchType(matchType) {
+        this.matchTypeToggle.checked = matchType === TreeFindMatchType.Fuzzy;
+    }
+    constructor(container, tree, contextViewProvider, mode, matchType, options) {
+        var _a;
+        super();
+        this.tree = tree;
+        this.elements = h('.monaco-tree-type-filter', [
+            h('.monaco-tree-type-filter-grab.codicon.codicon-debug-gripper@grab', { tabIndex: 0 }),
+            h('.monaco-tree-type-filter-input@findInput'),
+            h('.monaco-tree-type-filter-actionbar@actionbar'),
+        ]);
+        this.width = 0;
+        this.right = 0;
+        this.top = 0;
+        this._onDidDisable = new Emitter();
+        container.appendChild(this.elements.root);
+        this._register(toDisposable(() => container.removeChild(this.elements.root)));
+        const styles = (_a = options === null || options === void 0 ? void 0 : options.styles) !== null && _a !== void 0 ? _a : unthemedFindWidgetStyles;
+        if (styles.listFilterWidgetBackground) {
+            this.elements.root.style.backgroundColor = styles.listFilterWidgetBackground;
+        }
+        if (styles.listFilterWidgetShadow) {
+            this.elements.root.style.boxShadow = `0 0 8px 2px ${styles.listFilterWidgetShadow}`;
+        }
+        this.modeToggle = this._register(new ModeToggle({ ...styles.toggleStyles, isChecked: mode === TreeFindMode.Filter }));
+        this.matchTypeToggle = this._register(new FuzzyToggle({ ...styles.toggleStyles, isChecked: matchType === TreeFindMatchType.Fuzzy }));
+        this.onDidChangeMode = Event.map(this.modeToggle.onChange, () => this.modeToggle.checked ? TreeFindMode.Filter : TreeFindMode.Highlight, this._store);
+        this.onDidChangeMatchType = Event.map(this.matchTypeToggle.onChange, () => this.matchTypeToggle.checked ? TreeFindMatchType.Fuzzy : TreeFindMatchType.Contiguous, this._store);
+        this.findInput = this._register(new FindInput(this.elements.findInput, contextViewProvider, {
+            label: localize('type to search', "Type to search"),
+            additionalToggles: [this.modeToggle, this.matchTypeToggle],
+            showCommonFindToggles: false,
+            inputBoxStyles: styles.inputBoxStyles,
+            toggleStyles: styles.toggleStyles,
+            history: options === null || options === void 0 ? void 0 : options.history
+        }));
+        this.actionbar = this._register(new ActionBar(this.elements.actionbar));
+        this.mode = mode;
+        const emitter = this._register(new DomEmitter(this.findInput.inputBox.inputElement, 'keydown'));
+        const onKeyDown = Event.chain(emitter.event, $ => $.map(e => new StandardKeyboardEvent(e)));
+        this._register(onKeyDown((e) => {
+            // Using equals() so we reserve modified keys for future use
+            if (e.equals(3 /* KeyCode.Enter */)) {
+                // This is the only keyboard way to return to the tree from a history item that isn't the last one
+                e.preventDefault();
+                e.stopPropagation();
+                this.findInput.inputBox.addToHistory();
+                this.tree.domFocus();
+                return;
+            }
+            if (e.equals(18 /* KeyCode.DownArrow */)) {
+                e.preventDefault();
+                e.stopPropagation();
+                if (this.findInput.inputBox.isAtLastInHistory() || this.findInput.inputBox.isNowhereInHistory()) {
+                    // Retain original pre-history DownArrow behavior
+                    this.findInput.inputBox.addToHistory();
+                    this.tree.domFocus();
+                }
+                else {
+                    // Downward through history
+                    this.findInput.inputBox.showNextValue();
+                }
+                return;
+            }
+            if (e.equals(16 /* KeyCode.UpArrow */)) {
+                e.preventDefault();
+                e.stopPropagation();
+                // Upward through history
+                this.findInput.inputBox.showPreviousValue();
+                return;
+            }
+        }));
+        const closeAction = this._register(new Action('close', localize('close', "Close"), 'codicon codicon-close', true, () => this.dispose()));
+        this.actionbar.push(closeAction, { icon: true, label: false });
+        const onGrabMouseDown = this._register(new DomEmitter(this.elements.grab, 'mousedown'));
+        this._register(onGrabMouseDown.event(e => {
+            const disposables = new DisposableStore();
+            const onWindowMouseMove = disposables.add(new DomEmitter(getWindow(e), 'mousemove'));
+            const onWindowMouseUp = disposables.add(new DomEmitter(getWindow(e), 'mouseup'));
+            const startRight = this.right;
+            const startX = e.pageX;
+            const startTop = this.top;
+            const startY = e.pageY;
+            this.elements.grab.classList.add('grabbing');
+            const transition = this.elements.root.style.transition;
+            this.elements.root.style.transition = 'unset';
+            const update = (e) => {
+                const deltaX = e.pageX - startX;
+                this.right = startRight - deltaX;
+                const deltaY = e.pageY - startY;
+                this.top = startTop + deltaY;
+                this.layout();
+            };
+            disposables.add(onWindowMouseMove.event(update));
+            disposables.add(onWindowMouseUp.event(e => {
+                update(e);
+                this.elements.grab.classList.remove('grabbing');
+                this.elements.root.style.transition = transition;
+                disposables.dispose();
+            }));
+        }));
+        const onGrabKeyDown = Event.chain(this._register(new DomEmitter(this.elements.grab, 'keydown')).event, $ => $.map(e => new StandardKeyboardEvent(e)));
+        this._register(onGrabKeyDown((e) => {
+            let right;
+            let top;
+            if (e.keyCode === 15 /* KeyCode.LeftArrow */) {
+                right = Number.POSITIVE_INFINITY;
+            }
+            else if (e.keyCode === 17 /* KeyCode.RightArrow */) {
+                right = 0;
+            }
+            else if (e.keyCode === 10 /* KeyCode.Space */) {
+                right = this.right === 0 ? Number.POSITIVE_INFINITY : 0;
+            }
+            if (e.keyCode === 16 /* KeyCode.UpArrow */) {
+                top = 0;
+            }
+            else if (e.keyCode === 18 /* KeyCode.DownArrow */) {
+                top = Number.POSITIVE_INFINITY;
+            }
+            if (right !== undefined) {
+                e.preventDefault();
+                e.stopPropagation();
+                this.right = right;
+                this.layout();
+            }
+            if (top !== undefined) {
+                e.preventDefault();
+                e.stopPropagation();
+                this.top = top;
+                const transition = this.elements.root.style.transition;
+                this.elements.root.style.transition = 'unset';
+                this.layout();
+                setTimeout(() => {
+                    this.elements.root.style.transition = transition;
+                }, 0);
+            }
+        }));
+        this.onDidChangeValue = this.findInput.onDidChange;
+    }
+    layout(width = this.width) {
+        this.width = width;
+        this.right = clamp(this.right, 0, Math.max(0, width - 212));
+        this.elements.root.style.right = `${this.right}px`;
+        this.top = clamp(this.top, 0, 24);
+        this.elements.root.style.top = `${this.top}px`;
+    }
+    showMessage(message) {
+        this.findInput.showMessage(message);
+    }
+    clearMessage() {
+        this.findInput.clearMessage();
+    }
+    async dispose() {
+        this._onDidDisable.fire();
+        this.elements.root.classList.add('disabled');
+        await timeout(300);
+        super.dispose();
+    }
+}
+class FindController {
+    get pattern() { return this._pattern; }
+    get mode() { return this._mode; }
+    set mode(mode) {
+        if (mode === this._mode) {
+            return;
+        }
+        this._mode = mode;
+        if (this.widget) {
+            this.widget.mode = this._mode;
+        }
+        this.tree.refilter();
+        this.render();
+        this._onDidChangeMode.fire(mode);
+    }
+    get matchType() { return this._matchType; }
+    set matchType(matchType) {
+        if (matchType === this._matchType) {
+            return;
+        }
+        this._matchType = matchType;
+        if (this.widget) {
+            this.widget.matchType = this._matchType;
+        }
+        this.tree.refilter();
+        this.render();
+        this._onDidChangeMatchType.fire(matchType);
+    }
+    constructor(tree, model, view, filter, contextViewProvider, options = {}) {
+        var _a, _b;
+        this.tree = tree;
+        this.view = view;
+        this.filter = filter;
+        this.contextViewProvider = contextViewProvider;
+        this.options = options;
+        this._pattern = '';
+        this.width = 0;
+        this._onDidChangeMode = new Emitter();
+        this.onDidChangeMode = this._onDidChangeMode.event;
+        this._onDidChangeMatchType = new Emitter();
+        this.onDidChangeMatchType = this._onDidChangeMatchType.event;
+        this._onDidChangePattern = new Emitter();
+        this._onDidChangeOpenState = new Emitter();
+        this.onDidChangeOpenState = this._onDidChangeOpenState.event;
+        this.enabledDisposables = new DisposableStore();
+        this.disposables = new DisposableStore();
+        this._mode = (_a = tree.options.defaultFindMode) !== null && _a !== void 0 ? _a : TreeFindMode.Highlight;
+        this._matchType = (_b = tree.options.defaultFindMatchType) !== null && _b !== void 0 ? _b : TreeFindMatchType.Fuzzy;
+        model.onDidSplice(this.onDidSpliceModel, this, this.disposables);
+    }
+    updateOptions(optionsUpdate = {}) {
+        if (optionsUpdate.defaultFindMode !== undefined) {
+            this.mode = optionsUpdate.defaultFindMode;
+        }
+        if (optionsUpdate.defaultFindMatchType !== undefined) {
+            this.matchType = optionsUpdate.defaultFindMatchType;
+        }
+    }
+    onDidSpliceModel() {
+        if (!this.widget || this.pattern.length === 0) {
+            return;
+        }
+        this.tree.refilter();
+        this.render();
+    }
+    render() {
+        var _a, _b, _c, _d;
+        const noMatches = this.filter.totalCount > 0 && this.filter.matchCount === 0;
+        if (this.pattern && noMatches) {
+            if ((_a = this.tree.options.showNotFoundMessage) !== null && _a !== void 0 ? _a : true) {
+                (_b = this.widget) === null || _b === void 0 ? void 0 : _b.showMessage({ type: 2 /* MessageType.WARNING */, content: localize('not found', "No elements found.") });
+            }
+            else {
+                (_c = this.widget) === null || _c === void 0 ? void 0 : _c.showMessage({ type: 2 /* MessageType.WARNING */ });
+            }
+        }
+        else {
+            (_d = this.widget) === null || _d === void 0 ? void 0 : _d.clearMessage();
+        }
+    }
+    shouldAllowFocus(node) {
+        if (!this.widget || !this.pattern || this._mode === TreeFindMode.Filter) {
+            return true;
+        }
+        if (this.filter.totalCount > 0 && this.filter.matchCount <= 1) {
+            return true;
+        }
+        return !FuzzyScore.isDefault(node.filterData);
+    }
+    layout(width) {
+        var _a;
+        this.width = width;
+        (_a = this.widget) === null || _a === void 0 ? void 0 : _a.layout(width);
+    }
+    dispose() {
+        this._history = undefined;
+        this._onDidChangePattern.dispose();
+        this.enabledDisposables.dispose();
+        this.disposables.dispose();
+    }
+}
+function stickyScrollNodeEquals(node1, node2) {
+    return node1.position === node2.position &&
+        node1.node.element === node2.node.element &&
+        node1.startIndex === node2.startIndex &&
+        node1.height === node2.height &&
+        node1.endIndex === node2.endIndex;
+}
+class StickyScrollState extends Disposable {
+    constructor(stickyNodes = []) {
+        super();
+        this.stickyNodes = stickyNodes;
+    }
+    get count() { return this.stickyNodes.length; }
+    equal(state) {
+        return equals(this.stickyNodes, state.stickyNodes, stickyScrollNodeEquals);
+    }
+    addDisposable(disposable) {
+        this._register(disposable);
+    }
+}
+class StickyScrollController extends Disposable {
+    get firstVisibleNode() {
+        const index = this.view.firstVisibleIndex;
+        if (index < 0 || index >= this.view.length) {
+            return undefined;
+        }
+        return this.view.element(index);
+    }
+    constructor(tree, model, view, renderers, treeDelegate, options = {}) {
+        super();
+        this.tree = tree;
+        this.model = model;
+        this.view = view;
+        this.treeDelegate = treeDelegate;
+        this.maxWidgetViewRatio = 0.4;
+        const stickyScrollOptions = this.validateStickySettings(options);
+        this.stickyScrollMaxItemCount = stickyScrollOptions.stickyScrollMaxItemCount;
+        this._widget = this._register(new StickyScrollWidget(view.getScrollableElement(), view, model, renderers, treeDelegate));
+        this._register(view.onDidScroll(() => this.update()));
+        this._register(view.onDidChangeContentHeight(() => this.update()));
+        this._register(tree.onDidChangeCollapseState(() => this.update()));
+        this.update();
+    }
+    update() {
+        const firstVisibleNode = this.firstVisibleNode;
+        // Don't render anything if there are no elements
+        if (!firstVisibleNode || this.tree.scrollTop === 0) {
+            this._widget.setState(undefined);
+            return;
+        }
+        const stickyState = this.findStickyState(firstVisibleNode);
+        this._widget.setState(stickyState);
+    }
+    findStickyState(firstVisibleNode) {
+        const stickyNodes = [];
+        const maximumStickyWidgetHeight = this.view.renderHeight * this.maxWidgetViewRatio;
+        let firstVisibleNodeUnderWidget = firstVisibleNode;
+        let stickyNodesHeight = 0;
+        let nextStickyNode = this.getNextStickyNode(firstVisibleNodeUnderWidget, undefined, stickyNodesHeight);
+        while (nextStickyNode && stickyNodesHeight + nextStickyNode.height < maximumStickyWidgetHeight) {
+            stickyNodes.push(nextStickyNode);
+            stickyNodesHeight += nextStickyNode.height;
+            if (stickyNodes.length >= this.stickyScrollMaxItemCount) {
+                break;
+            }
+            firstVisibleNodeUnderWidget = this.getNextVisibleNode(firstVisibleNodeUnderWidget);
+            if (!firstVisibleNodeUnderWidget) {
+                break;
+            }
+            nextStickyNode = this.getNextStickyNode(firstVisibleNodeUnderWidget, nextStickyNode.node, stickyNodesHeight);
+        }
+        return stickyNodes.length ? new StickyScrollState(stickyNodes) : undefined;
+    }
+    getNextVisibleNode(node) {
+        const nodeIndex = this.getNodeIndex(node);
+        if (nodeIndex === -1 || nodeIndex === this.view.length - 1) {
+            return undefined;
+        }
+        const nextNode = this.view.element(nodeIndex + 1);
+        return nextNode;
+    }
+    getNextStickyNode(firstVisibleNodeUnderWidget, previousStickyNode, stickyNodesHeight) {
+        const nextStickyNode = this.getAncestorUnderPrevious(firstVisibleNodeUnderWidget, previousStickyNode);
+        if (!nextStickyNode) {
+            return undefined;
+        }
+        if (nextStickyNode === firstVisibleNodeUnderWidget) {
+            if (!this.nodeIsUncollapsedParent(firstVisibleNodeUnderWidget)) {
+                return undefined;
+            }
+            if (this.nodeTopAlignsWithStickyNodesBottom(firstVisibleNodeUnderWidget, stickyNodesHeight)) {
+                return undefined;
+            }
+        }
+        return this.createStickyScrollNode(nextStickyNode, stickyNodesHeight);
+    }
+    nodeTopAlignsWithStickyNodesBottom(node, stickyNodesHeight) {
+        const nodeIndex = this.getNodeIndex(node);
+        const elementTop = this.view.getElementTop(nodeIndex);
+        const stickyPosition = stickyNodesHeight;
+        return this.view.scrollTop === elementTop - stickyPosition;
+    }
+    createStickyScrollNode(node, currentStickyNodesHeight) {
+        const height = this.treeDelegate.getHeight(node);
+        const { startIndex, endIndex } = this.getNodeRange(node);
+        const position = this.calculateStickyNodePosition(endIndex, currentStickyNodesHeight);
+        return { node, position, height, startIndex, endIndex };
+    }
+    getAncestorUnderPrevious(node, previousAncestor = undefined) {
+        let currentAncestor = node;
+        let parentOfcurrentAncestor = this.getParentNode(currentAncestor);
+        while (parentOfcurrentAncestor) {
+            if (parentOfcurrentAncestor === previousAncestor) {
+                return currentAncestor;
+            }
+            currentAncestor = parentOfcurrentAncestor;
+            parentOfcurrentAncestor = this.getParentNode(currentAncestor);
+        }
+        if (previousAncestor === undefined) {
+            return currentAncestor;
+        }
+        return undefined;
+    }
+    calculateStickyNodePosition(lastDescendantIndex, stickyRowPositionTop) {
+        let lastChildRelativeTop = this.view.getRelativeTop(lastDescendantIndex);
+        // If the last descendant is only partially visible at the top of the view, getRelativeTop() returns null
+        // In that case, utilize the next node's relative top to calculate the sticky node's position
+        if (lastChildRelativeTop === null && this.view.firstVisibleIndex === lastDescendantIndex && lastDescendantIndex + 1 < this.view.length) {
+            const nodeHeight = this.treeDelegate.getHeight(this.view.element(lastDescendantIndex));
+            const nextNodeRelativeTop = this.view.getRelativeTop(lastDescendantIndex + 1);
+            lastChildRelativeTop = nextNodeRelativeTop ? nextNodeRelativeTop - nodeHeight / this.view.renderHeight : null;
+        }
+        if (lastChildRelativeTop === null) {
+            return stickyRowPositionTop;
+        }
+        const lastChildNode = this.view.element(lastDescendantIndex);
+        const lastChildHeight = this.treeDelegate.getHeight(lastChildNode);
+        const topOfLastChild = lastChildRelativeTop * this.view.renderHeight;
+        const bottomOfLastChild = topOfLastChild + lastChildHeight;
+        if (stickyRowPositionTop > topOfLastChild && stickyRowPositionTop <= bottomOfLastChild) {
+            return topOfLastChild;
+        }
+        return stickyRowPositionTop;
+    }
+    getParentNode(node) {
+        const nodeLocation = this.model.getNodeLocation(node);
+        const parentLocation = this.model.getParentNodeLocation(nodeLocation);
+        return parentLocation ? this.model.getNode(parentLocation) : undefined;
+    }
+    nodeIsUncollapsedParent(node) {
+        const nodeLocation = this.model.getNodeLocation(node);
+        return this.model.getListRenderCount(nodeLocation) > 1;
+    }
+    getNodeIndex(node, nodeLocation) {
+        if (nodeLocation === undefined) {
+            nodeLocation = this.model.getNodeLocation(node);
+        }
+        const nodeIndex = this.model.getListIndex(nodeLocation);
+        return nodeIndex;
+    }
+    getNodeRange(node) {
+        const nodeLocation = this.model.getNodeLocation(node);
+        const startIndex = this.model.getListIndex(nodeLocation);
+        if (startIndex < 0) {
+            throw new Error('Node not found in tree');
+        }
+        const renderCount = this.model.getListRenderCount(nodeLocation);
+        const endIndex = startIndex + renderCount - 1;
+        return { startIndex, endIndex };
+    }
+    nodePositionTopBelowWidget(node) {
+        const ancestors = [];
+        let currentAncestor = this.getParentNode(node);
+        while (currentAncestor) {
+            ancestors.push(currentAncestor);
+            currentAncestor = this.getParentNode(currentAncestor);
+        }
+        let widgetHeight = 0;
+        for (let i = 0; i < ancestors.length && i < this.stickyScrollMaxItemCount; i++) {
+            widgetHeight += this.treeDelegate.getHeight(ancestors[i]);
+        }
+        return widgetHeight;
+    }
+    updateOptions(optionsUpdate = {}) {
+        const validatedOptions = this.validateStickySettings(optionsUpdate);
+        if (this.stickyScrollMaxItemCount !== validatedOptions.stickyScrollMaxItemCount) {
+            this.stickyScrollMaxItemCount = validatedOptions.stickyScrollMaxItemCount;
+            this.update();
+        }
+    }
+    validateStickySettings(options) {
+        let stickyScrollMaxItemCount = 5;
+        if (typeof options.stickyScrollMaxItemCount === 'number') {
+            stickyScrollMaxItemCount = Math.max(options.stickyScrollMaxItemCount, 1);
+        }
+        return { stickyScrollMaxItemCount };
+    }
+}
+class StickyScrollWidget {
+    constructor(container, view, model, treeRenderers, treeDelegate) {
+        this.view = view;
+        this.model = model;
+        this.treeRenderers = treeRenderers;
+        this.treeDelegate = treeDelegate;
+        this._rootDomNode = document.createElement('div');
+        this._rootDomNode.classList.add('monaco-tree-sticky-container');
+        container.appendChild(this._rootDomNode);
+    }
+    setState(state) {
+        var _a;
+        const wasVisible = !!this._previousState && this._previousState.count > 0;
+        const isVisible = !!state && state.count > 0;
+        // If state has not changed, do nothing
+        if ((!wasVisible && !isVisible) || (wasVisible && isVisible && this._previousState.equal(state))) {
+            return;
+        }
+        // Update visibility of the widget if changed
+        if (wasVisible !== isVisible) {
+            this.setVisible(isVisible);
+        }
+        // Remove previous state
+        (_a = this._previousState) === null || _a === void 0 ? void 0 : _a.dispose();
+        this._previousState = state;
+        if (!isVisible) {
+            return;
+        }
+        for (let stickyIndex = state.count - 1; stickyIndex >= 0; stickyIndex--) {
+            const stickyNode = state.stickyNodes[stickyIndex];
+            const previousStickyNode = stickyIndex ? state.stickyNodes[stickyIndex - 1] : undefined;
+            const currentWidgetHieght = previousStickyNode ? previousStickyNode.position + previousStickyNode.height : 0;
+            const { element, disposable } = this.createElement(stickyNode, currentWidgetHieght);
+            this._rootDomNode.appendChild(element);
+            state.addDisposable(disposable);
+        }
+        // Add shadow element to the end of the widget
+        const shadow = $('.monaco-tree-sticky-container-shadow');
+        this._rootDomNode.appendChild(shadow);
+        state.addDisposable(toDisposable(() => shadow.remove()));
+        // Set the height of the widget to the bottom of the last sticky node
+        const lastStickyNode = state.stickyNodes[state.count - 1];
+        this._rootDomNode.style.height = `${lastStickyNode.position + lastStickyNode.height}px`;
+    }
+    createElement(stickyNode, currentWidgetHeight) {
+        const nodeLocation = this.model.getNodeLocation(stickyNode.node);
+        const nodeIndex = this.model.getListIndex(nodeLocation);
+        // Sticky element container
+        const stickyElement = document.createElement('div');
+        stickyElement.style.top = `${stickyNode.position}px`;
+        stickyElement.style.height = `${stickyNode.height}px`;
+        stickyElement.style.lineHeight = `${stickyNode.height}px`;
+        stickyElement.classList.add('monaco-tree-sticky-row');
+        stickyElement.classList.add('monaco-list-row');
+        stickyElement.setAttribute('data-index', `${nodeIndex}`);
+        stickyElement.setAttribute('data-parity', nodeIndex % 2 === 0 ? 'even' : 'odd');
+        stickyElement.setAttribute('id', this.view.getElementID(nodeIndex));
+        // Get the renderer for the node
+        const nodeTemplateId = this.treeDelegate.getTemplateId(stickyNode.node);
+        const renderer = this.treeRenderers.find((renderer) => renderer.templateId === nodeTemplateId);
+        if (!renderer) {
+            throw new Error(`No renderer found for template id ${nodeTemplateId}`);
+        }
+        const nodeCopy = new Proxy(stickyNode.node, {});
+        // Render the element
+        const templateData = renderer.renderTemplate(stickyElement);
+        renderer.renderElement(nodeCopy, stickyNode.startIndex, templateData, stickyNode.height);
+        // Remove the element from the DOM when state is disposed
+        const disposable = toDisposable(() => {
+            renderer.disposeElement(nodeCopy, stickyNode.startIndex, templateData, stickyNode.height);
+            renderer.disposeTemplate(templateData);
+            stickyElement.remove();
+        });
+        return { element: stickyElement, disposable };
+    }
+    setVisible(visible) {
+        this._rootDomNode.style.display = visible ? 'block' : 'none';
+    }
+    dispose() {
+        var _a;
+        (_a = this._previousState) === null || _a === void 0 ? void 0 : _a.dispose();
+        this._rootDomNode.remove();
+    }
+}
+function asTreeMouseEvent(event) {
+    let target = TreeMouseEventTarget.Unknown;
+    if (hasParentWithClass(event.browserEvent.target, 'monaco-tl-twistie', 'monaco-tl-row')) {
+        target = TreeMouseEventTarget.Twistie;
+    }
+    else if (hasParentWithClass(event.browserEvent.target, 'monaco-tl-contents', 'monaco-tl-row')) {
+        target = TreeMouseEventTarget.Element;
+    }
+    else if (hasParentWithClass(event.browserEvent.target, 'monaco-tree-type-filter', 'monaco-list')) {
+        target = TreeMouseEventTarget.Filter;
+    }
+    return {
+        browserEvent: event.browserEvent,
+        element: event.element ? event.element.element : null,
+        target
+    };
+}
+function dfs(node, fn) {
+    fn(node);
+    node.children.forEach(child => dfs(child, fn));
+}
+/**
+ * The trait concept needs to exist at the tree level, because collapsed
+ * tree nodes will not be known by the list.
+ */
+class Trait {
+    get nodeSet() {
+        if (!this._nodeSet) {
+            this._nodeSet = this.createNodeSet();
+        }
+        return this._nodeSet;
+    }
+    constructor(getFirstViewElementWithTrait, identityProvider) {
+        this.getFirstViewElementWithTrait = getFirstViewElementWithTrait;
+        this.identityProvider = identityProvider;
+        this.nodes = [];
+        this._onDidChange = new Emitter();
+        this.onDidChange = this._onDidChange.event;
+    }
+    set(nodes, browserEvent) {
+        if (!(browserEvent === null || browserEvent === void 0 ? void 0 : browserEvent.__forceEvent) && equals(this.nodes, nodes)) {
+            return;
+        }
+        this._set(nodes, false, browserEvent);
+    }
+    _set(nodes, silent, browserEvent) {
+        this.nodes = [...nodes];
+        this.elements = undefined;
+        this._nodeSet = undefined;
+        if (!silent) {
+            const that = this;
+            this._onDidChange.fire({ get elements() { return that.get(); }, browserEvent });
+        }
+    }
+    get() {
+        if (!this.elements) {
+            this.elements = this.nodes.map(node => node.element);
+        }
+        return [...this.elements];
+    }
+    getNodes() {
+        return this.nodes;
+    }
+    has(node) {
+        return this.nodeSet.has(node);
+    }
+    onDidModelSplice({ insertedNodes, deletedNodes }) {
+        if (!this.identityProvider) {
+            const set = this.createNodeSet();
+            const visit = (node) => set.delete(node);
+            deletedNodes.forEach(node => dfs(node, visit));
+            this.set([...set.values()]);
+            return;
+        }
+        const deletedNodesIdSet = new Set();
+        const deletedNodesVisitor = (node) => deletedNodesIdSet.add(this.identityProvider.getId(node.element).toString());
+        deletedNodes.forEach(node => dfs(node, deletedNodesVisitor));
+        const insertedNodesMap = new Map();
+        const insertedNodesVisitor = (node) => insertedNodesMap.set(this.identityProvider.getId(node.element).toString(), node);
+        insertedNodes.forEach(node => dfs(node, insertedNodesVisitor));
+        const nodes = [];
+        for (const node of this.nodes) {
+            const id = this.identityProvider.getId(node.element).toString();
+            const wasDeleted = deletedNodesIdSet.has(id);
+            if (!wasDeleted) {
+                nodes.push(node);
+            }
+            else {
+                const insertedNode = insertedNodesMap.get(id);
+                if (insertedNode && insertedNode.visible) {
+                    nodes.push(insertedNode);
+                }
+            }
+        }
+        if (this.nodes.length > 0 && nodes.length === 0) {
+            const node = this.getFirstViewElementWithTrait();
+            if (node) {
+                nodes.push(node);
+            }
+        }
+        this._set(nodes, true);
+    }
+    createNodeSet() {
+        const set = new Set();
+        for (const node of this.nodes) {
+            set.add(node);
+        }
+        return set;
+    }
+}
+class TreeNodeListMouseController extends MouseController {
+    constructor(list, tree, stickyScrollProvider) {
+        super(list);
+        this.tree = tree;
+        this.stickyScrollProvider = stickyScrollProvider;
+    }
+    onViewPointer(e) {
+        if (isButton(e.browserEvent.target) ||
+            isInputElement(e.browserEvent.target) ||
+            isMonacoEditor(e.browserEvent.target)) {
+            return;
+        }
+        if (e.browserEvent.isHandledByList) {
+            return;
+        }
+        const node = e.element;
+        if (!node) {
+            return super.onViewPointer(e);
+        }
+        if (this.isSelectionRangeChangeEvent(e) || this.isSelectionSingleChangeEvent(e)) {
+            return super.onViewPointer(e);
+        }
+        const target = e.browserEvent.target;
+        const onTwistie = target.classList.contains('monaco-tl-twistie')
+            || (target.classList.contains('monaco-icon-label') && target.classList.contains('folder-icon') && e.browserEvent.offsetX < 16);
+        const isStickyElement = isStickyScrollElement(e.browserEvent.target);
+        let expandOnlyOnTwistieClick = false;
+        if (isStickyElement) {
+            expandOnlyOnTwistieClick = true;
+        }
+        else if (typeof this.tree.expandOnlyOnTwistieClick === 'function') {
+            expandOnlyOnTwistieClick = this.tree.expandOnlyOnTwistieClick(node.element);
+        }
+        else {
+            expandOnlyOnTwistieClick = !!this.tree.expandOnlyOnTwistieClick;
+        }
+        if (!isStickyElement) {
+            if (expandOnlyOnTwistieClick && !onTwistie && e.browserEvent.detail !== 2) {
+                return super.onViewPointer(e);
+            }
+            if (!this.tree.expandOnDoubleClick && e.browserEvent.detail === 2) {
+                return super.onViewPointer(e);
+            }
+        }
+        else {
+            this.handleStickyScrollMouseEvent(e, node);
+        }
+        if (node.collapsible && (!isStickyElement || onTwistie)) {
+            const location = this.tree.getNodeLocation(node);
+            const recursive = e.browserEvent.altKey;
+            this.tree.setFocus([location]);
+            this.tree.toggleCollapsed(location, recursive);
+            if (expandOnlyOnTwistieClick && onTwistie) {
+                // Do not set this before calling a handler on the super class, because it will reject it as handled
+                e.browserEvent.isHandledByList = true;
+                return;
+            }
+        }
+        if (!isStickyElement) {
+            super.onViewPointer(e);
+        }
+    }
+    handleStickyScrollMouseEvent(e, node) {
+        if (isMonacoCustomToggle(e.browserEvent.target) || isActionItem(e.browserEvent.target)) {
+            return;
+        }
+        const stickyScrollController = this.stickyScrollProvider();
+        if (!stickyScrollController) {
+            throw new Error('Sticky scroll controller not found');
+        }
+        const nodeIndex = this.list.indexOf(node);
+        const elementScrollTop = this.list.getElementTop(nodeIndex);
+        const elementTargetViewTop = stickyScrollController.nodePositionTopBelowWidget(node);
+        this.tree.scrollTop = elementScrollTop - elementTargetViewTop;
+        this.list.setFocus([nodeIndex]);
+        this.list.setSelection([nodeIndex]);
+    }
+    onDoubleClick(e) {
+        const onTwistie = e.browserEvent.target.classList.contains('monaco-tl-twistie');
+        if (onTwistie || !this.tree.expandOnDoubleClick) {
+            return;
+        }
+        if (e.browserEvent.isHandledByList) {
+            return;
+        }
+        super.onDoubleClick(e);
+    }
+}
+/**
+ * We use this List subclass to restore selection and focus as nodes
+ * get rendered in the list, possibly due to a node expand() call.
+ */
+class TreeNodeList extends List {
+    constructor(user, container, virtualDelegate, renderers, focusTrait, selectionTrait, anchorTrait, options) {
+        super(user, container, virtualDelegate, renderers, options);
+        this.focusTrait = focusTrait;
+        this.selectionTrait = selectionTrait;
+        this.anchorTrait = anchorTrait;
+    }
+    createMouseController(options) {
+        return new TreeNodeListMouseController(this, options.tree, options.stickyScrollProvider);
+    }
+    splice(start, deleteCount, elements = []) {
+        super.splice(start, deleteCount, elements);
+        if (elements.length === 0) {
+            return;
+        }
+        const additionalFocus = [];
+        const additionalSelection = [];
+        let anchor;
+        elements.forEach((node, index) => {
+            if (this.focusTrait.has(node)) {
+                additionalFocus.push(start + index);
+            }
+            if (this.selectionTrait.has(node)) {
+                additionalSelection.push(start + index);
+            }
+            if (this.anchorTrait.has(node)) {
+                anchor = start + index;
+            }
+        });
+        if (additionalFocus.length > 0) {
+            super.setFocus(distinct([...super.getFocus(), ...additionalFocus]));
+        }
+        if (additionalSelection.length > 0) {
+            super.setSelection(distinct([...super.getSelection(), ...additionalSelection]));
+        }
+        if (typeof anchor === 'number') {
+            super.setAnchor(anchor);
+        }
+    }
+    setFocus(indexes, browserEvent, fromAPI = false) {
+        super.setFocus(indexes, browserEvent);
+        if (!fromAPI) {
+            this.focusTrait.set(indexes.map(i => this.element(i)), browserEvent);
+        }
+    }
+    setSelection(indexes, browserEvent, fromAPI = false) {
+        super.setSelection(indexes, browserEvent);
+        if (!fromAPI) {
+            this.selectionTrait.set(indexes.map(i => this.element(i)), browserEvent);
+        }
+    }
+    setAnchor(index, fromAPI = false) {
+        super.setAnchor(index);
+        if (!fromAPI) {
+            if (typeof index === 'undefined') {
+                this.anchorTrait.set([]);
+            }
+            else {
+                this.anchorTrait.set([this.element(index)]);
+            }
+        }
+    }
+}
+export class AbstractTree {
+    get onDidScroll() { return this.view.onDidScroll; }
+    get onDidChangeFocus() { return this.eventBufferer.wrapEvent(this.focus.onDidChange); }
+    get onDidChangeSelection() { return this.eventBufferer.wrapEvent(this.selection.onDidChange); }
+    get onMouseDblClick() { return Event.filter(Event.map(this.view.onMouseDblClick, asTreeMouseEvent), e => e.target !== TreeMouseEventTarget.Filter); }
+    get onPointer() { return Event.map(this.view.onPointer, asTreeMouseEvent); }
+    get onDidFocus() { return this.view.onDidFocus; }
+    get onDidChangeModel() { return Event.signal(this.model.onDidSplice); }
+    get onDidChangeCollapseState() { return this.model.onDidChangeCollapseState; }
+    get findMode() { var _a, _b; return (_b = (_a = this.findController) === null || _a === void 0 ? void 0 : _a.mode) !== null && _b !== void 0 ? _b : TreeFindMode.Highlight; }
+    set findMode(findMode) { if (this.findController) {
+        this.findController.mode = findMode;
+    } }
+    get findMatchType() { var _a, _b; return (_b = (_a = this.findController) === null || _a === void 0 ? void 0 : _a.matchType) !== null && _b !== void 0 ? _b : TreeFindMatchType.Fuzzy; }
+    set findMatchType(findFuzzy) { if (this.findController) {
+        this.findController.matchType = findFuzzy;
+    } }
+    get expandOnDoubleClick() { return typeof this._options.expandOnDoubleClick === 'undefined' ? true : this._options.expandOnDoubleClick; }
+    get expandOnlyOnTwistieClick() { return typeof this._options.expandOnlyOnTwistieClick === 'undefined' ? true : this._options.expandOnlyOnTwistieClick; }
+    get onDidDispose() { return this.view.onDidDispose; }
+    constructor(_user, container, delegate, renderers, _options = {}) {
+        var _a;
+        this._user = _user;
+        this._options = _options;
+        this.eventBufferer = new EventBufferer();
+        this.onDidChangeFindOpenState = Event.None;
+        this.disposables = new DisposableStore();
+        this._onWillRefilter = new Emitter();
+        this.onWillRefilter = this._onWillRefilter.event;
+        this._onDidUpdateOptions = new Emitter();
+        this.treeDelegate = new ComposedTreeDelegate(delegate);
+        const onDidChangeCollapseStateRelay = new Relay();
+        const onDidChangeActiveNodes = new Relay();
+        const activeNodes = this.disposables.add(new EventCollection(onDidChangeActiveNodes.event));
+        const renderedIndentGuides = new SetMap();
+        this.renderers = renderers.map(r => new TreeRenderer(r, () => this.model, onDidChangeCollapseStateRelay.event, activeNodes, renderedIndentGuides, _options));
+        for (const r of this.renderers) {
+            this.disposables.add(r);
+        }
+        let filter;
+        if (_options.keyboardNavigationLabelProvider) {
+            filter = new FindFilter(this, _options.keyboardNavigationLabelProvider, _options.filter);
+            _options = { ..._options, filter: filter }; // TODO need typescript help here
+            this.disposables.add(filter);
+        }
+        this.focus = new Trait(() => this.view.getFocusedElements()[0], _options.identityProvider);
+        this.selection = new Trait(() => this.view.getSelectedElements()[0], _options.identityProvider);
+        this.anchor = new Trait(() => this.view.getAnchorElement(), _options.identityProvider);
+        this.view = new TreeNodeList(_user, container, this.treeDelegate, this.renderers, this.focus, this.selection, this.anchor, { ...asListOptions(() => this.model, _options), tree: this, stickyScrollProvider: () => this.stickyScrollController });
+        this.model = this.createModel(_user, this.view, _options);
+        onDidChangeCollapseStateRelay.input = this.model.onDidChangeCollapseState;
+        const onDidModelSplice = Event.forEach(this.model.onDidSplice, e => {
+            this.eventBufferer.bufferEvents(() => {
+                this.focus.onDidModelSplice(e);
+                this.selection.onDidModelSplice(e);
+            });
+        }, this.disposables);
+        // Make sure the `forEach` always runs
+        onDidModelSplice(() => null, null, this.disposables);
+        // Active nodes can change when the model changes or when focus or selection change.
+        // We debounce it with 0 delay since these events may fire in the same stack and we only
+        // want to run this once. It also doesn't matter if it runs on the next tick since it's only
+        // a nice to have UI feature.
+        const activeNodesEmitter = this.disposables.add(new Emitter());
+        const activeNodesDebounce = this.disposables.add(new Delayer(0));
+        this.disposables.add(Event.any(onDidModelSplice, this.focus.onDidChange, this.selection.onDidChange)(() => {
+            activeNodesDebounce.trigger(() => {
+                const set = new Set();
+                for (const node of this.focus.getNodes()) {
+                    set.add(node);
+                }
+                for (const node of this.selection.getNodes()) {
+                    set.add(node);
+                }
+                activeNodesEmitter.fire([...set.values()]);
+            });
+        }));
+        onDidChangeActiveNodes.input = activeNodesEmitter.event;
+        if (_options.keyboardSupport !== false) {
+            const onKeyDown = Event.chain(this.view.onKeyDown, $ => $.filter(e => !isInputElement(e.target))
+                .map(e => new StandardKeyboardEvent(e)));
+            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === 15 /* KeyCode.LeftArrow */))(this.onLeftArrow, this, this.disposables);
+            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === 17 /* KeyCode.RightArrow */))(this.onRightArrow, this, this.disposables);
+            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === 10 /* KeyCode.Space */))(this.onSpace, this, this.disposables);
+        }
+        if (((_a = _options.findWidgetEnabled) !== null && _a !== void 0 ? _a : true) && _options.keyboardNavigationLabelProvider && _options.contextViewProvider) {
+            const opts = this.options.findWidgetStyles ? { styles: this.options.findWidgetStyles } : undefined;
+            this.findController = new FindController(this, this.model, this.view, filter, _options.contextViewProvider, opts);
+            this.focusNavigationFilter = node => this.findController.shouldAllowFocus(node);
+            this.onDidChangeFindOpenState = this.findController.onDidChangeOpenState;
+            this.disposables.add(this.findController);
+            this.onDidChangeFindMode = this.findController.onDidChangeMode;
+            this.onDidChangeFindMatchType = this.findController.onDidChangeMatchType;
+        }
+        else {
+            this.onDidChangeFindMode = Event.None;
+            this.onDidChangeFindMatchType = Event.None;
+        }
+        if (_options.enableStickyScroll) {
+            this.stickyScrollController = new StickyScrollController(this, this.model, this.view, this.renderers, this.treeDelegate, _options);
+        }
+        this.styleElement = createStyleSheet(this.view.getHTMLElement());
+        this.getHTMLElement().classList.toggle('always', this._options.renderIndentGuides === RenderIndentGuides.Always);
+    }
+    updateOptions(optionsUpdate = {}) {
+        var _a;
+        this._options = { ...this._options, ...optionsUpdate };
+        for (const renderer of this.renderers) {
+            renderer.updateOptions(optionsUpdate);
+        }
+        this.view.updateOptions(this._options);
+        (_a = this.findController) === null || _a === void 0 ? void 0 : _a.updateOptions(optionsUpdate);
+        this.updateStickyScroll(optionsUpdate);
+        this._onDidUpdateOptions.fire(this._options);
+        this.getHTMLElement().classList.toggle('always', this._options.renderIndentGuides === RenderIndentGuides.Always);
+    }
+    get options() {
+        return this._options;
+    }
+    updateStickyScroll(optionsUpdate) {
+        var _a;
+        if (!this.stickyScrollController && this._options.enableStickyScroll) {
+            this.stickyScrollController = new StickyScrollController(this, this.model, this.view, this.renderers, this.treeDelegate, this._options);
+        }
+        else if (this.stickyScrollController && !this._options.enableStickyScroll) {
+            this.stickyScrollController.dispose();
+            this.stickyScrollController = undefined;
+        }
+        (_a = this.stickyScrollController) === null || _a === void 0 ? void 0 : _a.updateOptions(optionsUpdate);
+    }
+    // Widget
+    getHTMLElement() {
+        return this.view.getHTMLElement();
+    }
+    get scrollTop() {
+        return this.view.scrollTop;
+    }
+    set scrollTop(scrollTop) {
+        this.view.scrollTop = scrollTop;
+    }
+    get scrollHeight() {
+        return this.view.scrollHeight;
+    }
+    get renderHeight() {
+        return this.view.renderHeight;
+    }
+    domFocus() {
+        this.view.domFocus();
+    }
+    layout(height, width) {
+        var _a;
+        this.view.layout(height, width);
+        if (isNumber(width)) {
+            (_a = this.findController) === null || _a === void 0 ? void 0 : _a.layout(width);
+        }
+    }
+    style(styles) {
+        const suffix = `.${this.view.domId}`;
+        const content = [];
+        if (styles.treeIndentGuidesStroke) {
+            content.push(`.monaco-list${suffix}:hover .monaco-tl-indent > .indent-guide, .monaco-list${suffix}.always .monaco-tl-indent > .indent-guide  { border-color: ${styles.treeInactiveIndentGuidesStroke}; }`);
+            content.push(`.monaco-list${suffix} .monaco-tl-indent > .indent-guide.active { border-color: ${styles.treeIndentGuidesStroke}; }`);
+        }
+        if (styles.listBackground) {
+            content.push(`.monaco-list${suffix} .monaco-scrollable-element .monaco-tree-sticky-container { background-color: ${styles.listBackground}; }`);
+            content.push(`.monaco-list${suffix} .monaco-scrollable-element .monaco-tree-sticky-container .monaco-tree-sticky-row { background-color: ${styles.listBackground}; }`);
+        }
+        this.styleElement.textContent = content.join('\n');
+        this.view.style(styles);
+    }
+    // Tree navigation
+    getParentElement(location) {
+        const parentRef = this.model.getParentNodeLocation(location);
+        const parentNode = this.model.getNode(parentRef);
+        return parentNode.element;
+    }
+    getFirstElementChild(location) {
+        return this.model.getFirstElementChild(location);
+    }
+    // Tree
+    getNode(location) {
+        return this.model.getNode(location);
+    }
+    getNodeLocation(node) {
+        return this.model.getNodeLocation(node);
+    }
+    collapse(location, recursive = false) {
+        return this.model.setCollapsed(location, true, recursive);
+    }
+    expand(location, recursive = false) {
+        return this.model.setCollapsed(location, false, recursive);
+    }
+    toggleCollapsed(location, recursive = false) {
+        return this.model.setCollapsed(location, undefined, recursive);
+    }
+    isCollapsible(location) {
+        return this.model.isCollapsible(location);
+    }
+    setCollapsible(location, collapsible) {
+        return this.model.setCollapsible(location, collapsible);
+    }
+    isCollapsed(location) {
+        return this.model.isCollapsed(location);
+    }
+    refilter() {
+        this._onWillRefilter.fire(undefined);
+        this.model.refilter();
+    }
+    setSelection(elements, browserEvent) {
+        const nodes = elements.map(e => this.model.getNode(e));
+        this.selection.set(nodes, browserEvent);
+        const indexes = elements.map(e => this.model.getListIndex(e)).filter(i => i > -1);
+        this.view.setSelection(indexes, browserEvent, true);
+    }
+    getSelection() {
+        return this.selection.get();
+    }
+    setFocus(elements, browserEvent) {
+        const nodes = elements.map(e => this.model.getNode(e));
+        this.focus.set(nodes, browserEvent);
+        const indexes = elements.map(e => this.model.getListIndex(e)).filter(i => i > -1);
+        this.view.setFocus(indexes, browserEvent, true);
+    }
+    getFocus() {
+        return this.focus.get();
+    }
+    reveal(location, relativeTop) {
+        this.model.expandTo(location);
+        const index = this.model.getListIndex(location);
+        if (index === -1) {
+            return;
+        }
+        if (!this.stickyScrollController) {
+            this.view.reveal(index, relativeTop);
+        }
+        else {
+            const paddingTop = this.stickyScrollController.nodePositionTopBelowWidget(this.getNode(location));
+            this.view.reveal(index, relativeTop, paddingTop);
+        }
+    }
+    // List
+    onLeftArrow(e) {
+        e.preventDefault();
+        e.stopPropagation();
+        const nodes = this.view.getFocusedElements();
+        if (nodes.length === 0) {
+            return;
+        }
+        const node = nodes[0];
+        const location = this.model.getNodeLocation(node);
+        const didChange = this.model.setCollapsed(location, true);
+        if (!didChange) {
+            const parentLocation = this.model.getParentNodeLocation(location);
+            if (!parentLocation) {
+                return;
+            }
+            const parentListIndex = this.model.getListIndex(parentLocation);
+            this.view.reveal(parentListIndex);
+            this.view.setFocus([parentListIndex]);
+        }
+    }
+    onRightArrow(e) {
+        e.preventDefault();
+        e.stopPropagation();
+        const nodes = this.view.getFocusedElements();
+        if (nodes.length === 0) {
+            return;
+        }
+        const node = nodes[0];
+        const location = this.model.getNodeLocation(node);
+        const didChange = this.model.setCollapsed(location, false);
+        if (!didChange) {
+            if (!node.children.some(child => child.visible)) {
+                return;
+            }
+            const [focusedIndex] = this.view.getFocus();
+            const firstChildIndex = focusedIndex + 1;
+            this.view.reveal(firstChildIndex);
+            this.view.setFocus([firstChildIndex]);
+        }
+    }
+    onSpace(e) {
+        e.preventDefault();
+        e.stopPropagation();
+        const nodes = this.view.getFocusedElements();
+        if (nodes.length === 0) {
+            return;
+        }
+        const node = nodes[0];
+        const location = this.model.getNodeLocation(node);
+        const recursive = e.browserEvent.altKey;
+        this.model.setCollapsed(location, undefined, recursive);
+    }
+    dispose() {
+        var _a;
+        dispose(this.disposables);
+        (_a = this.stickyScrollController) === null || _a === void 0 ? void 0 : _a.dispose();
+        this.view.dispose();
+    }
+}