@umbraco-cms/backoffice 16.1.0 → 16.2.0-rc

package/dist-cms/monaco-editor/vs/base/browser/ui/tree/abstractTree.js

@@ -1,2094 +0,0 @@
-/*---------------------------------------------------------------------------------------------
- *  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, asCssValueWithDefault, isKeyboardEvent, addDisposableListener } 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, isStickyScrollContainer, 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';
-import { createInstantHoverDelegate, getDefaultHoverDelegate } from '../hover/hoverDelegateFactory.js';
-import { autorun, constObservable } from '../../../common/observable.js';
-import { alert } from '../aria/aria.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) {
-        this.dnd.onDragStart?.(asTreeDragAndDropData(data), originalEvent);
-    }
-    onDragOver(data, targetNode, targetIndex, targetSector, originalEvent, raw = true) {
-        const result = this.dnd.onDragOver(asTreeDragAndDropData(data), targetNode && targetNode.element, targetIndex, targetSector, 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, targetSector, 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, targetSector, originalEvent) {
-        this.autoExpandDisposable.dispose();
-        this.autoExpandNode = undefined;
-        this.dnd.drop(asTreeDragAndDropData(data), targetNode && targetNode.element, targetIndex, targetSector, originalEvent);
-    }
-    onDragEnd(originalEvent) {
-        this.dnd.onDragEnd?.(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) {
-        this.delegate.setDynamicHeight?.(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 {
-    static { this.DefaultIndent = 8; }
-    constructor(renderer, modelProvider, onDidChangeCollapseState, activeNodes, renderedIndentGuides, options = {}) {
-        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);
-        renderer.onDidChangeTwistieState?.(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) {
-        templateData.indentGuidesDisposable.dispose();
-        this.renderer.disposeElement?.(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 {
-                // 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);
-    }
-}
-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) {
-        super({
-            icon: Codicon.listFilter,
-            title: localize('filter', "Filter"),
-            isChecked: opts.isChecked ?? false,
-            hoverDelegate: opts.hoverDelegate ?? getDefaultHoverDelegate('element'),
-            inputActiveOptionBorder: opts.inputActiveOptionBorder,
-            inputActiveOptionForeground: opts.inputActiveOptionForeground,
-            inputActiveOptionBackground: opts.inputActiveOptionBackground
-        });
-    }
-}
-export class FuzzyToggle extends Toggle {
-    constructor(opts) {
-        super({
-            icon: Codicon.searchFuzzy,
-            title: localize('fuzzySearch', "Fuzzy Match"),
-            isChecked: opts.isChecked ?? false,
-            hoverDelegate: opts.hoverDelegate ?? getDefaultHoverDelegate('element'),
-            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) {
-        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(() => this.elements.root.remove()));
-        const styles = options?.styles ?? 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}`;
-        }
-        const toggleHoverDelegate = this._register(createInstantHoverDelegate());
-        this.modeToggle = this._register(new ModeToggle({ ...styles.toggleStyles, isChecked: mode === TreeFindMode.Filter, hoverDelegate: toggleHoverDelegate }));
-        this.matchTypeToggle = this._register(new FuzzyToggle({ ...styles.toggleStyles, isChecked: matchType === TreeFindMatchType.Fuzzy, hoverDelegate: toggleHoverDelegate }));
-        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?.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 = {}) {
-        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 = tree.options.defaultFindMode ?? TreeFindMode.Highlight;
-        this._matchType = tree.options.defaultFindMatchType ?? 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() {
-        const noMatches = this.filter.totalCount > 0 && this.filter.matchCount === 0;
-        if (this.pattern && noMatches) {
-            alert(localize('replFindNoResults', "No results"));
-            if (this.tree.options.showNotFoundMessage ?? true) {
-                this.widget?.showMessage({ type: 2 /* MessageType.WARNING */, content: localize('not found', "No elements found.") });
-            }
-            else {
-                this.widget?.showMessage({ type: 2 /* MessageType.WARNING */ });
-            }
-        }
-        else {
-            this.widget?.clearMessage();
-            if (this.pattern) {
-                alert(localize('replFindResults', "{0} results", this.filter.matchCount));
-            }
-        }
-    }
-    shouldAllowFocus(node) {
-        if (!this.widget || !this.pattern) {
-            return true;
-        }
-        if (this.filter.totalCount > 0 && this.filter.matchCount <= 1) {
-            return true;
-        }
-        return !FuzzyScore.isDefault(node.filterData);
-    }
-    layout(width) {
-        this.width = width;
-        this.widget?.layout(width);
-    }
-    dispose() {
-        this._history = undefined;
-        this._onDidChangePattern.dispose();
-        this.enabledDisposables.dispose();
-        this.disposables.dispose();
-    }
-}
-function stickyScrollNodeStateEquals(node1, node2) {
-    return node1.position === node2.position && stickyScrollNodeEquals(node1, node2);
-}
-function stickyScrollNodeEquals(node1, node2) {
-    return node1.node.element === node2.node.element &&
-        node1.startIndex === node2.startIndex &&
-        node1.height === node2.height &&
-        node1.endIndex === node2.endIndex;
-}
-class StickyScrollState {
-    constructor(stickyNodes = []) {
-        this.stickyNodes = stickyNodes;
-    }
-    get count() { return this.stickyNodes.length; }
-    equal(state) {
-        return equals(this.stickyNodes, state.stickyNodes, stickyScrollNodeStateEquals);
-    }
-    lastNodePartiallyVisible() {
-        if (this.count === 0) {
-            return false;
-        }
-        const lastStickyNode = this.stickyNodes[this.count - 1];
-        if (this.count === 1) {
-            return lastStickyNode.position !== 0;
-        }
-        const secondLastStickyNode = this.stickyNodes[this.count - 2];
-        return secondLastStickyNode.position + secondLastStickyNode.height !== lastStickyNode.position;
-    }
-    animationStateChanged(previousState) {
-        if (!equals(this.stickyNodes, previousState.stickyNodes, stickyScrollNodeEquals)) {
-            return false;
-        }
-        if (this.count === 0) {
-            return false;
-        }
-        const lastStickyNode = this.stickyNodes[this.count - 1];
-        const previousLastStickyNode = previousState.stickyNodes[previousState.count - 1];
-        return lastStickyNode.position !== previousLastStickyNode.position;
-    }
-}
-class DefaultStickyScrollDelegate {
-    constrainStickyScrollNodes(stickyNodes, stickyScrollMaxItemCount, maxWidgetHeight) {
-        for (let i = 0; i < stickyNodes.length; i++) {
-            const stickyNode = stickyNodes[i];
-            const stickyNodeBottom = stickyNode.position + stickyNode.height;
-            if (stickyNodeBottom > maxWidgetHeight || i >= stickyScrollMaxItemCount) {
-                return stickyNodes.slice(0, i);
-            }
-        }
-        return stickyNodes;
-    }
-}
-class StickyScrollController extends Disposable {
-    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.stickyScrollDelegate = options.stickyScrollDelegate ?? new DefaultStickyScrollDelegate();
-        this._widget = this._register(new StickyScrollWidget(view.getScrollableElement(), view, tree, renderers, treeDelegate, options.accessibilityProvider));
-        this.onDidChangeHasFocus = this._widget.onDidChangeHasFocus;
-        this.onContextMenu = this._widget.onContextMenu;
-        this._register(view.onDidScroll(() => this.update()));
-        this._register(view.onDidChangeContentHeight(() => this.update()));
-        this._register(tree.onDidChangeCollapseState(() => this.update()));
-        this.update();
-    }
-    get height() {
-        return this._widget.height;
-    }
-    getNodeAtHeight(height) {
-        let index;
-        if (height === 0) {
-            index = this.view.firstVisibleIndex;
-        }
-        else {
-            index = this.view.indexAt(height + this.view.scrollTop);
-        }
-        if (index < 0 || index >= this.view.length) {
-            return undefined;
-        }
-        return this.view.element(index);
-    }
-    update() {
-        const firstVisibleNode = this.getNodeAtHeight(0);
-        // 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 = [];
-        let firstVisibleNodeUnderWidget = firstVisibleNode;
-        let stickyNodesHeight = 0;
-        let nextStickyNode = this.getNextStickyNode(firstVisibleNodeUnderWidget, undefined, stickyNodesHeight);
-        while (nextStickyNode) {
-            stickyNodes.push(nextStickyNode);
-            stickyNodesHeight += nextStickyNode.height;
-            if (stickyNodes.length <= this.stickyScrollMaxItemCount) {
-                firstVisibleNodeUnderWidget = this.getNextVisibleNode(nextStickyNode);
-                if (!firstVisibleNodeUnderWidget) {
-                    break;
-                }
-            }
-            nextStickyNode = this.getNextStickyNode(firstVisibleNodeUnderWidget, nextStickyNode.node, stickyNodesHeight);
-        }
-        const contrainedStickyNodes = this.constrainStickyNodes(stickyNodes);
-        return contrainedStickyNodes.length ? new StickyScrollState(contrainedStickyNodes) : undefined;
-    }
-    getNextVisibleNode(previousStickyNode) {
-        return this.getNodeAtHeight(previousStickyNode.position + previousStickyNode.height);
-    }
-    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, height);
-        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, stickyNodeHeight) {
-        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 + stickyNodeHeight > bottomOfLastChild && stickyRowPositionTop <= bottomOfLastChild) {
-            return bottomOfLastChild - stickyNodeHeight;
-        }
-        return stickyRowPositionTop;
-    }
-    constrainStickyNodes(stickyNodes) {
-        if (stickyNodes.length === 0) {
-            return [];
-        }
-        // Check if sticky nodes need to be constrained
-        const maximumStickyWidgetHeight = this.view.renderHeight * this.maxWidgetViewRatio;
-        const lastStickyNode = stickyNodes[stickyNodes.length - 1];
-        if (stickyNodes.length <= this.stickyScrollMaxItemCount && lastStickyNode.position + lastStickyNode.height <= maximumStickyWidgetHeight) {
-            return stickyNodes;
-        }
-        // constrain sticky nodes
-        const constrainedStickyNodes = this.stickyScrollDelegate.constrainStickyScrollNodes(stickyNodes, this.stickyScrollMaxItemCount, maximumStickyWidgetHeight);
-        if (!constrainedStickyNodes.length) {
-            return [];
-        }
-        // Validate constraints
-        const lastConstrainedStickyNode = constrainedStickyNodes[constrainedStickyNodes.length - 1];
-        if (constrainedStickyNodes.length > this.stickyScrollMaxItemCount || lastConstrainedStickyNode.position + lastConstrainedStickyNode.height > maximumStickyWidgetHeight) {
-            throw new Error('stickyScrollDelegate violates constraints');
-        }
-        return constrainedStickyNodes;
-    }
-    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) {
-        const 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;
-    }
-    domFocus() {
-        this._widget.domFocus();
-    }
-    // Whether sticky scroll was the last focused part in the tree or not
-    focusedLast() {
-        return this._widget.focusedLast();
-    }
-    updateOptions(optionsUpdate = {}) {
-        if (!optionsUpdate.stickyScrollMaxItemCount) {
-            return;
-        }
-        const validatedOptions = this.validateStickySettings(optionsUpdate);
-        if (this.stickyScrollMaxItemCount !== validatedOptions.stickyScrollMaxItemCount) {
-            this.stickyScrollMaxItemCount = validatedOptions.stickyScrollMaxItemCount;
-            this.update();
-        }
-    }
-    validateStickySettings(options) {
-        let stickyScrollMaxItemCount = 7;
-        if (typeof options.stickyScrollMaxItemCount === 'number') {
-            stickyScrollMaxItemCount = Math.max(options.stickyScrollMaxItemCount, 1);
-        }
-        return { stickyScrollMaxItemCount };
-    }
-}
-class StickyScrollWidget {
-    constructor(container, view, tree, treeRenderers, treeDelegate, accessibilityProvider) {
-        this.view = view;
-        this.tree = tree;
-        this.treeRenderers = treeRenderers;
-        this.treeDelegate = treeDelegate;
-        this.accessibilityProvider = accessibilityProvider;
-        this._previousElements = [];
-        this._previousStateDisposables = new DisposableStore();
-        this._rootDomNode = $('.monaco-tree-sticky-container.empty');
-        container.appendChild(this._rootDomNode);
-        const shadow = $('.monaco-tree-sticky-container-shadow');
-        this._rootDomNode.appendChild(shadow);
-        this.stickyScrollFocus = new StickyScrollFocus(this._rootDomNode, view);
-        this.onDidChangeHasFocus = this.stickyScrollFocus.onDidChangeHasFocus;
-        this.onContextMenu = this.stickyScrollFocus.onContextMenu;
-    }
-    get height() {
-        if (!this._previousState) {
-            return 0;
-        }
-        const lastElement = this._previousState.stickyNodes[this._previousState.count - 1];
-        return lastElement.position + lastElement.height;
-    }
-    setState(state) {
-        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);
-        }
-        if (!isVisible) {
-            this._previousState = undefined;
-            this._previousElements = [];
-            this._previousStateDisposables.clear();
-            return;
-        }
-        const lastStickyNode = state.stickyNodes[state.count - 1];
-        // If the new state is only a change in the last node's position, update the position of the last element
-        if (this._previousState && state.animationStateChanged(this._previousState)) {
-            this._previousElements[this._previousState.count - 1].style.top = `${lastStickyNode.position}px`;
-        }
-        // create new dom elements
-        else {
-            this._previousStateDisposables.clear();
-            const elements = Array(state.count);
-            for (let stickyIndex = state.count - 1; stickyIndex >= 0; stickyIndex--) {
-                const stickyNode = state.stickyNodes[stickyIndex];
-                const { element, disposable } = this.createElement(stickyNode, stickyIndex, state.count);
-                elements[stickyIndex] = element;
-                this._rootDomNode.appendChild(element);
-                this._previousStateDisposables.add(disposable);
-            }
-            this.stickyScrollFocus.updateElements(elements, state);
-            this._previousElements = elements;
-        }
-        this._previousState = state;
-        // Set the height of the widget to the bottom of the last sticky node
-        this._rootDomNode.style.height = `${lastStickyNode.position + lastStickyNode.height}px`;
-    }
-    createElement(stickyNode, stickyIndex, stickyNodesTotal) {
-        const nodeIndex = stickyNode.startIndex;
-        // Sticky element container
-        const stickyElement = document.createElement('div');
-        stickyElement.style.top = `${stickyNode.position}px`;
-        if (this.tree.options.setRowHeight !== false) {
-            stickyElement.style.height = `${stickyNode.height}px`;
-        }
-        if (this.tree.options.setRowLineHeight !== false) {
-            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));
-        const accessibilityDisposable = this.setAccessibilityAttributes(stickyElement, stickyNode.node.element, stickyIndex, stickyNodesTotal);
-        // 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}`);
-        }
-        // To make sure we do not influence the original node, we create a copy of the node
-        // We need to check if it is already a unique instance of the node by the delegate
-        let nodeCopy = stickyNode.node;
-        if (nodeCopy === this.tree.getNode(this.tree.getNodeLocation(stickyNode.node))) {
-            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(() => {
-            accessibilityDisposable.dispose();
-            renderer.disposeElement(nodeCopy, stickyNode.startIndex, templateData, stickyNode.height);
-            renderer.disposeTemplate(templateData);
-            stickyElement.remove();
-        });
-        return { element: stickyElement, disposable };
-    }
-    setAccessibilityAttributes(container, element, stickyIndex, stickyNodesTotal) {
-        if (!this.accessibilityProvider) {
-            return Disposable.None;
-        }
-        if (this.accessibilityProvider.getSetSize) {
-            container.setAttribute('aria-setsize', String(this.accessibilityProvider.getSetSize(element, stickyIndex, stickyNodesTotal)));
-        }
-        if (this.accessibilityProvider.getPosInSet) {
-            container.setAttribute('aria-posinset', String(this.accessibilityProvider.getPosInSet(element, stickyIndex)));
-        }
-        if (this.accessibilityProvider.getRole) {
-            container.setAttribute('role', this.accessibilityProvider.getRole(element) ?? 'treeitem');
-        }
-        const ariaLabel = this.accessibilityProvider.getAriaLabel(element);
-        const observable = (ariaLabel && typeof ariaLabel !== 'string') ? ariaLabel : constObservable(ariaLabel);
-        const result = autorun(reader => {
-            const value = reader.readObservable(observable);
-            if (value) {
-                container.setAttribute('aria-label', value);
-            }
-            else {
-                container.removeAttribute('aria-label');
-            }
-        });
-        if (typeof ariaLabel === 'string') {
-        }
-        else if (ariaLabel) {
-            container.setAttribute('aria-label', ariaLabel.get());
-        }
-        const ariaLevel = this.accessibilityProvider.getAriaLevel && this.accessibilityProvider.getAriaLevel(element);
-        if (typeof ariaLevel === 'number') {
-            container.setAttribute('aria-level', `${ariaLevel}`);
-        }
-        // Sticky Scroll elements can not be selected
-        container.setAttribute('aria-selected', String(false));
-        return result;
-    }
-    setVisible(visible) {
-        this._rootDomNode.classList.toggle('empty', !visible);
-        if (!visible) {
-            this.stickyScrollFocus.updateElements([], undefined);
-        }
-    }
-    domFocus() {
-        this.stickyScrollFocus.domFocus();
-    }
-    focusedLast() {
-        return this.stickyScrollFocus.focusedLast();
-    }
-    dispose() {
-        this.stickyScrollFocus.dispose();
-        this._previousStateDisposables.dispose();
-        this._rootDomNode.remove();
-    }
-}
-class StickyScrollFocus extends Disposable {
-    get domHasFocus() { return this._domHasFocus; }
-    set domHasFocus(hasFocus) {
-        if (hasFocus !== this._domHasFocus) {
-            this._onDidChangeHasFocus.fire(hasFocus);
-            this._domHasFocus = hasFocus;
-        }
-    }
-    constructor(container, view) {
-        super();
-        this.container = container;
-        this.view = view;
-        this.focusedIndex = -1;
-        this.elements = [];
-        this._onDidChangeHasFocus = new Emitter();
-        this.onDidChangeHasFocus = this._onDidChangeHasFocus.event;
-        this._onContextMenu = new Emitter();
-        this.onContextMenu = this._onContextMenu.event;
-        this._domHasFocus = false;
-        this._register(addDisposableListener(this.container, 'focus', () => this.onFocus()));
-        this._register(addDisposableListener(this.container, 'blur', () => this.onBlur()));
-        this._register(this.view.onDidFocus(() => this.toggleStickyScrollFocused(false)));
-        this._register(this.view.onKeyDown((e) => this.onKeyDown(e)));
-        this._register(this.view.onMouseDown((e) => this.onMouseDown(e)));
-        this._register(this.view.onContextMenu((e) => this.handleContextMenu(e)));
-    }
-    handleContextMenu(e) {
-        const target = e.browserEvent.target;
-        if (!isStickyScrollContainer(target) && !isStickyScrollElement(target)) {
-            if (this.focusedLast()) {
-                this.view.domFocus();
-            }
-            return;
-        }
-        // The list handles the context menu triggered by a mouse event
-        // In that case only set the focus of the element clicked and leave the rest to the list to handle
-        if (!isKeyboardEvent(e.browserEvent)) {
-            if (!this.state) {
-                throw new Error('Context menu should not be triggered when state is undefined');
-            }
-            const stickyIndex = this.state.stickyNodes.findIndex(stickyNode => stickyNode.node.element === e.element?.element);
-            if (stickyIndex === -1) {
-                throw new Error('Context menu should not be triggered when element is not in sticky scroll widget');
-            }
-            this.container.focus();
-            this.setFocus(stickyIndex);
-            return;
-        }
-        if (!this.state || this.focusedIndex < 0) {
-            throw new Error('Context menu key should not be triggered when focus is not in sticky scroll widget');
-        }
-        const stickyNode = this.state.stickyNodes[this.focusedIndex];
-        const element = stickyNode.node.element;
-        const anchor = this.elements[this.focusedIndex];
-        this._onContextMenu.fire({ element, anchor, browserEvent: e.browserEvent, isStickyScroll: true });
-    }
-    onKeyDown(e) {
-        // Sticky Scroll Navigation
-        if (this.domHasFocus && this.state) {
-            // Move up
-            if (e.key === 'ArrowUp') {
-                this.setFocusedElement(Math.max(0, this.focusedIndex - 1));
-                e.preventDefault();
-                e.stopPropagation();
-            }
-            // Move down, if last sticky node is focused, move focus into first child of last sticky node
-            else if (e.key === 'ArrowDown' || e.key === 'ArrowRight') {
-                if (this.focusedIndex >= this.state.count - 1) {
-                    const nodeIndexToFocus = this.state.stickyNodes[this.state.count - 1].startIndex + 1;
-                    this.view.domFocus();
-                    this.view.setFocus([nodeIndexToFocus]);
-                    this.scrollNodeUnderWidget(nodeIndexToFocus, this.state);
-                }
-                else {
-                    this.setFocusedElement(this.focusedIndex + 1);
-                }
-                e.preventDefault();
-                e.stopPropagation();
-            }
-        }
-    }
-    onMouseDown(e) {
-        const target = e.browserEvent.target;
-        if (!isStickyScrollContainer(target) && !isStickyScrollElement(target)) {
-            return;
-        }
-        e.browserEvent.preventDefault();
-        e.browserEvent.stopPropagation();
-    }
-    updateElements(elements, state) {
-        if (state && state.count === 0) {
-            throw new Error('Sticky scroll state must be undefined when there are no sticky nodes');
-        }
-        if (state && state.count !== elements.length) {
-            throw new Error('Sticky scroll focus received illigel state');
-        }
-        const previousIndex = this.focusedIndex;
-        this.removeFocus();
-        this.elements = elements;
-        this.state = state;
-        if (state) {
-            const newFocusedIndex = clamp(previousIndex, 0, state.count - 1);
-            this.setFocus(newFocusedIndex);
-        }
-        else {
-            if (this.domHasFocus) {
-                this.view.domFocus();
-            }
-        }
-        // must come last as it calls blur()
-        this.container.tabIndex = state ? 0 : -1;
-    }
-    setFocusedElement(stickyIndex) {
-        // doesn't imply that the widget has (or will have) focus
-        const state = this.state;
-        if (!state) {
-            throw new Error('Cannot set focus when state is undefined');
-        }
-        this.setFocus(stickyIndex);
-        if (stickyIndex < state.count - 1) {
-            return;
-        }
-        // If the last sticky node is not fully visible, scroll it into view
-        if (state.lastNodePartiallyVisible()) {
-            const lastStickyNode = state.stickyNodes[stickyIndex];
-            this.scrollNodeUnderWidget(lastStickyNode.endIndex + 1, state);
-        }
-    }
-    scrollNodeUnderWidget(nodeIndex, state) {
-        const lastStickyNode = state.stickyNodes[state.count - 1];
-        const secondLastStickyNode = state.count > 1 ? state.stickyNodes[state.count - 2] : undefined;
-        const elementScrollTop = this.view.getElementTop(nodeIndex);
-        const elementTargetViewTop = secondLastStickyNode ? secondLastStickyNode.position + secondLastStickyNode.height + lastStickyNode.height : lastStickyNode.height;
-        this.view.scrollTop = elementScrollTop - elementTargetViewTop;
-    }
-    domFocus() {
-        if (!this.state) {
-            throw new Error('Cannot focus when state is undefined');
-        }
-        this.container.focus();
-    }
-    focusedLast() {
-        if (!this.state) {
-            return false;
-        }
-        return this.view.getHTMLElement().classList.contains('sticky-scroll-focused');
-    }
-    removeFocus() {
-        if (this.focusedIndex === -1) {
-            return;
-        }
-        this.toggleElementFocus(this.elements[this.focusedIndex], false);
-        this.focusedIndex = -1;
-    }
-    setFocus(newFocusIndex) {
-        if (0 > newFocusIndex) {
-            throw new Error('addFocus() can not remove focus');
-        }
-        if (!this.state && newFocusIndex >= 0) {
-            throw new Error('Cannot set focus index when state is undefined');
-        }
-        if (this.state && newFocusIndex >= this.state.count) {
-            throw new Error('Cannot set focus index to an index that does not exist');
-        }
-        const oldIndex = this.focusedIndex;
-        if (oldIndex >= 0) {
-            this.toggleElementFocus(this.elements[oldIndex], false);
-        }
-        if (newFocusIndex >= 0) {
-            this.toggleElementFocus(this.elements[newFocusIndex], true);
-        }
-        this.focusedIndex = newFocusIndex;
-    }
-    toggleElementFocus(element, focused) {
-        this.toggleElementActiveFocus(element, focused && this.domHasFocus);
-        this.toggleElementPassiveFocus(element, focused);
-    }
-    toggleCurrentElementActiveFocus(focused) {
-        if (this.focusedIndex === -1) {
-            return;
-        }
-        this.toggleElementActiveFocus(this.elements[this.focusedIndex], focused);
-    }
-    toggleElementActiveFocus(element, focused) {
-        // active focus is set when sticky scroll has focus
-        element.classList.toggle('focused', focused);
-    }
-    toggleElementPassiveFocus(element, focused) {
-        // passive focus allows to show focus when sticky scroll does not have focus
-        // for example when the context menu has focus
-        element.classList.toggle('passive-focused', focused);
-    }
-    toggleStickyScrollFocused(focused) {
-        // Weather the last focus in the view was sticky scroll and not the list
-        // Is only removed when the focus is back in the tree an no longer in sticky scroll
-        this.view.getHTMLElement().classList.toggle('sticky-scroll-focused', focused);
-    }
-    onFocus() {
-        if (!this.state || this.elements.length === 0) {
-            throw new Error('Cannot focus when state is undefined or elements are empty');
-        }
-        this.domHasFocus = true;
-        this.toggleStickyScrollFocused(true);
-        this.toggleCurrentElementActiveFocus(true);
-        if (this.focusedIndex === -1) {
-            this.setFocus(0);
-        }
-    }
-    onBlur() {
-        this.domHasFocus = false;
-        this.toggleCurrentElementActiveFocus(false);
-    }
-    dispose() {
-        this.toggleStickyScrollFocused(false);
-        this._onDidChangeHasFocus.fire(false);
-        super.dispose();
-    }
-}
-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 asTreeContextMenuEvent(event) {
-    const isStickyScroll = isStickyScrollContainer(event.browserEvent.target);
-    return {
-        element: event.element ? event.element.element : null,
-        browserEvent: event.browserEvent,
-        anchor: event.anchor,
-        isStickyScroll
-    };
-}
-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?.__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 (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.domFocus();
-        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);
-    }
-    // to make sure dom focus is not stolen (for example with context menu)
-    onMouseDown(e) {
-        const target = e.browserEvent.target;
-        if (!isStickyScrollContainer(target) && !isStickyScrollElement(target)) {
-            super.onMouseDown(e);
-            return;
-        }
-    }
-    onContextMenu(e) {
-        const target = e.browserEvent.target;
-        if (!isStickyScrollContainer(target) && !isStickyScrollElement(target)) {
-            super.onContextMenu(e);
-            return;
-        }
-    }
-}
-/**
- * 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 onMouseOver() { return Event.map(this.view.onMouseOver, asTreeMouseEvent); }
-    get onMouseOut() { return Event.map(this.view.onMouseOut, asTreeMouseEvent); }
-    get onContextMenu() { return Event.any(Event.filter(Event.map(this.view.onContextMenu, asTreeContextMenuEvent), e => !e.isStickyScroll), this.stickyScrollController?.onContextMenu ?? Event.None); }
-    get onPointer() { return Event.map(this.view.onPointer, asTreeMouseEvent); }
-    get onKeyDown() { return this.view.onKeyDown; }
-    get onDidFocus() { return this.view.onDidFocus; }
-    get onDidChangeModel() { return Event.signal(this.model.onDidSplice); }
-    get onDidChangeCollapseState() { return this.model.onDidChangeCollapseState; }
-    get findMode() { return this.findController?.mode ?? TreeFindMode.Highlight; }
-    set findMode(findMode) { if (this.findController) {
-        this.findController.mode = findMode;
-    } }
-    get findMatchType() { return this.findController?.matchType ?? 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 = {}) {
-        this._user = _user;
-        this._options = _options;
-        this.eventBufferer = new EventBufferer();
-        this.onDidChangeFindOpenState = Event.None;
-        this.onDidChangeStickyScrollFocused = 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 ((_options.findWidgetEnabled ?? 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.onDidChangeStickyScrollFocused = this.stickyScrollController.onDidChangeHasFocus;
-        }
-        this.styleElement = createStyleSheet(this.view.getHTMLElement());
-        this.getHTMLElement().classList.toggle('always', this._options.renderIndentGuides === RenderIndentGuides.Always);
-    }
-    updateOptions(optionsUpdate = {}) {
-        this._options = { ...this._options, ...optionsUpdate };
-        for (const renderer of this.renderers) {
-            renderer.updateOptions(optionsUpdate);
-        }
-        this.view.updateOptions(this._options);
-        this.findController?.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) {
-        if (!this.stickyScrollController && this._options.enableStickyScroll) {
-            this.stickyScrollController = new StickyScrollController(this, this.model, this.view, this.renderers, this.treeDelegate, this._options);
-            this.onDidChangeStickyScrollFocused = this.stickyScrollController.onDidChangeHasFocus;
-        }
-        else if (this.stickyScrollController && !this._options.enableStickyScroll) {
-            this.onDidChangeStickyScrollFocused = Event.None;
-            this.stickyScrollController.dispose();
-            this.stickyScrollController = undefined;
-        }
-        this.stickyScrollController?.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;
-    }
-    get ariaLabel() {
-        return this.view.ariaLabel;
-    }
-    set ariaLabel(value) {
-        this.view.ariaLabel = value;
-    }
-    domFocus() {
-        if (this.stickyScrollController?.focusedLast()) {
-            this.stickyScrollController.domFocus();
-        }
-        else {
-            this.view.domFocus();
-        }
-    }
-    layout(height, width) {
-        this.view.layout(height, width);
-        if (isNumber(width)) {
-            this.findController?.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}; }`);
-        }
-        // Sticky Scroll Background
-        const stickyScrollBackground = styles.treeStickyScrollBackground ?? styles.listBackground;
-        if (stickyScrollBackground) {
-            content.push(`.monaco-list${suffix} .monaco-scrollable-element .monaco-tree-sticky-container { background-color: ${stickyScrollBackground}; }`);
-            content.push(`.monaco-list${suffix} .monaco-scrollable-element .monaco-tree-sticky-container .monaco-tree-sticky-row { background-color: ${stickyScrollBackground}; }`);
-        }
-        // Sticky Scroll Border
-        if (styles.treeStickyScrollBorder) {
-            content.push(`.monaco-list${suffix} .monaco-scrollable-element .monaco-tree-sticky-container { border-bottom: 1px solid ${styles.treeStickyScrollBorder}; }`);
-        }
-        // Sticky Scroll Shadow
-        if (styles.treeStickyScrollShadow) {
-            content.push(`.monaco-list${suffix} .monaco-scrollable-element .monaco-tree-sticky-container .monaco-tree-sticky-container-shadow { box-shadow: ${styles.treeStickyScrollShadow} 0 6px 6px -6px inset; height: 3px; }`);
-        }
-        // Sticky Scroll Focus
-        if (styles.listFocusForeground) {
-            content.push(`.monaco-list${suffix}.sticky-scroll-focused .monaco-scrollable-element .monaco-tree-sticky-container:focus .monaco-list-row.focused { color: ${styles.listFocusForeground}; }`);
-            content.push(`.monaco-list${suffix}:not(.sticky-scroll-focused) .monaco-scrollable-element .monaco-tree-sticky-container .monaco-list-row.focused { color: inherit; }`);
-        }
-        // Sticky Scroll Focus Outlines
-        const focusAndSelectionOutline = asCssValueWithDefault(styles.listFocusAndSelectionOutline, asCssValueWithDefault(styles.listSelectionOutline, styles.listFocusOutline ?? ''));
-        if (focusAndSelectionOutline) { // default: listFocusOutline
-            content.push(`.monaco-list${suffix}.sticky-scroll-focused .monaco-scrollable-element .monaco-tree-sticky-container:focus .monaco-list-row.focused.selected { outline: 1px solid ${focusAndSelectionOutline}; outline-offset: -1px;}`);
-            content.push(`.monaco-list${suffix}:not(.sticky-scroll-focused) .monaco-scrollable-element .monaco-tree-sticky-container .monaco-list-row.focused.selected { outline: inherit;}`);
-        }
-        if (styles.listFocusOutline) { // default: set
-            content.push(`.monaco-list${suffix}.sticky-scroll-focused .monaco-scrollable-element .monaco-tree-sticky-container:focus .monaco-list-row.focused { outline: 1px solid ${styles.listFocusOutline}; outline-offset: -1px; }`);
-            content.push(`.monaco-list${suffix}:not(.sticky-scroll-focused) .monaco-scrollable-element .monaco-tree-sticky-container .monaco-list-row.focused { outline: inherit; }`);
-            content.push(`.monaco-workbench.context-menu-visible .monaco-list${suffix}.last-focused.sticky-scroll-focused .monaco-scrollable-element .monaco-tree-sticky-container .monaco-list-row.passive-focused { outline: 1px solid ${styles.listFocusOutline}; outline-offset: -1px; }`);
-            content.push(`.monaco-workbench.context-menu-visible .monaco-list${suffix}.last-focused.sticky-scroll-focused .monaco-list-rows .monaco-list-row.focused { outline: inherit; }`);
-            content.push(`.monaco-workbench.context-menu-visible .monaco-list${suffix}.last-focused:not(.sticky-scroll-focused) .monaco-tree-sticky-container .monaco-list-rows .monaco-list-row.focused { outline: inherit; }`);
-        }
-        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) {
-        this.eventBufferer.bufferEvents(() => {
-            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) {
-        this.eventBufferer.bufferEvents(() => {
-            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);
-        });
-    }
-    focusNext(n = 1, loop = false, browserEvent, filter = (isKeyboardEvent(browserEvent) && browserEvent.altKey) ? undefined : this.focusNavigationFilter) {
-        this.view.focusNext(n, loop, browserEvent, filter);
-    }
-    focusPrevious(n = 1, loop = false, browserEvent, filter = (isKeyboardEvent(browserEvent) && browserEvent.altKey) ? undefined : this.focusNavigationFilter) {
-        this.view.focusPrevious(n, loop, browserEvent, filter);
-    }
-    focusNextPage(browserEvent, filter = (isKeyboardEvent(browserEvent) && browserEvent.altKey) ? undefined : this.focusNavigationFilter) {
-        return this.view.focusNextPage(browserEvent, filter);
-    }
-    focusPreviousPage(browserEvent, filter = (isKeyboardEvent(browserEvent) && browserEvent.altKey) ? undefined : this.focusNavigationFilter) {
-        return this.view.focusPreviousPage(browserEvent, filter, () => this.stickyScrollController?.height ?? 0);
-    }
-    focusLast(browserEvent, filter = (isKeyboardEvent(browserEvent) && browserEvent.altKey) ? undefined : this.focusNavigationFilter) {
-        this.view.focusLast(browserEvent, filter);
-    }
-    focusFirst(browserEvent, filter = (isKeyboardEvent(browserEvent) && browserEvent.altKey) ? undefined : this.focusNavigationFilter) {
-        this.view.focusFirst(browserEvent, filter);
-    }
-    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() {
-        dispose(this.disposables);
-        this.stickyScrollController?.dispose();
-        this.view.dispose();
-    }
-}