@codingame/monaco-vscode-api 11.1.2 → 12.0.1

package/vscode/src/vs/base/browser/ui/tree/abstractTree.js

@@ -1,15 +1,17 @@
-import { append, $, clearNode, h, getWindow, addDisposableListener, isKeyboardEvent, hasParentWithClass, isEditableElement, createStyleSheet, isActiveElement } from '../../dom.js';
+
+import { append, $, clearNode, h, addDisposableListener, isKeyboardEvent, hasParentWithClass, isEditableElement, isActiveElement } from '../../dom.js';
+import { createStyleSheet } from '../../domStylesheets.js';
 import { asCssValueWithDefault } from '../../cssValue.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 { unthemedInboxStyles, MessageType } from '../inputbox/inputBox.js';
 import { ElementsDragAndDropData } from '../list/listView.js';
 import { isStickyScrollContainer, isStickyScrollElement, MouseController, isButton, isMonacoEditor, isMonacoCustomToggle, isActionItem, List } from '../list/listWidget.js';
 import { Toggle, unthemedToggleStyles } from '../toggle/toggle.js';
 import { isFilterResult, getVisibleState } from './indexTreeModel.js';
-import { TreeMouseEventTarget, TreeError } from './tree.js';
+import { TreeDragOverBubble, TreeVisibility, TreeMouseEventTarget, TreeError } from './tree.js';
 import { Action } from '../../../common/actions.js';
 import { range, equals, distinct } from '../../../common/arrays.js';
 import { disposableTimeout, timeout, Delayer } from '../../../common/async.js';
@@ -18,9 +20,9 @@ import { ThemeIcon } from '../../../common/themables.js';
 import { SetMap } from '../../../common/map.js';
 import { Event, Emitter, EventBufferer, Relay } from '../../../common/event.js';
 import { FuzzyScore, fuzzyScore } from '../../../common/filters.js';
+import { KeyCode } from '../../../common/keyCodes.js';
 import { Disposable, DisposableStore, toDisposable, dispose } from '../../../common/lifecycle.js';
 import { clamp } from '../../../common/numbers.js';
-import { isNumber } from '../../../common/types.js';
 import './media/tree.css.js';
 import { localize } from '../../../../nls.js';
 import { createInstantHoverDelegate } from '../hover/hoverDelegateFactory.js';
@@ -38,15 +40,13 @@ class TreeElementsDragAndDropData extends ElementsDragAndDropData {
         return this.data.context;
     }
     constructor(data) {
-        super(( (data.elements.map(node => node.element))));
+        super(( data.elements.map(node => node.element)));
         this.data = data;
     }
 }
 function asTreeDragAndDropData(data) {
     if (data instanceof ElementsDragAndDropData) {
-        return (
-             (new TreeElementsDragAndDropData(data))
-        );
+        return ( new TreeElementsDragAndDropData(data));
     }
     return data;
 }
@@ -55,14 +55,14 @@ class TreeNodeListDragAndDrop {
         this.modelProvider = modelProvider;
         this.dnd = dnd;
         this.autoExpandDisposable = Disposable.None;
-        this.disposables = ( (new DisposableStore()));
+        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 this.dnd.getDragLabel(( nodes.map(node => node.element)), originalEvent);
         }
         return undefined;
     }
@@ -97,7 +97,7 @@ class TreeNodeListDragAndDrop {
             }
             return result;
         }
-        if (result.bubble === 1 ) {
+        if (result.bubble === TreeDragOverBubble.Up) {
             const model = this.modelProvider();
             const ref = model.getNodeLocation(targetNode);
             const parentRef = model.getParentNodeLocation(ref);
@@ -124,7 +124,7 @@ class TreeNodeListDragAndDrop {
         this.dnd.dispose();
     }
 }
-function asListOptions(modelProvider, options) {
+function asListOptions(modelProvider, disposableStore, options) {
     return options && {
         ...options,
         identityProvider: options.identityProvider && {
@@ -132,7 +132,7 @@ function asListOptions(modelProvider, options) {
                 return options.identityProvider.getId(el.element);
             }
         },
-        dnd: options.dnd && ( (new TreeNodeListDragAndDrop(modelProvider, options.dnd))),
+        dnd: options.dnd && disposableStore.add(( new TreeNodeListDragAndDrop(modelProvider, options.dnd))),
         multipleSelectionController: options.multipleSelectionController && {
             isSelectionSingleChangeEvent(e) {
                 return options.multipleSelectionController.isSelectionSingleChangeEvent({ ...e, element: e.element });
@@ -200,21 +200,19 @@ class ComposedTreeDelegate {
 }
 class AbstractTreeViewState {
     static lift(state) {
-        return state instanceof AbstractTreeViewState ? state : ( (new AbstractTreeViewState(state)));
+        return state instanceof AbstractTreeViewState ? state : ( new AbstractTreeViewState(state));
     }
     static empty(scrollTop = 0) {
-        return (
-             (new AbstractTreeViewState({
-                focus: [],
-                selection: [],
-                expanded: Object.create(null),
-                scrollTop,
-            }))
-        );
+        return ( new AbstractTreeViewState({
+            focus: [],
+            selection: [],
+            expanded: Object.create(null),
+            scrollTop,
+        }));
     }
     constructor(state) {
-        this.focus = ( (new Set(state.focus)));
-        this.selection = ( (new Set(state.selection)));
+        this.focus = ( new Set(state.focus));
+        this.selection = ( new Set(state.selection));
         if (state.expanded instanceof Array) {
             this.expanded = Object.create(null);
             for (const id of state.expanded) {
@@ -237,18 +235,18 @@ class AbstractTreeViewState {
     }
 }
 var RenderIndentGuides;
-( ((function(RenderIndentGuides) {
+(function (RenderIndentGuides) {
     RenderIndentGuides["None"] = "none";
     RenderIndentGuides["OnHover"] = "onHover";
     RenderIndentGuides["Always"] = "always";
-})(RenderIndentGuides || (RenderIndentGuides = {}))));
+})(RenderIndentGuides || (RenderIndentGuides = {}));
 class EventCollection {
     get elements() {
         return this._elements;
     }
     constructor(onDidChange, _elements = []) {
         this._elements = _elements;
-        this.disposables = ( (new DisposableStore()));
+        this.disposables = ( new DisposableStore());
         this.onDidChange = Event.forEach(onDidChange, elements => this._elements = elements, this.disposables);
     }
     dispose() {
@@ -262,17 +260,17 @@ class TreeRenderer {
         this.model = model;
         this.activeNodes = activeNodes;
         this.renderedIndentGuides = renderedIndentGuides;
-        this.renderedElements = ( (new Map()));
-        this.renderedNodes = ( (new Map()));
+        this.renderedElements = ( new Map());
+        this.renderedNodes = ( new Map());
         this.indent = TreeRenderer.DefaultIndent;
         this.hideTwistiesOfChildlessElements = false;
         this.shouldRenderIndentGuides = false;
-        this.activeIndentNodes = ( (new Set()));
+        this.activeIndentNodes = ( new Set());
         this.indentGuidesDisposable = Disposable.None;
-        this.disposables = ( (new DisposableStore()));
+        this.disposables = ( new DisposableStore());
         this.templateId = renderer.templateId;
         this.updateOptions(options);
-        ( (Event.map(onDidChangeCollapseState, e => e.node)))(this.onDidChangeNodeTwistieState, this, this.disposables);
+        ( Event.map(onDidChangeCollapseState, e => e.node))(this.onDidChangeNodeTwistieState, this, this.disposables);
         renderer.onDidChangeTwistieState?.(this.onDidChangeTwistieState, this, this.disposables);
     }
     updateOptions(options = {}) {
@@ -294,7 +292,7 @@ class TreeRenderer {
                 }
                 this.indentGuidesDisposable.dispose();
                 if (shouldRenderIndentGuides) {
-                    const disposables = ( (new DisposableStore()));
+                    const disposables = ( new DisposableStore());
                     this.activeNodes.onDidChange(this._onDidChangeActiveNodes, this, disposables);
                     this.indentGuidesDisposable = disposables;
                     this._onDidChangeActiveNodes(this.activeNodes.elements);
@@ -378,7 +376,7 @@ class TreeRenderer {
         if (!this.shouldRenderIndentGuides) {
             return;
         }
-        const disposableStore = ( (new DisposableStore()));
+        const disposableStore = ( new DisposableStore());
         while (true) {
             const ref = this.model.getNodeLocation(node);
             const parentRef = this.model.getParentNodeLocation(ref);
@@ -387,7 +385,7 @@ class TreeRenderer {
             }
             const parent = this.model.getNode(parentRef);
             const guide = $('.indent-guide', { style: `width: ${this.indent}px` });
-            if (( (this.activeIndentNodes.has(parent)))) {
+            if (( this.activeIndentNodes.has(parent))) {
                 guide.classList.add('active');
             }
             if (templateData.indent.childElementCount === 0) {
@@ -406,7 +404,7 @@ class TreeRenderer {
         if (!this.shouldRenderIndentGuides) {
             return;
         }
-        const set = ( (new Set()));
+        const set = ( new Set());
         nodes.forEach(node => {
             const ref = this.model.getNodeLocation(node);
             try {
@@ -422,20 +420,17 @@ class TreeRenderer {
             }
         });
         this.activeIndentNodes.forEach(node => {
-            if (!( (set.has(node)))) {
+            if (!( set.has(node))) {
                 this.renderedIndentGuides.forEach(node, line => line.classList.remove('active'));
             }
         });
         set.forEach(node => {
-            if (!( (this.activeIndentNodes.has(node)))) {
+            if (!( this.activeIndentNodes.has(node))) {
                 this.renderedIndentGuides.forEach(node, line => line.classList.add('active'));
             }
         });
         this.activeIndentNodes = set;
     }
-    setModel(model) {
-        this.model = model;
-    }
     dispose() {
         this.renderedNodes.clear();
         this.renderedElements.clear();
@@ -457,27 +452,32 @@ function contiguousFuzzyScore(patternLower, wordLower) {
 class FindFilter {
     get totalCount() { return this._totalCount; }
     get matchCount() { return this._matchCount; }
+    set findMatchType(type) { this._findMatchType = type; }
+    get findMatchType() { return this._findMatchType; }
+    set findMode(mode) { this._findMode = mode; }
+    get findMode() { return this._findMode; }
     set pattern(pattern) {
         this._pattern = pattern;
         this._lowercasePattern = pattern.toLowerCase();
     }
-    constructor(tree, keyboardNavigationLabelProvider, _filter) {
-        this.tree = tree;
-        this.keyboardNavigationLabelProvider = keyboardNavigationLabelProvider;
+    constructor(_keyboardNavigationLabelProvider, _filter, _defaultFindVisibility) {
+        this._keyboardNavigationLabelProvider = _keyboardNavigationLabelProvider;
         this._filter = _filter;
+        this._defaultFindVisibility = _defaultFindVisibility;
         this._totalCount = 0;
         this._matchCount = 0;
+        this._findMatchType = TreeFindMatchType.Fuzzy;
+        this._findMode = TreeFindMode.Highlight;
         this._pattern = '';
         this._lowercasePattern = '';
-        this.disposables = ( (new DisposableStore()));
-        tree.onWillRefilter(this.reset, this, this.disposables);
+        this.disposables = ( new DisposableStore());
     }
     filter(element, parentVisibility) {
-        let visibility = 1 ;
+        let visibility = TreeVisibility.Visible;
         if (this._filter) {
             const result = this._filter.filter(element, parentVisibility);
             if (typeof result === 'boolean') {
-                visibility = result ? 1  : 0 ;
+                visibility = result ? TreeVisibility.Visible : TreeVisibility.Hidden;
             }
             else if (isFilterResult(result)) {
                 visibility = getVisibleState(result.visibility);
@@ -485,7 +485,7 @@ class FindFilter {
             else {
                 visibility = result;
             }
-            if (visibility === 0 ) {
+            if (visibility === TreeVisibility.Hidden) {
                 return false;
             }
         }
@@ -494,15 +494,15 @@ class FindFilter {
             this._matchCount++;
             return { data: FuzzyScore.Default, visibility };
         }
-        const label = this.keyboardNavigationLabelProvider.getKeyboardNavigationLabel(element);
+        const label = this._keyboardNavigationLabelProvider.getKeyboardNavigationLabel(element);
         const labels = Array.isArray(label) ? label : [label];
         for (const l of labels) {
-            const labelStr = l && ( (l.toString()));
+            const labelStr = l && ( l.toString());
             if (typeof labelStr === 'undefined') {
                 return { data: FuzzyScore.Default, visibility };
             }
             let score;
-            if (this.tree.findMatchType === TreeFindMatchType.Contiguous) {
+            if (this._findMatchType === TreeFindMatchType.Contiguous) {
                 score = contiguousFuzzyScore(this._lowercasePattern, labelStr.toLowerCase());
             }
             else {
@@ -515,15 +515,15 @@ class FindFilter {
                     { data: { label: labelStr, score: score }, visibility };
             }
         }
-        if (this.tree.findMode === TreeFindMode.Filter) {
-            if (typeof this.tree.options.defaultFindVisibility === 'number') {
-                return this.tree.options.defaultFindVisibility;
+        if (this._findMode === TreeFindMode.Filter) {
+            if (typeof this._defaultFindVisibility === 'number') {
+                return this._defaultFindVisibility;
             }
-            else if (this.tree.options.defaultFindVisibility) {
-                return this.tree.options.defaultFindVisibility(element);
+            else if (this._defaultFindVisibility) {
+                return this._defaultFindVisibility(element);
             }
             else {
-                return 2 ;
+                return TreeVisibility.Recurse;
             }
         }
         else {
@@ -554,22 +554,22 @@ class TreeFindToggle extends Toggle {
 }
 class FindToggles {
     constructor(startStates) {
-        this.stateMap = ( (new Map( (startStates.map(state => [state.id, { ...state }])))));
+        this.stateMap = ( new Map(( startStates.map(state => [state.id, { ...state }]))));
     }
     states() {
-        return Array.from(( (this.stateMap.values())));
+        return Array.from(( this.stateMap.values()));
     }
     get(id) {
         const state = this.stateMap.get(id);
         if (state === undefined) {
-            throw ( (new Error(`No state found for toggle id ${id}`)));
+            throw ( new Error(`No state found for toggle id ${id}`));
         }
         return state.isChecked;
     }
     set(id, value) {
         const state = this.stateMap.get(id);
         if (state === undefined) {
-            throw ( (new Error(`No state found for toggle id ${id}`)));
+            throw ( new Error(`No state found for toggle id ${id}`));
         }
         if (state.isChecked === value) {
             return false;
@@ -587,15 +587,15 @@ const unthemedFindWidgetStyles = {
     listFilterWidgetShadow: undefined
 };
 var TreeFindMode;
-( ((function(TreeFindMode) {
+(function (TreeFindMode) {
     TreeFindMode[TreeFindMode["Highlight"] = 0] = "Highlight";
     TreeFindMode[TreeFindMode["Filter"] = 1] = "Filter";
-})(TreeFindMode || (TreeFindMode = {}))));
+})(TreeFindMode || (TreeFindMode = {}));
 var TreeFindMatchType;
-( ((function(TreeFindMatchType) {
+(function (TreeFindMatchType) {
     TreeFindMatchType[TreeFindMatchType["Fuzzy"] = 0] = "Fuzzy";
     TreeFindMatchType[TreeFindMatchType["Contiguous"] = 1] = "Contiguous";
-})(TreeFindMatchType || (TreeFindMatchType = {}))));
+})(TreeFindMatchType || (TreeFindMatchType = {}));
 class FindWidget extends Disposable {
     get value() {
         return this.findInput.inputBox.value;
@@ -607,15 +607,11 @@ class FindWidget extends Disposable {
         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.toggles = [];
-        this.width = 0;
-        this.right = 0;
-        this.top = 0;
-        this._onDidDisable = ( (new Emitter()));
+        this._onDidDisable = ( new Emitter());
         this.onDidDisable = this._onDidDisable.event;
         container.appendChild(this.elements.root);
         this._register(toDisposable(() => this.elements.root.remove()));
@@ -627,33 +623,30 @@ class FindWidget extends Disposable {
             this.elements.root.style.boxShadow = `0 0 8px 2px ${styles.listFilterWidgetShadow}`;
         }
         const toggleHoverDelegate = this._register(createInstantHoverDelegate());
-        this.toggles = ( (toggleContributions.map(
-            contribution => this._register(( (new TreeFindToggle(contribution, styles.toggleStyles, toggleHoverDelegate))))
-        )));
-        this.onDidToggleChange = Event.any(...( (this.toggles.map(
-            toggle => ( (Event.map(toggle.onChange, () => ({ id: toggle.id, isChecked: toggle.checked }))))
-        ))));
-        this.findInput = this._register(( (new FindInput(this.elements.findInput, contextViewProvider, {
-            label: ( localize(4645, "Type to search")),
+        this.toggles = ( toggleContributions.map(contribution => this._register(( new TreeFindToggle(contribution, styles.toggleStyles, toggleHoverDelegate)))));
+        this.onDidToggleChange = Event.any(...( this.toggles.map(toggle => ( Event.map(toggle.onChange, () => ({ id: toggle.id, isChecked: toggle.checked }))))));
+        const history = options?.history || [];
+        this.findInput = this._register(( new FindInput(this.elements.findInput, contextViewProvider, {
+            label: ( localize(32, "Type to search")),
             placeholder,
             additionalToggles: this.toggles,
             showCommonFindToggles: false,
             inputBoxStyles: styles.inputBoxStyles,
             toggleStyles: styles.toggleStyles,
-            history: options?.history
-        }))));
-        this.actionbar = this._register(( (new ActionBar(this.elements.actionbar))));
-        const emitter = this._register(( (new DomEmitter(this.findInput.inputBox.inputElement, 'keydown'))));
-        const onKeyDown = Event.chain(emitter.event, $ => ( ($.map(e => ( (new StandardKeyboardEvent(e)))))));
+            history: ( new Set(history))
+        })));
+        this.actionbar = this._register(( new ActionBar(this.elements.actionbar)));
+        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) => {
-            if (e.equals(3 )) {
+            if (e.equals(KeyCode.Enter)) {
                 e.preventDefault();
                 e.stopPropagation();
                 this.findInput.inputBox.addToHistory();
                 this.tree.domFocus();
                 return;
             }
-            if (e.equals(18 )) {
+            if (e.equals(KeyCode.DownArrow)) {
                 e.preventDefault();
                 e.stopPropagation();
                 if (this.findInput.inputBox.isAtLastInHistory() || this.findInput.inputBox.isNowhereInHistory()) {
@@ -665,79 +658,15 @@ class FindWidget extends Disposable {
                 }
                 return;
             }
-            if (e.equals(16 )) {
+            if (e.equals(KeyCode.UpArrow)) {
                 e.preventDefault();
                 e.stopPropagation();
                 this.findInput.inputBox.showPreviousValue();
                 return;
             }
         }));
-        const closeAction = this._register(( (new Action('close', ( localize(4646, "Close")), 'codicon codicon-close', true, () => this.dispose()))));
+        const closeAction = this._register(( new Action('close', ( localize(33, "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 ) {
-                right = Number.POSITIVE_INFINITY;
-            }
-            else if (e.keyCode === 17 ) {
-                right = 0;
-            }
-            else if (e.keyCode === 10 ) {
-                right = this.right === 0 ? Number.POSITIVE_INFINITY : 0;
-            }
-            if (e.keyCode === 16 ) {
-                top = 0;
-            }
-            else if (e.keyCode === 18 ) {
-                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;
     }
     setToggleState(id, checked) {
@@ -759,13 +688,6 @@ class FindWidget extends Disposable {
         this.findInput.select();
         this.findInput.inputBox.addToHistory(true);
     }
-    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);
     }
@@ -780,10 +702,10 @@ class FindWidget extends Disposable {
     }
 }
 var DefaultTreeToggles;
-( ((function(DefaultTreeToggles) {
+(function (DefaultTreeToggles) {
     DefaultTreeToggles["Mode"] = "mode";
     DefaultTreeToggles["MatchType"] = "matchType";
-})(DefaultTreeToggles || (DefaultTreeToggles = {}))));
+})(DefaultTreeToggles || (DefaultTreeToggles = {}));
 class AbstractFindController {
     get pattern() { return this._pattern; }
     get placeholder() { return this._placeholder; }
@@ -798,15 +720,14 @@ class AbstractFindController {
         this.options = options;
         this._pattern = '';
         this.previousPattern = '';
-        this.width = 0;
-        this._onDidChangePattern = ( (new Emitter()));
+        this._onDidChangePattern = ( new Emitter());
         this.onDidChangePattern = this._onDidChangePattern.event;
-        this._onDidChangeOpenState = ( (new Emitter()));
+        this._onDidChangeOpenState = ( new Emitter());
         this.onDidChangeOpenState = this._onDidChangeOpenState.event;
-        this.enabledDisposables = ( (new DisposableStore()));
-        this.disposables = ( (new DisposableStore()));
-        this.toggles = ( (new FindToggles(options.toggles ?? [])));
-        this._placeholder = options.placeholder ?? ( localize(4645, "Type to search"));
+        this.enabledDisposables = ( new DisposableStore());
+        this.disposables = ( new DisposableStore());
+        this.toggles = ( new FindToggles(options.toggles ?? []));
+        this._placeholder = options.placeholder ?? ( localize(32, "Type to search"));
     }
     isOpened() {
         return !!this.widget;
@@ -817,19 +738,19 @@ class AbstractFindController {
             this.widget.select();
             return;
         }
-        this.widget = ( (new FindWidget(
+        this.tree.updateOptions({ paddingTop: 30 });
+        this.widget = ( new FindWidget(
             this.tree.getHTMLElement(),
             this.tree,
             this.contextViewProvider,
             this.placeholder,
             this.toggles.states(),
             { ...this.options, history: this._history }
-        )));
+        ));
         this.enabledDisposables.add(this.widget);
         this.widget.onDidChangeValue(this.onDidChangeValue, this, this.enabledDisposables);
         this.widget.onDidDisable(this.close, this, this.enabledDisposables);
         this.widget.onDidToggleChange(this.onDidToggleChange, this, this.enabledDisposables);
-        this.widget.layout(this.width);
         this.widget.focus();
         this.widget.value = this.previousPattern;
         this.widget.select();
@@ -839,6 +760,7 @@ class AbstractFindController {
         if (!this.widget) {
             return;
         }
+        this.tree.updateOptions({ paddingTop: 0 });
         this._history = this.widget.getHistory();
         this.widget = undefined;
         this.enabledDisposables.clear();
@@ -860,13 +782,13 @@ class AbstractFindController {
         this.toggles.set(id, checked);
         this.widget?.setToggleState(id, checked);
     }
-    renderMessage(showNotFound) {
+    renderMessage(showNotFound, warningMessage) {
         if (showNotFound) {
             if (this.tree.options.showNotFoundMessage ?? true) {
-                this.widget?.showMessage({ type: 2 , content: ( localize(4647, "No results found.")) });
+                this.widget?.showMessage({ type: MessageType.WARNING, content: warningMessage ?? ( localize(34, "No results found.")) });
             }
             else {
-                this.widget?.showMessage({ type: 2  });
+                this.widget?.showMessage({ type: MessageType.WARNING });
             }
         }
         else {
@@ -875,16 +797,12 @@ class AbstractFindController {
     }
     alertResults(results) {
         if (!results) {
-            alert(( localize(4648, "No results")));
+            alert(( localize(35, "No results")));
         }
         else {
-            alert(( localize(4649, "{0} results", results)));
+            alert(( localize(36, "{0} results", results)));
         }
     }
-    layout(width) {
-        this.width = width;
-        this.widget?.layout(width);
-    }
     dispose() {
         this._history = undefined;
         this._onDidChangePattern.dispose();
@@ -900,7 +818,8 @@ class FindController extends AbstractFindController {
         }
         const isFilterMode = mode === TreeFindMode.Filter;
         this.updateToggleState(DefaultTreeToggles.Mode, isFilterMode);
-        this.placeholder = isFilterMode ? ( localize(4650, "Type to filter")) : ( localize(4645, "Type to search"));
+        this.placeholder = isFilterMode ? ( localize(37, "Type to filter")) : ( localize(32, "Type to search"));
+        this.filter.findMode = mode;
         this.tree.refilter();
         this.render();
         this._onDidChangeMode.fire(mode);
@@ -911,6 +830,7 @@ class FindController extends AbstractFindController {
             return;
         }
         this.updateToggleState(DefaultTreeToggles.MatchType, matchType === TreeFindMatchType.Fuzzy);
+        this.filter.findMatchType = matchType;
         this.tree.refilter();
         this.render();
         this._onDidChangeMatchType.fire(matchType);
@@ -921,19 +841,21 @@ class FindController extends AbstractFindController {
         const toggleContributions = [{
                 id: DefaultTreeToggles.Mode,
                 icon: Codicon.listFilter,
-                title: ( localize(4651, "Filter")),
+                title: ( localize(38, "Filter")),
                 isChecked: defaultFindMode === TreeFindMode.Filter,
             }, {
                 id: DefaultTreeToggles.MatchType,
                 icon: Codicon.searchFuzzy,
-                title: ( localize(4652, "Fuzzy Match")),
+                title: ( localize(39, "Fuzzy Match")),
                 isChecked: defaultFindMatchType === TreeFindMatchType.Fuzzy,
             }];
+        filter.findMatchType = defaultFindMatchType;
+        filter.findMode = defaultFindMode;
         super(tree, filter, contextViewProvider, { ...options, toggles: toggleContributions });
         this.filter = filter;
-        this._onDidChangeMode = ( (new Emitter()));
+        this._onDidChangeMode = ( new Emitter());
         this.onDidChangeMode = this._onDidChangeMode.event;
-        this._onDidChangeMatchType = ( (new Emitter()));
+        this._onDidChangeMatchType = ( new Emitter());
         this.onDidChangeMatchType = this._onDidChangeMatchType.event;
         this.disposables.add(this.tree.onDidChangeModel(() => {
             if (!this.isOpened()) {
@@ -944,6 +866,7 @@ class FindController extends AbstractFindController {
             }
             this.render();
         }));
+        this.disposables.add(this.tree.onWillRefilter(() => this.filter.reset()));
     }
     updateOptions(optionsUpdate = {}) {
         if (optionsUpdate.defaultFindMode !== undefined) {
@@ -956,7 +879,7 @@ class FindController extends AbstractFindController {
     applyPattern(pattern) {
         this.tree.refilter();
         if (pattern) {
-            this.tree.focusNext(0, true, undefined, node => !FuzzyScore.isDefault(node.filterData));
+            this.tree.focusNext(0, true, undefined, (node) => this.shouldAllowFocus(node));
         }
         const focus = this.tree.getFocus();
         if (focus.length > 0) {
@@ -1011,9 +934,7 @@ class StickyScrollState {
         return equals(this.stickyNodes, state.stickyNodes, stickyScrollNodeStateEquals);
     }
     contains(element) {
-        return (
-             (this.stickyNodes.some(node => node.node.element === element.element))
-        );
+        return ( this.stickyNodes.some(node => node.node.element === element.element));
     }
     lastNodePartiallyVisible() {
         if (this.count === 0) {
@@ -1060,15 +981,16 @@ class StickyScrollController extends Disposable {
         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(
+        this.stickyScrollDelegate = options.stickyScrollDelegate ?? ( new DefaultStickyScrollDelegate());
+        this.paddingTop = options.paddingTop ?? 0;
+        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()));
@@ -1079,17 +1001,15 @@ class StickyScrollController extends Disposable {
             if (!state) {
                 return;
             }
-            const hasRemovedStickyNode = e.deleteCount > 0 && ( (state.stickyNodes.some(
-                stickyNode => !( (this.model.has(this.model.getNodeLocation(stickyNode.node))))
-            )));
+            const hasRemovedStickyNode = e.deleteCount > 0 && ( state.stickyNodes.some(stickyNode => !( this.model.has(this.model.getNodeLocation(stickyNode.node)))));
             if (hasRemovedStickyNode) {
                 this.update();
                 return;
             }
-            const shouldRerenderStickyNodes = ( (state.stickyNodes.some(stickyNode => {
+            const shouldRerenderStickyNodes = ( state.stickyNodes.some(stickyNode => {
                 const listIndex = this.model.getListIndex(this.model.getNodeLocation(stickyNode.node));
                 return listIndex >= e.start && listIndex < e.start + e.deleteCount && state.contains(stickyNode.node);
-            })));
+            }));
             if (shouldRerenderStickyNodes) {
                 this._widget.rerender();
             }
@@ -1119,8 +1039,8 @@ class StickyScrollController extends Disposable {
         return this.view.element(index);
     }
     update() {
-        const firstVisibleNode = this.getNodeAtHeight(0);
-        if (!firstVisibleNode || this.tree.scrollTop === 0) {
+        const firstVisibleNode = this.getNodeAtHeight(this.paddingTop);
+        if (!firstVisibleNode || this.tree.scrollTop <= this.paddingTop) {
             this._widget.setState(undefined);
             return;
         }
@@ -1144,7 +1064,7 @@ class StickyScrollController extends Disposable {
             nextStickyNode = this.getNextStickyNode(firstVisibleNodeUnderWidget, nextStickyNode.node, stickyNodesHeight);
         }
         const contrainedStickyNodes = this.constrainStickyNodes(stickyNodes);
-        return contrainedStickyNodes.length ? ( (new StickyScrollState(contrainedStickyNodes))) : undefined;
+        return contrainedStickyNodes.length ? ( new StickyScrollState(contrainedStickyNodes)) : undefined;
     }
     getNextVisibleNode(previousStickyNode) {
         return this.getNodeAtHeight(previousStickyNode.position + previousStickyNode.height);
@@ -1225,7 +1145,7 @@ class StickyScrollController extends Disposable {
         }
         const lastConstrainedStickyNode = constrainedStickyNodes[constrainedStickyNodes.length - 1];
         if (constrainedStickyNodes.length > this.stickyScrollMaxItemCount || lastConstrainedStickyNode.position + lastConstrainedStickyNode.height > maximumStickyWidgetHeight) {
-            throw ( (new Error('stickyScrollDelegate violates constraints')));
+            throw ( new Error('stickyScrollDelegate violates constraints'));
         }
         return constrainedStickyNodes;
     }
@@ -1247,7 +1167,7 @@ class StickyScrollController extends Disposable {
         const nodeLocation = this.model.getNodeLocation(node);
         const startIndex = this.model.getListIndex(nodeLocation);
         if (startIndex < 0) {
-            throw ( (new Error('Node not found in tree')));
+            throw ( new Error('Node not found in tree'));
         }
         const renderCount = this.model.getListRenderCount(nodeLocation);
         const endIndex = startIndex + renderCount - 1;
@@ -1276,13 +1196,15 @@ class StickyScrollController extends Disposable {
         return this._widget.focusedLast();
     }
     updateOptions(optionsUpdate = {}) {
-        if (!optionsUpdate.stickyScrollMaxItemCount) {
-            return;
+        if (optionsUpdate.paddingTop !== undefined) {
+            this.paddingTop = optionsUpdate.paddingTop;
         }
-        const validatedOptions = this.validateStickySettings(optionsUpdate);
-        if (this.stickyScrollMaxItemCount !== validatedOptions.stickyScrollMaxItemCount) {
-            this.stickyScrollMaxItemCount = validatedOptions.stickyScrollMaxItemCount;
-            this.update();
+        if (optionsUpdate.stickyScrollMaxItemCount !== undefined) {
+            const validatedOptions = this.validateStickySettings(optionsUpdate);
+            if (this.stickyScrollMaxItemCount !== validatedOptions.stickyScrollMaxItemCount) {
+                this.stickyScrollMaxItemCount = validatedOptions.stickyScrollMaxItemCount;
+                this.update();
+            }
         }
     }
     validateStickySettings(options) {
@@ -1292,9 +1214,6 @@ class StickyScrollController extends Disposable {
         }
         return { stickyScrollMaxItemCount };
     }
-    setModel(model) {
-        this.model = model;
-    }
 }
 class StickyScrollWidget {
     get state() { return this._previousState; }
@@ -1305,12 +1224,12 @@ class StickyScrollWidget {
         this.treeDelegate = treeDelegate;
         this.accessibilityProvider = accessibilityProvider;
         this._previousElements = [];
-        this._previousStateDisposables = ( (new DisposableStore()));
+        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.stickyScrollFocus = ( new StickyScrollFocus(this._rootDomNode, view));
         this.onDidChangeHasFocus = this.stickyScrollFocus.onDidChangeHasFocus;
         this.onContextMenu = this.stickyScrollFocus.onContextMenu;
     }
@@ -1389,11 +1308,11 @@ class StickyScrollWidget {
         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}`)));
+            throw ( new Error(`No renderer found for template id ${nodeTemplateId}`));
         }
         let nodeCopy = stickyNode.node;
         if (nodeCopy === this.tree.getNode(this.tree.getNodeLocation(stickyNode.node))) {
-            nodeCopy = ( (new Proxy(stickyNode.node, {})));
+            nodeCopy = ( new Proxy(stickyNode.node, {}));
         }
         const templateData = renderer.renderTemplate(stickyElement);
         renderer.renderElement(nodeCopy, stickyNode.startIndex, templateData, stickyNode.height);
@@ -1475,9 +1394,9 @@ class StickyScrollFocus extends Disposable {
         this.view = view;
         this.focusedIndex = -1;
         this.elements = [];
-        this._onDidChangeHasFocus = ( (new Emitter()));
+        this._onDidChangeHasFocus = ( new Emitter());
         this.onDidChangeHasFocus = this._onDidChangeHasFocus.event;
-        this._onContextMenu = ( (new Emitter()));
+        this._onContextMenu = ( new Emitter());
         this.onContextMenu = this._onContextMenu.event;
         this._domHasFocus = false;
         this._register(addDisposableListener(this.container, 'focus', () => this.onFocus()));
@@ -1497,22 +1416,22 @@ class StickyScrollFocus extends Disposable {
         }
         if (!isKeyboardEvent(e.browserEvent)) {
             if (!this.state) {
-                throw ( (new Error('Context menu should not be triggered when state is undefined')));
+                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(
+                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(
+            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;
@@ -1551,10 +1470,10 @@ class StickyScrollFocus extends Disposable {
     }
     updateElements(elements, state) {
         if (state && state.count === 0) {
-            throw ( (new Error('Sticky scroll state must be undefined when there are no sticky nodes')));
+            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')));
+            throw ( new Error('Sticky scroll focus received illigel state'));
         }
         const previousIndex = this.focusedIndex;
         this.removeFocus();
@@ -1574,7 +1493,7 @@ class StickyScrollFocus extends Disposable {
     setFocusedElement(stickyIndex) {
         const state = this.state;
         if (!state) {
-            throw ( (new Error('Cannot set focus when state is undefined')));
+            throw ( new Error('Cannot set focus when state is undefined'));
         }
         this.setFocus(stickyIndex);
         if (stickyIndex < state.count - 1) {
@@ -1600,7 +1519,7 @@ class StickyScrollFocus extends Disposable {
     }
     domFocus() {
         if (!this.state) {
-            throw ( (new Error('Cannot focus when state is undefined')));
+            throw ( new Error('Cannot focus when state is undefined'));
         }
         this.container.focus();
     }
@@ -1619,13 +1538,13 @@ class StickyScrollFocus extends Disposable {
     }
     setFocus(newFocusIndex) {
         if (0 > newFocusIndex) {
-            throw ( (new Error('addFocus() can not remove focus')));
+            throw ( new Error('addFocus() can not remove focus'));
         }
         if (!this.state && newFocusIndex >= 0) {
-            throw ( (new Error('Cannot set focus index when state is undefined')));
+            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')));
+            throw ( new Error('Cannot set focus index to an index that does not exist'));
         }
         const oldIndex = this.focusedIndex;
         if (oldIndex >= 0) {
@@ -1657,7 +1576,7 @@ class StickyScrollFocus extends Disposable {
     }
     onFocus() {
         if (!this.state || this.elements.length === 0) {
-            throw ( (new Error('Cannot focus when state is undefined or elements are empty')));
+            throw ( new Error('Cannot focus when state is undefined or elements are empty'));
         }
         this.domHasFocus = true;
         this.toggleStickyScrollFocused(true);
@@ -1717,7 +1636,7 @@ class Trait {
         this.getFirstViewElementWithTrait = getFirstViewElementWithTrait;
         this.identityProvider = identityProvider;
         this.nodes = [];
-        this._onDidChange = ( (new Emitter()));
+        this._onDidChange = ( new Emitter());
         this.onDidChange = this._onDidChange.event;
     }
     set(nodes, browserEvent) {
@@ -1737,7 +1656,7 @@ class Trait {
     }
     get() {
         if (!this.elements) {
-            this.elements = ( (this.nodes.map(node => node.element)));
+            this.elements = ( this.nodes.map(node => node.element));
         }
         return [...this.elements];
     }
@@ -1745,28 +1664,26 @@ class Trait {
         return this.nodes;
     }
     has(node) {
-        return (
-             (this.nodeSet.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()))]);
+            this.set([...( set.values())]);
             return;
         }
-        const deletedNodesIdSet = ( (new Set()));
-        const deletedNodesVisitor = (node) => deletedNodesIdSet.add(( (this.identityProvider.getId(node.element).toString())));
+        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);
+        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)));
+            const id = ( this.identityProvider.getId(node.element).toString());
+            const wasDeleted = ( deletedNodesIdSet.has(id));
             if (!wasDeleted) {
                 nodes.push(node);
             }
@@ -1786,7 +1703,7 @@ class Trait {
         this._set(nodes, true);
     }
     createNodeSet() {
-        const set = ( (new Set()));
+        const set = ( new Set());
         for (const node of this.nodes) {
             set.add(node);
         }
@@ -1860,7 +1777,7 @@ class TreeNodeListMouseController extends MouseController {
         }
         const stickyScrollController = this.stickyScrollProvider();
         if (!stickyScrollController) {
-            throw ( (new Error('Sticky scroll controller not found')));
+            throw ( new Error('Sticky scroll controller not found'));
         }
         const nodeIndex = this.list.indexOf(node);
         const elementScrollTop = this.list.getElementTop(nodeIndex);
@@ -1903,9 +1820,7 @@ class TreeNodeList extends List {
         this.anchorTrait = anchorTrait;
     }
     createMouseController(options) {
-        return (
-             (new TreeNodeListMouseController(this, options.tree, options.stickyScrollProvider))
-        );
+        return ( new TreeNodeListMouseController(this, options.tree, options.stickyScrollProvider));
     }
     splice(start, deleteCount, elements = []) {
         super.splice(start, deleteCount, elements);
@@ -1916,13 +1831,13 @@ class TreeNodeList extends List {
         const additionalSelection = [];
         let anchor;
         elements.forEach((node, index) => {
-            if (( (this.focusTrait.has(node)))) {
+            if (( this.focusTrait.has(node))) {
                 additionalFocus.push(start + index);
             }
-            if (( (this.selectionTrait.has(node)))) {
+            if (( this.selectionTrait.has(node))) {
                 additionalSelection.push(start + index);
             }
-            if (( (this.anchorTrait.has(node)))) {
+            if (( this.anchorTrait.has(node))) {
                 anchor = start + index;
             }
         });
@@ -1939,13 +1854,13 @@ class TreeNodeList extends List {
     setFocus(indexes, browserEvent, fromAPI = false) {
         super.setFocus(indexes, browserEvent);
         if (!fromAPI) {
-            this.focusTrait.set(( (indexes.map(i => this.element(i)))), browserEvent);
+            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);
+            this.selectionTrait.set(( indexes.map(i => this.element(i))), browserEvent);
         }
     }
     setAnchor(index, fromAPI = false) {
@@ -1960,27 +1875,22 @@ class TreeNodeList extends List {
         }
     }
 }
+var AbstractTreePart;
+(function (AbstractTreePart) {
+    AbstractTreePart[AbstractTreePart["Tree"] = 0] = "Tree";
+    AbstractTreePart[AbstractTreePart["StickyScroll"] = 1] = "StickyScroll";
+})(AbstractTreePart || (AbstractTreePart = {}));
 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 onMouseClick() { return (
-         (Event.map(this.view.onMouseClick, asTreeMouseEvent))
-    ); }
-    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 onTap() { return (
-         (Event.map(this.view.onTap, asTreeMouseEvent))
-    ); }
-    get onPointer() { return (
-         (Event.map(this.view.onPointer, asTreeMouseEvent))
-    ); }
+    get onMouseClick() { return ( Event.map(this.view.onMouseClick, asTreeMouseEvent)); }
+    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 onTap() { return ( Event.map(this.view.onTap, asTreeMouseEvent)); }
+    get onPointer() { return ( Event.map(this.view.onPointer, asTreeMouseEvent)); }
     get onKeyDown() { return this.view.onKeyDown; }
     get onKeyUp() { return this.view.onKeyUp; }
     get onKeyPress() { return this.view.onKeyPress; }
@@ -2004,45 +1914,49 @@ class AbstractTree {
     constructor(_user, container, delegate, renderers, _options = {}) {
         this._user = _user;
         this._options = _options;
-        this.eventBufferer = ( (new EventBufferer()));
+        this.eventBufferer = ( new EventBufferer());
         this.onDidChangeFindOpenState = Event.None;
         this.onDidChangeStickyScrollFocused = Event.None;
-        this.disposables = ( (new DisposableStore()));
-        this.onDidSwapModel = this.disposables.add(( (new Emitter())));
-        this.onDidChangeModelRelay = this.disposables.add(( (new Relay())));
-        this.onDidSpliceModelRelay = this.disposables.add(( (new Relay())));
-        this.onDidChangeCollapseStateRelay = this.disposables.add(( (new Relay())));
-        this.onDidChangeRenderNodeCountRelay = this.disposables.add(( (new Relay())));
-        this.onDidChangeActiveNodesRelay = this.disposables.add(( (new Relay())));
-        this._onWillRefilter = ( (new Emitter()));
+        this.disposables = ( new DisposableStore());
+        this.onDidSwapModel = this.disposables.add(( new Emitter()));
+        this.onDidChangeModelRelay = this.disposables.add(( new Relay()));
+        this.onDidSpliceModelRelay = this.disposables.add(( new Relay()));
+        this.onDidChangeCollapseStateRelay = this.disposables.add(( new Relay()));
+        this.onDidChangeRenderNodeCountRelay = this.disposables.add(( new Relay()));
+        this.onDidChangeActiveNodesRelay = this.disposables.add(( new Relay()));
+        this._onWillRefilter = ( new Emitter());
         this.onWillRefilter = this._onWillRefilter.event;
-        this._onDidUpdateOptions = ( (new Emitter()));
+        this._onDidUpdateOptions = ( new Emitter());
         this.onDidUpdateOptions = this._onDidUpdateOptions.event;
-        this.modelDisposables = ( (new DisposableStore()));
-        if (_options.keyboardNavigationLabelProvider) {
-            this.findFilter = ( (new FindFilter(this, _options.keyboardNavigationLabelProvider, _options.filter)));
+        this.modelDisposables = ( new DisposableStore());
+        if (_options.keyboardNavigationLabelProvider && (_options.findWidgetEnabled ?? true)) {
+            this.findFilter = ( new FindFilter(
+                _options.keyboardNavigationLabelProvider,
+                _options.filter,
+                _options.defaultFindVisibility
+            ));
             _options = { ..._options, filter: this.findFilter };
             this.disposables.add(this.findFilter);
         }
         this.model = this.createModel(_user, _options);
-        this.treeDelegate = ( (new ComposedTreeDelegate(delegate)));
-        const activeNodes = this.disposables.add(( (new EventCollection(this.onDidChangeActiveNodesRelay.event))));
-        const renderedIndentGuides = ( (new SetMap()));
-        this.renderers = ( (renderers.map(r => ( (new TreeRenderer(
+        this.treeDelegate = ( new ComposedTreeDelegate(delegate));
+        const activeNodes = this.disposables.add(( new EventCollection(this.onDidChangeActiveNodesRelay.event)));
+        const renderedIndentGuides = ( new SetMap());
+        this.renderers = ( renderers.map(r => ( new TreeRenderer(
             r,
             this.model,
             this.onDidChangeCollapseStateRelay.event,
             activeNodes,
             renderedIndentGuides,
             _options
-        ))))));
+        ))));
         for (const r of this.renderers) {
             this.disposables.add(r);
         }
-        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(
+        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,
@@ -2050,15 +1964,15 @@ class AbstractTree {
             this.focus,
             this.selection,
             this.anchor,
-            { ...asListOptions(() => this.model, _options), tree: this, stickyScrollProvider: () => this.stickyScrollController }
-        )));
+            { ...asListOptions(() => this.model, this.disposables, _options), tree: this, stickyScrollProvider: () => this.stickyScrollController }
+        ));
         this.setupModel(this.model);
         if (_options.keyboardSupport !== false) {
-            const onKeyDown = Event.chain(this.view.onKeyDown, $ => ( ($.filter(e => !isEditableElement(e.target))
-                .map(e => ( (new StandardKeyboardEvent(e)))))));
-            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === 15 ))(this.onLeftArrow, this, this.disposables);
-            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === 17 ))(this.onRightArrow, this, this.disposables);
-            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === 10 ))(this.onSpace, this, this.disposables);
+            const onKeyDown = Event.chain(this.view.onKeyDown, $ => ( $.filter(e => !isEditableElement(e.target))
+                .map(e => ( new StandardKeyboardEvent(e)))));
+            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === KeyCode.LeftArrow))(this.onLeftArrow, this, this.disposables);
+            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === KeyCode.RightArrow))(this.onRightArrow, this, this.disposables);
+            Event.chain(onKeyDown, $ => $.filter(e => e.keyCode === KeyCode.Space))(this.onSpace, this, this.disposables);
         }
         if ((_options.findWidgetEnabled ?? true) && _options.keyboardNavigationLabelProvider && _options.contextViewProvider) {
             const findOptions = {
@@ -2067,7 +1981,7 @@ class AbstractTree {
                 defaultFindMatchType: _options.defaultFindMatchType,
                 showNotFoundMessage: _options.showNotFoundMessage,
             };
-            this.findController = this.disposables.add(( (new FindController(this, this.findFilter, _options.contextViewProvider, findOptions))));
+            this.findController = this.disposables.add(( new FindController(this, this.findFilter, _options.contextViewProvider, findOptions)));
             this.focusNavigationFilter = node => this.findController.shouldAllowFocus(node);
             this.onDidChangeFindOpenState = this.findController.onDidChangeOpenState;
             this.onDidChangeFindMode = this.findController.onDidChangeMode;
@@ -2078,7 +1992,7 @@ class AbstractTree {
             this.onDidChangeFindMatchType = Event.None;
         }
         if (_options.enableStickyScroll) {
-            this.stickyScrollController = ( (new StickyScrollController(this, this.model, this.view, this.renderers, this.treeDelegate, _options)));
+            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());
@@ -2100,14 +2014,14 @@ class AbstractTree {
     }
     updateStickyScroll(optionsUpdate) {
         if (!this.stickyScrollController && this._options.enableStickyScroll) {
-            this.stickyScrollController = ( (new StickyScrollController(
+            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) {
@@ -2195,9 +2109,6 @@ class AbstractTree {
     }
     layout(height, width) {
         this.view.layout(height, width);
-        if (isNumber(width)) {
-            this.findController?.layout(width);
-        }
     }
     style(styles) {
         const suffix = `.${this.view.domId}`;
@@ -2308,9 +2219,9 @@ class AbstractTree {
     }
     setSelection(elements, browserEvent) {
         this.eventBufferer.bufferEvents(() => {
-            const nodes = ( (elements.map(e => this.model.getNode(e))));
+            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);
+            const indexes = ( elements.map(e => this.model.getListIndex(e))).filter(i => i > -1);
             this.view.setSelection(indexes, browserEvent, true);
         });
     }
@@ -2319,9 +2230,9 @@ class AbstractTree {
     }
     setFocus(elements, browserEvent) {
         this.eventBufferer.bufferEvents(() => {
-            const nodes = ( (elements.map(e => this.model.getNode(e))));
+            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);
+            const indexes = ( elements.map(e => this.model.getListIndex(e))).filter(i => i > -1);
             this.view.setFocus(indexes, browserEvent, true);
         });
     }
@@ -2351,7 +2262,7 @@ class AbstractTree {
         return focus !== undefined ? [focus] : [];
     }
     getFocusedPart() {
-        return this.stickyScrollController?.focusedLast() ? 1  : 0 ;
+        return this.stickyScrollController?.focusedLast() ? AbstractTreePart.StickyScroll : AbstractTreePart.Tree;
     }
     reveal(location, relativeTop) {
         this.model.expandTo(location);
@@ -2377,9 +2288,9 @@ class AbstractTree {
     }
     getViewState(identityProvider = this.options.identityProvider) {
         if (!identityProvider) {
-            throw ( (new TreeError(this._user, 'Can\'t get tree view state without an identity provider')));
+            throw ( new TreeError(this._user, 'Can\'t get tree view state without an identity provider'));
         }
-        const getId = (element) => ( (identityProvider.getId(element).toString()));
+        const getId = (element) => ( identityProvider.getId(element).toString());
         const state = AbstractTreeViewState.empty(this.scrollTop);
         for (const focus of this.getFocus()) {
             state.focus.add(getId(focus));
@@ -2429,7 +2340,7 @@ class AbstractTree {
         const location = this.model.getNodeLocation(node);
         const didChange = this.model.setCollapsed(location, false);
         if (!didChange) {
-            if (!( (node.children.some(child => child.visible)))) {
+            if (!( node.children.some(child => child.visible))) {
                 return;
             }
             const [focusedIndex] = this.view.getFocus();
@@ -2450,9 +2361,6 @@ class AbstractTree {
         const recursive = e.browserEvent.altKey;
         this.model.setCollapsed(location, undefined, recursive);
     }
-    createNewModel(options = {}) {
-        return this.createModel(this._user, { ...this._options, filter: this.findFilter, ...options });
-    }
     setupModel(model) {
         this.modelDisposables.clear();
         this.modelDisposables.add(model.onDidSpliceRenderedNodes(({ start, deleteCount, elements }) => this.view.splice(start, deleteCount, elements)));
@@ -2463,18 +2371,18 @@ class AbstractTree {
             });
         }, this.modelDisposables);
         onDidModelSplice(() => null, null, this.modelDisposables);
-        const activeNodesEmitter = this.modelDisposables.add(( (new Emitter())));
-        const activeNodesDebounce = this.modelDisposables.add(( (new Delayer(0))));
+        const activeNodesEmitter = this.modelDisposables.add(( new Emitter()));
+        const activeNodesDebounce = this.modelDisposables.add(( new Delayer(0)));
         this.modelDisposables.add(Event.any(onDidModelSplice, this.focus.onDidChange, this.selection.onDidChange)(() => {
             activeNodesDebounce.trigger(() => {
-                const set = ( (new Set()));
+                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()))]);
+                activeNodesEmitter.fire([...( set.values())]);
             });
         }));
         this.onDidChangeActiveNodesRelay.input = activeNodesEmitter.event;
@@ -2483,26 +2391,8 @@ class AbstractTree {
         this.onDidChangeRenderNodeCountRelay.input = model.onDidChangeRenderNodeCount;
         this.onDidSpliceModelRelay.input = model.onDidSpliceModel;
     }
-    setModel(newModel) {
-        const oldModel = this.model;
-        this.model = newModel;
-        this.setupModel(newModel);
-        this.renderers.forEach(r => r.setModel(newModel));
-        this.stickyScrollController?.setModel(newModel);
-        this.focus.set([]);
-        this.selection.set([]);
-        this.anchor.set([]);
-        this.view.splice(0, oldModel.getListRenderCount(oldModel.rootRef));
-        newModel.refilter();
-        this.onDidSwapModel.fire();
-    }
-    getModel() {
-        return this.model;
-    }
     navigate(start) {
-        return (
-             (new TreeNavigator(this.view, this.model, start))
-        );
+        return ( new TreeNavigator(this.view, this.model, start));
     }
     dispose() {
         dispose(this.disposables);
@@ -2546,4 +2436,4 @@ class TreeNavigator {
     }
 }
 
-export { AbstractFindController, AbstractTree, AbstractTreeViewState, ComposedTreeDelegate, FindToggles, RenderIndentGuides, TreeFindMatchType, TreeFindMode, TreeRenderer, contiguousFuzzyScore };
+export { AbstractFindController, AbstractTree, AbstractTreePart, AbstractTreeViewState, ComposedTreeDelegate, FindController, FindFilter, FindToggles, RenderIndentGuides, TreeFindMatchType, TreeFindMode, TreeRenderer, contiguousFuzzyScore };