@codingame/monaco-vscode-api 1.82.4-next.1 → 1.82.5-next.0

package/vscode/src/vs/workbench/contrib/codeEditor/browser/find/simpleFindWidget.js

@@ -1,345 +0,0 @@
-import './simpleFindWidget.css.js';
-import * as nls from 'monaco-editor/esm/vs/nls.js';
-import * as dom from 'monaco-editor/esm/vs/base/browser/dom.js';
-import { Widget } from 'monaco-editor/esm/vs/base/browser/ui/widget.js';
-import { Delayer } from 'monaco-editor/esm/vs/base/common/async.js';
-import { FindReplaceState } from 'monaco-editor/esm/vs/editor/contrib/find/browser/findState.js';
-import { SimpleButton, findPreviousMatchIcon, findNextMatchIcon, NLS_MATCHES_LOCATION, NLS_NO_RESULTS } from 'monaco-editor/esm/vs/editor/contrib/find/browser/findWidget.js';
-import { ContextScopedFindInput } from 'monaco-editor/esm/vs/platform/history/browser/contextScopedHistoryWidget.js';
-import { widgetClose } from 'monaco-editor/esm/vs/platform/theme/common/iconRegistry.js';
-import { registerThemingParticipant } from 'monaco-editor/esm/vs/platform/theme/common/themeService.js';
-import * as strings from 'monaco-editor/esm/vs/base/common/strings.js';
-import { showHistoryKeybindingHint } from 'monaco-editor/esm/vs/platform/history/browser/historyWidgetKeybindingHint.js';
-import { status } from 'monaco-editor/esm/vs/base/browser/ui/aria/aria.js';
-import { defaultInputBoxStyles, defaultToggleStyles } from 'monaco-editor/esm/vs/platform/theme/browser/defaultStyles.js';
-import { Sash } from 'monaco-editor/esm/vs/base/browser/ui/sash/sash.js';
-import { registerColor } from 'monaco-editor/esm/vs/platform/theme/common/colorRegistry.js';
-const NLS_FIND_INPUT_LABEL = ( nls.localize('label.find', "Find"));
-const NLS_FIND_INPUT_PLACEHOLDER = ( nls.localize('placeholder.find', "Find (\u21C5 for history)"));
-const NLS_PREVIOUS_MATCH_BTN_LABEL = ( nls.localize('label.previousMatchButton', "Previous Match"));
-const NLS_NEXT_MATCH_BTN_LABEL = ( nls.localize('label.nextMatchButton', "Next Match"));
-const NLS_CLOSE_BTN_LABEL = ( nls.localize('label.closeButton', "Close"));
-const SIMPLE_FIND_WIDGET_INITIAL_WIDTH = 310;
-const MATCHES_COUNT_WIDTH = 73;
-class SimpleFindWidget extends Widget {
-    constructor(options, contextViewService, contextKeyService, _keybindingService) {
-        super();
-        this._keybindingService = _keybindingService;
-        this._isVisible = false;
-        this._foundMatch = false;
-        this._width = 0;
-        this.state = ( new FindReplaceState());
-        this._matchesLimit = options.matchesLimit ?? Number.MAX_SAFE_INTEGER;
-        this._findInput = this._register(( new ContextScopedFindInput(null, contextViewService, {
-            label: NLS_FIND_INPUT_LABEL,
-            placeholder: NLS_FIND_INPUT_PLACEHOLDER,
-            validation: (value) => {
-                if (value.length === 0 || !this._findInput.getRegex()) {
-                    return null;
-                }
-                try {
-                    return null;
-                }
-                catch (e) {
-                    this._foundMatch = false;
-                    this.updateButtons(this._foundMatch);
-                    return { content: e.message };
-                }
-            },
-            showCommonFindToggles: options.showCommonFindToggles,
-            appendCaseSensitiveLabel: options.appendCaseSensitiveActionId ? this._getKeybinding(options.appendCaseSensitiveActionId) : undefined,
-            appendRegexLabel: options.appendRegexActionId ? this._getKeybinding(options.appendRegexActionId) : undefined,
-            appendWholeWordsLabel: options.appendWholeWordsActionId ? this._getKeybinding(options.appendWholeWordsActionId) : undefined,
-            showHistoryHint: () => showHistoryKeybindingHint(_keybindingService),
-            inputBoxStyles: defaultInputBoxStyles,
-            toggleStyles: defaultToggleStyles
-        }, contextKeyService)));
-        this._updateHistoryDelayer = ( new Delayer(500));
-        this._register(this._findInput.onInput(async (e) => {
-            if (!options.checkImeCompletionState || !this._findInput.isImeSessionInProgress) {
-                this._foundMatch = this._onInputChanged();
-                if (options.showResultCount) {
-                    await this.updateResultCount();
-                }
-                this.updateButtons(this._foundMatch);
-                this.focusFindBox();
-                this._delayedUpdateHistory();
-            }
-        }));
-        this._findInput.setRegex(!!this.state.isRegex);
-        this._findInput.setCaseSensitive(!!this.state.matchCase);
-        this._findInput.setWholeWords(!!this.state.wholeWord);
-        this._register(this._findInput.onDidOptionChange(() => {
-            this.state.change({
-                isRegex: this._findInput.getRegex(),
-                wholeWord: this._findInput.getWholeWords(),
-                matchCase: this._findInput.getCaseSensitive()
-            }, true);
-        }));
-        this._register(this.state.onFindReplaceStateChange(() => {
-            this._findInput.setRegex(this.state.isRegex);
-            this._findInput.setWholeWords(this.state.wholeWord);
-            this._findInput.setCaseSensitive(this.state.matchCase);
-            this.findFirst();
-        }));
-        this.prevBtn = this._register(( new SimpleButton({
-            label: NLS_PREVIOUS_MATCH_BTN_LABEL + (options.previousMatchActionId ? this._getKeybinding(options.previousMatchActionId) : ''),
-            icon: findPreviousMatchIcon,
-            onTrigger: () => {
-                this.find(true);
-            }
-        })));
-        this.nextBtn = this._register(( new SimpleButton({
-            label: NLS_NEXT_MATCH_BTN_LABEL + (options.nextMatchActionId ? this._getKeybinding(options.nextMatchActionId) : ''),
-            icon: findNextMatchIcon,
-            onTrigger: () => {
-                this.find(false);
-            }
-        })));
-        const closeBtn = this._register(( new SimpleButton({
-            label: NLS_CLOSE_BTN_LABEL + (options.closeWidgetActionId ? this._getKeybinding(options.closeWidgetActionId) : ''),
-            icon: widgetClose,
-            onTrigger: () => {
-                this.hide();
-            }
-        })));
-        this._innerDomNode = document.createElement('div');
-        this._innerDomNode.classList.add('simple-find-part');
-        this._innerDomNode.appendChild(this._findInput.domNode);
-        this._innerDomNode.appendChild(this.prevBtn.domNode);
-        this._innerDomNode.appendChild(this.nextBtn.domNode);
-        this._innerDomNode.appendChild(closeBtn.domNode);
-        this._domNode = document.createElement('div');
-        this._domNode.classList.add('simple-find-part-wrapper');
-        this._domNode.appendChild(this._innerDomNode);
-        this.onkeyup(this._innerDomNode, e => {
-            if (e.equals(9 )) {
-                this.hide();
-                e.preventDefault();
-                return;
-            }
-        });
-        this._focusTracker = this._register(dom.trackFocus(this._innerDomNode));
-        this._register(this._focusTracker.onDidFocus(this._onFocusTrackerFocus.bind(this)));
-        this._register(this._focusTracker.onDidBlur(this._onFocusTrackerBlur.bind(this)));
-        this._findInputFocusTracker = this._register(dom.trackFocus(this._findInput.domNode));
-        this._register(this._findInputFocusTracker.onDidFocus(this._onFindInputFocusTrackerFocus.bind(this)));
-        this._register(this._findInputFocusTracker.onDidBlur(this._onFindInputFocusTrackerBlur.bind(this)));
-        this._register(dom.addDisposableListener(this._innerDomNode, 'click', (event) => {
-            event.stopPropagation();
-        }));
-        if (options?.showResultCount) {
-            this._domNode.classList.add('result-count');
-            this._matchesCount = document.createElement('div');
-            this._matchesCount.className = 'matchesCount';
-            this._findInput.domNode.insertAdjacentElement('afterend', this._matchesCount);
-            this._register(this._findInput.onDidChange(async () => {
-                await this.updateResultCount();
-            }));
-            this._register(this._findInput.onDidOptionChange(async () => {
-                this._foundMatch = this._onInputChanged();
-                await this.updateResultCount();
-                this.focusFindBox();
-                this._delayedUpdateHistory();
-            }));
-        }
-        let initialMinWidth = options?.initialWidth;
-        if (initialMinWidth) {
-            initialMinWidth = initialMinWidth < SIMPLE_FIND_WIDGET_INITIAL_WIDTH ? SIMPLE_FIND_WIDGET_INITIAL_WIDTH : initialMinWidth;
-            this._domNode.style.width = `${initialMinWidth}px`;
-        }
-        if (options?.enableSash) {
-            const _initialMinWidth = initialMinWidth ?? SIMPLE_FIND_WIDGET_INITIAL_WIDTH;
-            let originalWidth = _initialMinWidth;
-            const resizeSash = ( new Sash(
-                this._innerDomNode,
-                this,
-                { orientation: 0 , size: 1 }
-            ));
-            this._register(resizeSash.onDidStart(() => {
-                originalWidth = parseFloat(dom.getComputedStyle(this._domNode).width);
-            }));
-            this._register(resizeSash.onDidChange((e) => {
-                const width = originalWidth + e.startX - e.currentX;
-                if (width < _initialMinWidth) {
-                    return;
-                }
-                this._domNode.style.width = `${width}px`;
-            }));
-            this._register(resizeSash.onDidReset(e => {
-                const currentWidth = parseFloat(dom.getComputedStyle(this._domNode).width);
-                if (currentWidth === _initialMinWidth) {
-                    this._domNode.style.width = '100%';
-                }
-                else {
-                    this._domNode.style.width = `${_initialMinWidth}px`;
-                }
-            }));
-        }
-    }
-    getVerticalSashLeft(_sash) {
-        return 0;
-    }
-    get inputValue() {
-        return this._findInput.getValue();
-    }
-    get focusTracker() {
-        return this._focusTracker;
-    }
-    _getKeybinding(actionId) {
-        const kb = this._keybindingService?.lookupKeybinding(actionId);
-        if (!kb) {
-            return '';
-        }
-        return ` (${kb.getLabel()})`;
-    }
-    dispose() {
-        super.dispose();
-        if (this._domNode && this._domNode.parentElement) {
-            this._domNode.parentElement.removeChild(this._domNode);
-        }
-    }
-    isVisible() {
-        return this._isVisible;
-    }
-    getDomNode() {
-        return this._domNode;
-    }
-    reveal(initialInput, animated = true) {
-        if (initialInput) {
-            this._findInput.setValue(initialInput);
-        }
-        if (this._isVisible) {
-            this._findInput.select();
-            return;
-        }
-        this._isVisible = true;
-        this.updateResultCount();
-        this.layout();
-        setTimeout(() => {
-            this._innerDomNode.classList.toggle('suppress-transition', !animated);
-            this._innerDomNode.classList.add('visible', 'visible-transition');
-            this._innerDomNode.setAttribute('aria-hidden', 'false');
-            this._findInput.select();
-            if (!animated) {
-                setTimeout(() => {
-                    this._innerDomNode.classList.remove('suppress-transition');
-                }, 0);
-            }
-        }, 0);
-    }
-    show(initialInput) {
-        if (initialInput && !this._isVisible) {
-            this._findInput.setValue(initialInput);
-        }
-        this._isVisible = true;
-        this.layout();
-        setTimeout(() => {
-            this._innerDomNode.classList.add('visible', 'visible-transition');
-            this._innerDomNode.setAttribute('aria-hidden', 'false');
-        }, 0);
-    }
-    hide(animated = true) {
-        if (this._isVisible) {
-            this._innerDomNode.classList.toggle('suppress-transition', !animated);
-            this._innerDomNode.classList.remove('visible-transition');
-            this._innerDomNode.setAttribute('aria-hidden', 'true');
-            setTimeout(() => {
-                this._isVisible = false;
-                this.updateButtons(this._foundMatch);
-                this._innerDomNode.classList.remove('visible', 'suppress-transition');
-            }, animated ? 200 : 0);
-        }
-    }
-    layout(width = this._width) {
-        this._width = width;
-        if (!this._isVisible) {
-            return;
-        }
-        if (this._matchesCount) {
-            let reducedFindWidget = false;
-            if (SIMPLE_FIND_WIDGET_INITIAL_WIDTH + MATCHES_COUNT_WIDTH + 28 >= width) {
-                reducedFindWidget = true;
-            }
-            this._innerDomNode.classList.toggle('reduced-find-widget', reducedFindWidget);
-        }
-    }
-    _delayedUpdateHistory() {
-        this._updateHistoryDelayer.trigger(this._updateHistory.bind(this));
-    }
-    _updateHistory() {
-        this._findInput.inputBox.addToHistory();
-    }
-    _getRegexValue() {
-        return this._findInput.getRegex();
-    }
-    _getWholeWordValue() {
-        return this._findInput.getWholeWords();
-    }
-    _getCaseSensitiveValue() {
-        return this._findInput.getCaseSensitive();
-    }
-    updateButtons(foundMatch) {
-        const hasInput = this.inputValue.length > 0;
-        this.prevBtn.setEnabled(this._isVisible && hasInput && foundMatch);
-        this.nextBtn.setEnabled(this._isVisible && hasInput && foundMatch);
-    }
-    focusFindBox() {
-        this.nextBtn.focus();
-        this._findInput.inputBox.focus();
-    }
-    async updateResultCount() {
-        if (!this._matchesCount) {
-            this.updateButtons(this._foundMatch);
-            return;
-        }
-        const count = await this._getResultCount();
-        this._matchesCount.innerText = '';
-        const showRedOutline = (this.inputValue.length > 0 && count?.resultCount === 0);
-        this._matchesCount.classList.toggle('no-results', showRedOutline);
-        let label = '';
-        if (count?.resultCount) {
-            let matchesCount = String(count.resultCount);
-            if (count.resultCount >= this._matchesLimit) {
-                matchesCount += '+';
-            }
-            let matchesPosition = String(count.resultIndex + 1);
-            if (matchesPosition === '0') {
-                matchesPosition = '?';
-            }
-            label = strings.format(NLS_MATCHES_LOCATION, matchesPosition, matchesCount);
-        }
-        else {
-            label = NLS_NO_RESULTS;
-        }
-        status(this._announceSearchResults(label, this.inputValue));
-        this._matchesCount.appendChild(document.createTextNode(label));
-        this._foundMatch = !!count && count.resultCount > 0;
-        this.updateButtons(this._foundMatch);
-    }
-    changeState(state) {
-        this.state.change(state, false);
-    }
-    _announceSearchResults(label, searchString) {
-        if (!searchString) {
-            return ( nls.localize('ariaSearchNoInput', "Enter search input"));
-        }
-        if (label === NLS_NO_RESULTS) {
-            return searchString === ''
-                ? ( nls.localize('ariaSearchNoResultEmpty', "{0} found", label))
-                : ( nls.localize('ariaSearchNoResult', "{0} found for '{1}'", label, searchString));
-        }
-        return ( nls.localize(
-            'ariaSearchNoResultWithLineNumNoCurrentMatch',
-            "{0} found for '{1}'",
-            label,
-            searchString
-        ));
-    }
-}
-const simpleFindWidgetSashBorder = registerColor('simpleFindWidget.sashBorder', { dark: '#454545', light: '#C8C8C8', hcDark: '#6FC3DF', hcLight: '#0F4A85' }, ( nls.localize('simpleFindWidget.sashBorder', 'Border color of the sash border.')));
-registerThemingParticipant((theme, collector) => {
-    const resizeBorderBackground = theme.getColor(simpleFindWidgetSashBorder);
-    collector.addRule(`.monaco-workbench .simple-find-part .monaco-sash { background-color: ${resizeBorderBackground}; border-color: ${resizeBorderBackground} }`);
-});
-export { SimpleFindWidget, simpleFindWidgetSashBorder };