/*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ // import 'vs/css!./findWidget'; import * as nls from '../../../../vs/nls'; import * as dom from '../../../../vs/base/browser/dom'; import { IKeyboardEvent } from '../../../../vs/base/browser/keyboardEvent'; import { IMouseEvent } from '../../../../vs/base/browser/mouseEvent'; import { IContextViewProvider } from '../../../../vs/base/browser/ui/contextview/contextview'; import { alert as alertFn } from '../../../../vs/base/browser/ui/aria/aria'; import { Checkbox } from '../../../../vs/base/browser/ui/checkbox/checkbox'; import { FindInput, IFindInputStyles, } from '../../../../vs/base/browser/ui/findinput/findInput'; import { IMessage as InputBoxMessage } from '../../../../vs/base/browser/ui/inputbox/inputBox'; import { ReplaceInput } from '../../../../vs/base/browser/ui/findinput/replaceInput'; import { IVerticalSashLayoutProvider, ISashEvent, Orientation, Sash, } from '../../../../vs/base/browser/ui/sash/sash'; import { Widget } from '../../../../vs/base/browser/ui/widget'; import { Delayer } from '../../../../vs/base/common/async'; import { Color } from '../../../../vs/base/common/color'; import { onUnexpectedError } from '../../../../vs/base/common/errors'; import { KeyCode, KeyMod } from '../../../../vs/base/common/keyCodes'; import { toDisposable } from '../../../../vs/base/common/lifecycle'; import * as platform from '../../../../vs/base/common/platform'; import * as strings from '../../../../vs/base/common/strings'; import { ICodeEditor, IOverlayWidget, IOverlayWidgetPosition, IViewZone, OverlayWidgetPositionPreference, } from '../../../../vs/editor/browser/editorBrowser'; import { ConfigurationChangedEvent, EditorOption, } from '../../../../vs/editor/common/config/editorOptions'; import { Range } from '../../../../vs/editor/common/core/range'; import { CONTEXT_FIND_INPUT_FOCUSED, CONTEXT_REPLACE_INPUT_FOCUSED, FIND_IDS, MATCHES_LIMIT, } from '../../../../vs/editor/contrib/find/findModel'; import { FindReplaceState, FindReplaceStateChangedEvent, } from '../../../../vs/editor/contrib/find/findState'; import { IContextKey, IContextKeyService, } from '../../../../vs/platform/contextkey/common/contextkey'; import { IKeybindingService } from '../../../../vs/platform/keybinding/common/keybinding'; import { contrastBorder, editorFindMatch, editorFindMatchBorder, editorFindMatchHighlight, editorFindMatchHighlightBorder, editorFindRangeHighlight, editorFindRangeHighlightBorder, editorWidgetBackground, editorWidgetBorder, editorWidgetResizeBorder, errorForeground, inputActiveOptionBorder, inputActiveOptionBackground, inputActiveOptionForeground, inputBackground, inputBorder, inputForeground, inputValidationErrorBackground, inputValidationErrorBorder, inputValidationErrorForeground, inputValidationInfoBackground, inputValidationInfoBorder, inputValidationInfoForeground, inputValidationWarningBackground, inputValidationWarningBorder, inputValidationWarningForeground, widgetShadow, editorWidgetForeground, focusBorder, } from '../../../../vs/platform/theme/common/colorRegistry'; import { IColorTheme, IThemeService, registerThemingParticipant, ThemeIcon, } from '../../../../vs/platform/theme/common/themeService'; import { ContextScopedFindInput, ContextScopedReplaceInput, } from '../../../../vs/platform/browser/contextScopedHistoryWidget'; import { AccessibilitySupport } from '../../../../vs/platform/accessibility/common/accessibility'; import { IStorageService, StorageScope, StorageTarget, } from '../../../../vs/platform/storage/common/storage'; import { INotificationService } from '../../../../vs/platform/notification/common/notification'; import { Codicon } from '../../../../vs/base/common/codicons'; import { registerIcon, widgetClose, } from '../../../../vs/platform/theme/common/iconRegistry'; const findSelectionIcon = registerIcon( 'find-selection', Codicon.selection, nls.localize( 'findSelectionIcon', "Icon for 'Find in Selection' in the editor find widget." ) ); const findCollapsedIcon = registerIcon( 'find-collapsed', Codicon.chevronRight, nls.localize( 'findCollapsedIcon', 'Icon to indicate that the editor find widget is collapsed.' ) ); const findExpandedIcon = registerIcon( 'find-expanded', Codicon.chevronDown, nls.localize( 'findExpandedIcon', 'Icon to indicate that the editor find widget is expanded.' ) ); export const findReplaceIcon = registerIcon( 'find-replace', Codicon.replace, nls.localize( 'findReplaceIcon', "Icon for 'Replace' in the editor find widget." ) ); export const findReplaceAllIcon = registerIcon( 'find-replace-all', Codicon.replaceAll, nls.localize( 'findReplaceAllIcon', "Icon for 'Replace All' in the editor find widget." ) ); export const findPreviousMatchIcon = registerIcon( 'find-previous-match', Codicon.arrowUp, nls.localize( 'findPreviousMatchIcon', "Icon for 'Find Previous' in the editor find widget." ) ); export const findNextMatchIcon = registerIcon( 'find-next-match', Codicon.arrowDown, nls.localize( 'findNextMatchIcon', "Icon for 'Find Next' in the editor find widget." ) ); export interface IFindController { replace(): void; replaceAll(): void; getGlobalBufferTerm(): Promise; } const NLS_FIND_INPUT_LABEL = nls.localize('label.find', 'Find'); const NLS_FIND_INPUT_PLACEHOLDER = nls.localize('placeholder.find', 'Find'); 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_TOGGLE_SELECTION_FIND_TITLE = nls.localize( 'label.toggleSelectionFind', 'Find in selection' ); const NLS_CLOSE_BTN_LABEL = nls.localize('label.closeButton', 'Close'); const NLS_REPLACE_INPUT_LABEL = nls.localize('label.replace', 'Replace'); const NLS_REPLACE_INPUT_PLACEHOLDER = nls.localize( 'placeholder.replace', 'Replace' ); const NLS_REPLACE_BTN_LABEL = nls.localize('label.replaceButton', 'Replace'); const NLS_REPLACE_ALL_BTN_LABEL = nls.localize( 'label.replaceAllButton', 'Replace All' ); const NLS_TOGGLE_REPLACE_MODE_BTN_LABEL = nls.localize( 'label.toggleReplaceButton', 'Toggle Replace mode' ); const NLS_MATCHES_COUNT_LIMIT_TITLE = nls.localize( 'title.matchesCountLimit', 'Only the first {0} results are highlighted, but all find operations work on the entire text.', MATCHES_LIMIT ); export const NLS_MATCHES_LOCATION = nls.localize( 'label.matchesLocation', '{0} of {1}' ); export const NLS_NO_RESULTS = nls.localize('label.noResults', 'No results'); const FIND_WIDGET_INITIAL_WIDTH = 419; const PART_WIDTH = 275; const FIND_INPUT_AREA_WIDTH = PART_WIDTH - 54; let MAX_MATCHES_COUNT_WIDTH = 69; // let FIND_ALL_CONTROLS_WIDTH = 17/** Find Input margin-left */ + (MAX_MATCHES_COUNT_WIDTH + 3 + 1) /** Match Results */ + 23 /** Button */ * 4 + 2/** sash */; const FIND_INPUT_AREA_HEIGHT = 33; // The height of Find Widget when Replace Input is not visible. const ctrlEnterReplaceAllWarningPromptedKey = 'ctrlEnterReplaceAll.windows.donotask'; const ctrlKeyMod = platform.isMacintosh ? KeyMod.WinCtrl : KeyMod.CtrlCmd; export class FindWidgetViewZone implements IViewZone { public readonly afterLineNumber: number; public heightInPx: number; public readonly suppressMouseDown: boolean; public readonly domNode: HTMLElement; constructor(afterLineNumber: number) { this.afterLineNumber = afterLineNumber; this.heightInPx = FIND_INPUT_AREA_HEIGHT; this.suppressMouseDown = false; this.domNode = document.createElement('div'); this.domNode.className = 'dock-find-viewzone'; } } function stopPropagationForMultiLineUpwards( event: IKeyboardEvent, value: string, textarea: HTMLTextAreaElement | null ) { const isMultiline = !!value.match(/\n/); if (textarea && isMultiline && textarea.selectionStart > 0) { event.stopPropagation(); return; } } function stopPropagationForMultiLineDownwards( event: IKeyboardEvent, value: string, textarea: HTMLTextAreaElement | null ) { const isMultiline = !!value.match(/\n/); if ( textarea && isMultiline && textarea.selectionEnd < textarea.value.length ) { event.stopPropagation(); return; } } export class FindWidget extends Widget implements IOverlayWidget, IVerticalSashLayoutProvider { private static readonly ID = 'editor.contrib.findWidget'; private readonly _codeEditor: ICodeEditor; private readonly _state: FindReplaceState; private readonly _controller: IFindController; private readonly _contextViewProvider: IContextViewProvider; private readonly _keybindingService: IKeybindingService; private readonly _contextKeyService: IContextKeyService; private readonly _storageService: IStorageService; private readonly _notificationService: INotificationService; private _domNode!: HTMLElement; private _cachedHeight: number | null = null; private _findInput!: FindInput; private _replaceInput!: ReplaceInput; private _toggleReplaceBtn!: SimpleButton; private _matchesCount!: HTMLElement; private _prevBtn!: SimpleButton; private _nextBtn!: SimpleButton; private _toggleSelectionFind!: Checkbox; private _closeBtn!: SimpleButton; private _replaceBtn!: SimpleButton; private _replaceAllBtn!: SimpleButton; private _isVisible: boolean; private _isReplaceVisible: boolean; private _ignoreChangeEvent: boolean; private _ctrlEnterReplaceAllWarningPrompted: boolean; private readonly _findFocusTracker: dom.IFocusTracker; private readonly _findInputFocused: IContextKey; private readonly _replaceFocusTracker: dom.IFocusTracker; private readonly _replaceInputFocused: IContextKey; private _viewZone?: FindWidgetViewZone; private _viewZoneId?: string; private _resizeSash!: Sash; private _resized!: boolean; private readonly _updateHistoryDelayer: Delayer; constructor( codeEditor: ICodeEditor, controller: IFindController, state: FindReplaceState, contextViewProvider: IContextViewProvider, keybindingService: IKeybindingService, contextKeyService: IContextKeyService, themeService: IThemeService, storageService: IStorageService, notificationService: INotificationService ) { super(); this._codeEditor = codeEditor; this._controller = controller; this._state = state; this._contextViewProvider = contextViewProvider; this._keybindingService = keybindingService; this._contextKeyService = contextKeyService; this._storageService = storageService; this._notificationService = notificationService; this._ctrlEnterReplaceAllWarningPrompted = !!storageService.getBoolean( ctrlEnterReplaceAllWarningPromptedKey, StorageScope.GLOBAL ); this._isVisible = false; this._isReplaceVisible = false; this._ignoreChangeEvent = false; this._updateHistoryDelayer = new Delayer(500); this._register(toDisposable(() => this._updateHistoryDelayer.cancel())); this._register( this._state.onFindReplaceStateChange((e) => this._onStateChanged(e)) ); this._buildDomNode(); this._updateButtons(); this._tryUpdateWidgetWidth(); this._findInput.inputBox.layout(); this._register( this._codeEditor.onDidChangeConfiguration( (e: ConfigurationChangedEvent) => { if (e.hasChanged(EditorOption.readOnly)) { if (this._codeEditor.getOption(EditorOption.readOnly)) { // Hide replace part if editor becomes read only this._state.change({ isReplaceRevealed: false }, false); } this._updateButtons(); } if (e.hasChanged(EditorOption.layoutInfo)) { this._tryUpdateWidgetWidth(); } if (e.hasChanged(EditorOption.accessibilitySupport)) { this.updateAccessibilitySupport(); } if (e.hasChanged(EditorOption.find)) { const addExtraSpaceOnTop = this._codeEditor.getOption( EditorOption.find ).addExtraSpaceOnTop; if (addExtraSpaceOnTop && !this._viewZone) { this._viewZone = new FindWidgetViewZone(0); this._showViewZone(); } if (!addExtraSpaceOnTop && this._viewZone) { this._removeViewZone(); } } } ) ); this.updateAccessibilitySupport(); this._register( this._codeEditor.onDidChangeCursorSelection(() => { if (this._isVisible) { this._updateToggleSelectionFindButton(); } }) ); this._register( this._codeEditor.onDidFocusEditorWidget(async () => { if (this._isVisible) { let globalBufferTerm = await this._controller.getGlobalBufferTerm(); if ( globalBufferTerm && globalBufferTerm !== this._state.searchString ) { this._state.change({ searchString: globalBufferTerm }, false); this._findInput.select(); } } }) ); this._findInputFocused = CONTEXT_FIND_INPUT_FOCUSED.bindTo(contextKeyService); this._findFocusTracker = this._register( dom.trackFocus(this._findInput.inputBox.inputElement) ); this._register( this._findFocusTracker.onDidFocus(() => { this._findInputFocused.set(true); this._updateSearchScope(); }) ); this._register( this._findFocusTracker.onDidBlur(() => { this._findInputFocused.set(false); }) ); this._replaceInputFocused = CONTEXT_REPLACE_INPUT_FOCUSED.bindTo(contextKeyService); this._replaceFocusTracker = this._register( dom.trackFocus(this._replaceInput.inputBox.inputElement) ); this._register( this._replaceFocusTracker.onDidFocus(() => { this._replaceInputFocused.set(true); this._updateSearchScope(); }) ); this._register( this._replaceFocusTracker.onDidBlur(() => { this._replaceInputFocused.set(false); }) ); this._codeEditor.addOverlayWidget(this); if (this._codeEditor.getOption(EditorOption.find).addExtraSpaceOnTop) { this._viewZone = new FindWidgetViewZone(0); // Put it before the first line then users can scroll beyond the first line. } this._applyTheme(themeService.getColorTheme()); this._register( themeService.onDidColorThemeChange(this._applyTheme.bind(this)) ); this._register( this._codeEditor.onDidChangeModel(() => { if (!this._isVisible) { return; } this._viewZoneId = undefined; }) ); this._register( this._codeEditor.onDidScrollChange((e) => { if (e.scrollTopChanged) { this._layoutViewZone(); return; } // for other scroll changes, layout the viewzone in next tick to avoid ruining current rendering. setTimeout(() => { this._layoutViewZone(); }, 0); }) ); } // ----- IOverlayWidget API public getId(): string { return FindWidget.ID; } public getDomNode(): HTMLElement { return this._domNode; } public getPosition(): IOverlayWidgetPosition | null { if (this._isVisible) { return { preference: OverlayWidgetPositionPreference.TOP_RIGHT_CORNER, }; } return null; } // ----- React to state changes private _onStateChanged(e: FindReplaceStateChangedEvent): void { if (e.searchString) { try { this._ignoreChangeEvent = true; this._findInput.setValue(this._state.searchString); } finally { this._ignoreChangeEvent = false; } this._updateButtons(); } if (e.replaceString) { this._replaceInput.inputBox.value = this._state.replaceString; } if (e.isRevealed) { if (this._state.isRevealed) { this._reveal(); } else { this._hide(true); } } if (e.isReplaceRevealed) { if (this._state.isReplaceRevealed) { if ( !this._codeEditor.getOption(EditorOption.readOnly) && !this._isReplaceVisible ) { this._isReplaceVisible = true; this._replaceInput.width = dom.getTotalWidth(this._findInput.domNode); this._updateButtons(); this._replaceInput.inputBox.layout(); } } else { if (this._isReplaceVisible) { this._isReplaceVisible = false; this._updateButtons(); } } } if ( (e.isRevealed || e.isReplaceRevealed) && (this._state.isRevealed || this._state.isReplaceRevealed) ) { if (this._tryUpdateHeight()) { this._showViewZone(); } } if (e.isRegex) { this._findInput.setRegex(this._state.isRegex); } if (e.wholeWord) { this._findInput.setWholeWords(this._state.wholeWord); } if (e.matchCase) { this._findInput.setCaseSensitive(this._state.matchCase); } if (e.preserveCase) { this._replaceInput.setPreserveCase(this._state.preserveCase); } if (e.searchScope) { if (this._state.searchScope) { this._toggleSelectionFind.checked = true; } else { this._toggleSelectionFind.checked = false; } this._updateToggleSelectionFindButton(); } if (e.searchString || e.matchesCount || e.matchesPosition) { let showRedOutline = this._state.searchString.length > 0 && this._state.matchesCount === 0; this._domNode.classList.toggle('no-results', showRedOutline); this._updateMatchesCount(); this._updateButtons(); } if (e.searchString || e.currentMatch) { this._layoutViewZone(); } if (e.updateHistory) { this._delayedUpdateHistory(); } if (e.loop) { this._updateButtons(); } } private _delayedUpdateHistory() { this._updateHistoryDelayer .trigger(this._updateHistory.bind(this)) .then(undefined, onUnexpectedError); } private _updateHistory() { if (this._state.searchString) { this._findInput.inputBox.addToHistory(); } if (this._state.replaceString) { this._replaceInput.inputBox.addToHistory(); } } private _updateMatchesCount(): void { this._matchesCount.style.minWidth = MAX_MATCHES_COUNT_WIDTH + 'px'; if (this._state.matchesCount >= MATCHES_LIMIT) { this._matchesCount.title = NLS_MATCHES_COUNT_LIMIT_TITLE; } else { this._matchesCount.title = ''; } // remove previous content if (this._matchesCount.firstChild) { this._matchesCount.removeChild(this._matchesCount.firstChild); } let label: string; if (this._state.matchesCount > 0) { let matchesCount: string = String(this._state.matchesCount); if (this._state.matchesCount >= MATCHES_LIMIT) { matchesCount += '+'; } let matchesPosition: string = String(this._state.matchesPosition); if (matchesPosition === '0') { matchesPosition = '?'; } label = strings.format( NLS_MATCHES_LOCATION, matchesPosition, matchesCount ); } else { label = NLS_NO_RESULTS; } this._matchesCount.appendChild(document.createTextNode(label)); alertFn( this._getAriaLabel( label, this._state.currentMatch, this._state.searchString ) ); MAX_MATCHES_COUNT_WIDTH = Math.max( MAX_MATCHES_COUNT_WIDTH, this._matchesCount.clientWidth ); } // ----- actions private _getAriaLabel( label: string, currentMatch: Range | null, searchString: string ): string { if (label === NLS_NO_RESULTS) { return searchString === '' ? nls.localize('ariaSearchNoResultEmpty', '{0} found', label) : nls.localize( 'ariaSearchNoResult', "{0} found for '{1}'", label, searchString ); } if (currentMatch) { const ariaLabel = nls.localize( 'ariaSearchNoResultWithLineNum', "{0} found for '{1}', at {2}", label, searchString, currentMatch.startLineNumber + ':' + currentMatch.startColumn ); const model = this._codeEditor.getModel(); if ( model && currentMatch.startLineNumber <= model.getLineCount() && currentMatch.startLineNumber >= 1 ) { const lineContent = model.getLineContent(currentMatch.startLineNumber); return `${lineContent}, ${ariaLabel}`; } return ariaLabel; } return nls.localize( 'ariaSearchNoResultWithLineNumNoCurrentMatch', "{0} found for '{1}'", label, searchString ); } /** * If 'selection find' is ON we should not disable the button (its function is to cancel 'selection find'). * If 'selection find' is OFF we enable the button only if there is a selection. */ private _updateToggleSelectionFindButton(): void { let selection = this._codeEditor.getSelection(); let isSelection = selection ? selection.startLineNumber !== selection.endLineNumber || selection.startColumn !== selection.endColumn : false; let isChecked = this._toggleSelectionFind.checked; if (this._isVisible && (isChecked || isSelection)) { this._toggleSelectionFind.enable(); } else { this._toggleSelectionFind.disable(); } } private _updateButtons(): void { this._findInput.setEnabled(this._isVisible); this._replaceInput.setEnabled(this._isVisible && this._isReplaceVisible); this._updateToggleSelectionFindButton(); this._closeBtn.setEnabled(this._isVisible); let findInputIsNonEmpty = this._state.searchString.length > 0; let matchesCount = this._state.matchesCount ? true : false; this._prevBtn.setEnabled( this._isVisible && findInputIsNonEmpty && matchesCount && this._state.canNavigateBack() ); this._nextBtn.setEnabled( this._isVisible && findInputIsNonEmpty && matchesCount && this._state.canNavigateForward() ); this._replaceBtn.setEnabled( this._isVisible && this._isReplaceVisible && findInputIsNonEmpty ); this._replaceAllBtn.setEnabled( this._isVisible && this._isReplaceVisible && findInputIsNonEmpty ); this._domNode.classList.toggle('replaceToggled', this._isReplaceVisible); this._toggleReplaceBtn.setExpanded(this._isReplaceVisible); let canReplace = !this._codeEditor.getOption(EditorOption.readOnly); this._toggleReplaceBtn.setEnabled(this._isVisible && canReplace); } private _revealTimeouts: any[] = []; private _reveal(): void { this._revealTimeouts.forEach((e) => { clearTimeout(e); }); this._revealTimeouts = []; if (!this._isVisible) { this._isVisible = true; const selection = this._codeEditor.getSelection(); switch ( this._codeEditor.getOption(EditorOption.find).autoFindInSelection ) { case 'always': this._toggleSelectionFind.checked = true; break; case 'never': this._toggleSelectionFind.checked = false; break; case 'multiline': const isSelectionMultipleLine = !!selection && selection.startLineNumber !== selection.endLineNumber; this._toggleSelectionFind.checked = isSelectionMultipleLine; break; default: break; } this._tryUpdateWidgetWidth(); this._updateButtons(); this._revealTimeouts.push( setTimeout(() => { this._domNode.classList.add('visible'); this._domNode.setAttribute('aria-hidden', 'false'); }, 0) ); // validate query again as it's being dismissed when we hide the find widget. this._revealTimeouts.push( setTimeout(() => { this._findInput.validate(); }, 200) ); this._codeEditor.layoutOverlayWidget(this); let adjustEditorScrollTop = true; if ( this._codeEditor.getOption(EditorOption.find) .seedSearchStringFromSelection && selection ) { const domNode = this._codeEditor.getDomNode(); if (domNode) { const editorCoords = dom.getDomNodePagePosition(domNode); const startCoords = this._codeEditor.getScrolledVisiblePosition( selection.getStartPosition() ); const startLeft = editorCoords.left + (startCoords ? startCoords.left : 0); const startTop = startCoords ? startCoords.top : 0; if (this._viewZone && startTop < this._viewZone.heightInPx) { if (selection.endLineNumber > selection.startLineNumber) { adjustEditorScrollTop = false; } const leftOfFindWidget = dom.getTopLeftOffset(this._domNode).left; if (startLeft > leftOfFindWidget) { adjustEditorScrollTop = false; } const endCoords = this._codeEditor.getScrolledVisiblePosition( selection.getEndPosition() ); const endLeft = editorCoords.left + (endCoords ? endCoords.left : 0); if (endLeft > leftOfFindWidget) { adjustEditorScrollTop = false; } } } } this._showViewZone(adjustEditorScrollTop); } } private _hide(focusTheEditor: boolean): void { this._revealTimeouts.forEach((e) => { clearTimeout(e); }); this._revealTimeouts = []; if (this._isVisible) { this._isVisible = false; this._updateButtons(); this._domNode.classList.remove('visible'); this._domNode.setAttribute('aria-hidden', 'true'); this._findInput.clearMessage(); if (focusTheEditor) { this._codeEditor.focus(); } this._codeEditor.layoutOverlayWidget(this); this._removeViewZone(); } } private _layoutViewZone(targetScrollTop?: number) { const addExtraSpaceOnTop = this._codeEditor.getOption( EditorOption.find ).addExtraSpaceOnTop; if (!addExtraSpaceOnTop) { this._removeViewZone(); return; } if (!this._isVisible) { return; } const viewZone = this._viewZone; if (this._viewZoneId !== undefined || !viewZone) { return; } this._codeEditor.changeViewZones((accessor) => { viewZone.heightInPx = this._getHeight(); this._viewZoneId = accessor.addZone(viewZone); // scroll top adjust to make sure the editor doesn't scroll when adding viewzone at the beginning. this._codeEditor.setScrollTop( targetScrollTop || this._codeEditor.getScrollTop() + viewZone.heightInPx ); }); } private _showViewZone(adjustScroll: boolean = true) { if (!this._isVisible) { return; } const addExtraSpaceOnTop = this._codeEditor.getOption( EditorOption.find ).addExtraSpaceOnTop; if (!addExtraSpaceOnTop) { return; } if (this._viewZone === undefined) { this._viewZone = new FindWidgetViewZone(0); } const viewZone = this._viewZone; this._codeEditor.changeViewZones((accessor) => { if (this._viewZoneId !== undefined) { // the view zone already exists, we need to update the height const newHeight = this._getHeight(); if (newHeight === viewZone.heightInPx) { return; } let scrollAdjustment = newHeight - viewZone.heightInPx; viewZone.heightInPx = newHeight; accessor.layoutZone(this._viewZoneId); if (adjustScroll) { this._codeEditor.setScrollTop( this._codeEditor.getScrollTop() + scrollAdjustment ); } return; } else { let scrollAdjustment = this._getHeight(); // if the editor has top padding, factor that into the zone height scrollAdjustment -= this._codeEditor.getOption( EditorOption.padding ).top; if (scrollAdjustment <= 0) { return; } viewZone.heightInPx = scrollAdjustment; this._viewZoneId = accessor.addZone(viewZone); if (adjustScroll) { this._codeEditor.setScrollTop( this._codeEditor.getScrollTop() + scrollAdjustment ); } } }); } private _removeViewZone() { this._codeEditor.changeViewZones((accessor) => { if (this._viewZoneId !== undefined) { accessor.removeZone(this._viewZoneId); this._viewZoneId = undefined; if (this._viewZone) { this._codeEditor.setScrollTop( this._codeEditor.getScrollTop() - this._viewZone.heightInPx ); this._viewZone = undefined; } } }); } private _applyTheme(theme: IColorTheme) { let inputStyles: IFindInputStyles = { inputActiveOptionBorder: theme.getColor(inputActiveOptionBorder), inputActiveOptionBackground: theme.getColor(inputActiveOptionBackground), inputActiveOptionForeground: theme.getColor(inputActiveOptionForeground), inputBackground: theme.getColor(inputBackground), inputForeground: theme.getColor(inputForeground), inputBorder: theme.getColor(inputBorder), inputValidationInfoBackground: theme.getColor( inputValidationInfoBackground ), inputValidationInfoForeground: theme.getColor( inputValidationInfoForeground ), inputValidationInfoBorder: theme.getColor(inputValidationInfoBorder), inputValidationWarningBackground: theme.getColor( inputValidationWarningBackground ), inputValidationWarningForeground: theme.getColor( inputValidationWarningForeground ), inputValidationWarningBorder: theme.getColor( inputValidationWarningBorder ), inputValidationErrorBackground: theme.getColor( inputValidationErrorBackground ), inputValidationErrorForeground: theme.getColor( inputValidationErrorForeground ), inputValidationErrorBorder: theme.getColor(inputValidationErrorBorder), }; this._findInput.style(inputStyles); this._replaceInput.style(inputStyles); this._toggleSelectionFind.style(inputStyles); } private _tryUpdateWidgetWidth() { if (!this._isVisible) { return; } if (!dom.isInDOM(this._domNode)) { // the widget is not in the DOM return; } const layoutInfo = this._codeEditor.getLayoutInfo(); const editorContentWidth = layoutInfo.contentWidth; if (editorContentWidth <= 0) { // for example, diff view original editor this._domNode.classList.add('hiddenEditor'); return; } else if (this._domNode.classList.contains('hiddenEditor')) { this._domNode.classList.remove('hiddenEditor'); } const editorWidth = layoutInfo.width; const minimapWidth = layoutInfo.minimap.minimapWidth; let collapsedFindWidget = false; let reducedFindWidget = false; let narrowFindWidget = false; if (this._resized) { let widgetWidth = dom.getTotalWidth(this._domNode); if (widgetWidth > FIND_WIDGET_INITIAL_WIDTH) { // as the widget is resized by users, we may need to change the max width of the widget as the editor width changes. this._domNode.style.maxWidth = `${ editorWidth - 28 - minimapWidth - 15 }px`; this._replaceInput.width = dom.getTotalWidth(this._findInput.domNode); return; } } if (FIND_WIDGET_INITIAL_WIDTH + 28 + minimapWidth >= editorWidth) { reducedFindWidget = true; } if ( FIND_WIDGET_INITIAL_WIDTH + 28 + minimapWidth - MAX_MATCHES_COUNT_WIDTH >= editorWidth ) { narrowFindWidget = true; } if ( FIND_WIDGET_INITIAL_WIDTH + 28 + minimapWidth - MAX_MATCHES_COUNT_WIDTH >= editorWidth + 50 ) { collapsedFindWidget = true; } this._domNode.classList.toggle( 'collapsed-find-widget', collapsedFindWidget ); this._domNode.classList.toggle('narrow-find-widget', narrowFindWidget); this._domNode.classList.toggle('reduced-find-widget', reducedFindWidget); if (!narrowFindWidget && !collapsedFindWidget) { // the minimal left offset of findwidget is 15px. this._domNode.style.maxWidth = `${ editorWidth - 28 - minimapWidth - 15 }px`; } if (this._resized) { this._findInput.inputBox.layout(); let findInputWidth = this._findInput.inputBox.element.clientWidth; if (findInputWidth > 0) { this._replaceInput.width = findInputWidth; } } else if (this._isReplaceVisible) { this._replaceInput.width = dom.getTotalWidth(this._findInput.domNode); } } private _getHeight(): number { let totalheight = 0; // find input margin top totalheight += 4; // find input height totalheight += this._findInput.inputBox.height + 2 /** input box border */; if (this._isReplaceVisible) { // replace input margin totalheight += 4; totalheight += this._replaceInput.inputBox.height + 2 /** input box border */; } // margin bottom totalheight += 4; return totalheight; } private _tryUpdateHeight(): boolean { const totalHeight = this._getHeight(); if (this._cachedHeight !== null && this._cachedHeight === totalHeight) { return false; } this._cachedHeight = totalHeight; this._domNode.style.height = `${totalHeight}px`; return true; } // ----- Public public focusFindInput(): void { this._findInput.select(); // Edge browser requires focus() in addition to select() this._findInput.focus(); } public focusReplaceInput(): void { this._replaceInput.select(); // Edge browser requires focus() in addition to select() this._replaceInput.focus(); } public highlightFindOptions(): void { this._findInput.highlightFindOptions(); } private _updateSearchScope(): void { if (!this._codeEditor.hasModel()) { return; } if (this._toggleSelectionFind.checked) { let selections = this._codeEditor.getSelections(); selections .map((selection) => { if ( selection.endColumn === 1 && selection.endLineNumber > selection.startLineNumber ) { selection = selection.setEndPosition( selection.endLineNumber - 1, this._codeEditor .getModel()! .getLineMaxColumn(selection.endLineNumber - 1) ); } const currentMatch = this._state.currentMatch; if (selection.startLineNumber !== selection.endLineNumber) { if (!Range.equalsRange(selection, currentMatch)) { return selection; } } return null; }) .filter((element) => !!element); if (selections.length) { this._state.change({ searchScope: selections as Range[] }, true); } } } private _onFindInputMouseDown(e: IMouseEvent): void { // on linux, middle key does pasting. if (e.middleButton) { e.stopPropagation(); } } private _onFindInputKeyDown(e: IKeyboardEvent): void { if (e.equals(ctrlKeyMod | KeyCode.Enter)) { this._findInput.inputBox.insertAtCursor('\n'); e.preventDefault(); return; } if (e.equals(KeyCode.Tab)) { if (this._isReplaceVisible) { this._replaceInput.focus(); } else { this._findInput.focusOnCaseSensitive(); } e.preventDefault(); return; } if (e.equals(KeyMod.CtrlCmd | KeyCode.DownArrow)) { this._codeEditor.focus(); e.preventDefault(); return; } if (e.equals(KeyCode.UpArrow)) { return stopPropagationForMultiLineUpwards( e, this._findInput.getValue(), this._findInput.domNode.querySelector('textarea') ); } if (e.equals(KeyCode.DownArrow)) { return stopPropagationForMultiLineDownwards( e, this._findInput.getValue(), this._findInput.domNode.querySelector('textarea') ); } } private _onReplaceInputKeyDown(e: IKeyboardEvent): void { if (e.equals(ctrlKeyMod | KeyCode.Enter)) { if ( platform.isWindows && platform.isNative && !this._ctrlEnterReplaceAllWarningPrompted ) { // this is the first time when users press Ctrl + Enter to replace all this._notificationService.info( nls.localize( 'ctrlEnter.keybindingChanged', 'Ctrl+Enter now inserts line break instead of replacing all. You can modify the keybinding for editor.action.replaceAll to override this behavior.' ) ); this._ctrlEnterReplaceAllWarningPrompted = true; this._storageService.store( ctrlEnterReplaceAllWarningPromptedKey, true, StorageScope.GLOBAL, StorageTarget.USER ); } this._replaceInput.inputBox.insertAtCursor('\n'); e.preventDefault(); return; } if (e.equals(KeyCode.Tab)) { this._findInput.focusOnCaseSensitive(); e.preventDefault(); return; } if (e.equals(KeyMod.Shift | KeyCode.Tab)) { this._findInput.focus(); e.preventDefault(); return; } if (e.equals(KeyMod.CtrlCmd | KeyCode.DownArrow)) { this._codeEditor.focus(); e.preventDefault(); return; } if (e.equals(KeyCode.UpArrow)) { return stopPropagationForMultiLineUpwards( e, this._replaceInput.inputBox.value, this._replaceInput.inputBox.element.querySelector('textarea') ); } if (e.equals(KeyCode.DownArrow)) { return stopPropagationForMultiLineDownwards( e, this._replaceInput.inputBox.value, this._replaceInput.inputBox.element.querySelector('textarea') ); } } // ----- sash public getVerticalSashLeft(_sash: Sash): number { return 0; } // ----- initialization private _keybindingLabelFor(actionId: string): string { let kb = this._keybindingService.lookupKeybinding(actionId); if (!kb) { return ''; } return ` (${kb.getLabel()})`; } private _buildDomNode(): void { const flexibleHeight = true; const flexibleWidth = true; // Find input this._findInput = this._register( new ContextScopedFindInput( null, this._contextViewProvider, { width: FIND_INPUT_AREA_WIDTH, label: NLS_FIND_INPUT_LABEL, placeholder: NLS_FIND_INPUT_PLACEHOLDER, appendCaseSensitiveLabel: this._keybindingLabelFor( FIND_IDS.ToggleCaseSensitiveCommand ), appendWholeWordsLabel: this._keybindingLabelFor( FIND_IDS.ToggleWholeWordCommand ), appendRegexLabel: this._keybindingLabelFor( FIND_IDS.ToggleRegexCommand ), validation: (value: string): InputBoxMessage | null => { if (value.length === 0 || !this._findInput.getRegex()) { return null; } try { // use `g` and `u` which are also used by the TextModel search new RegExp(value, 'gu'); return null; } catch (e) { return { content: e.message }; } }, flexibleHeight, flexibleWidth, flexibleMaxHeight: 118, }, this._contextKeyService, true ) ); this._findInput.setRegex(!!this._state.isRegex); this._findInput.setCaseSensitive(!!this._state.matchCase); this._findInput.setWholeWords(!!this._state.wholeWord); this._register( this._findInput.onKeyDown((e) => this._onFindInputKeyDown(e)) ); this._register( this._findInput.inputBox.onDidChange(() => { if (this._ignoreChangeEvent) { return; } this._state.change({ searchString: this._findInput.getValue() }, true); }) ); this._register( this._findInput.onDidOptionChange(() => { this._state.change( { isRegex: this._findInput.getRegex(), wholeWord: this._findInput.getWholeWords(), matchCase: this._findInput.getCaseSensitive(), }, true ); }) ); this._register( this._findInput.onCaseSensitiveKeyDown((e) => { if (e.equals(KeyMod.Shift | KeyCode.Tab)) { if (this._isReplaceVisible) { this._replaceInput.focus(); e.preventDefault(); } } }) ); this._register( this._findInput.onRegexKeyDown((e) => { if (e.equals(KeyCode.Tab)) { if (this._isReplaceVisible) { this._replaceInput.focusOnPreserve(); e.preventDefault(); } } }) ); this._register( this._findInput.inputBox.onDidHeightChange((e) => { if (this._tryUpdateHeight()) { this._showViewZone(); } }) ); if (platform.isLinux) { this._register( this._findInput.onMouseDown((e) => this._onFindInputMouseDown(e)) ); } this._matchesCount = document.createElement('div'); this._matchesCount.className = 'matchesCount'; this._updateMatchesCount(); // Previous button this._prevBtn = this._register( new SimpleButton({ label: NLS_PREVIOUS_MATCH_BTN_LABEL + this._keybindingLabelFor(FIND_IDS.PreviousMatchFindAction), icon: findPreviousMatchIcon, onTrigger: () => { this._codeEditor .getAction(FIND_IDS.PreviousMatchFindAction) .run() .then(undefined, onUnexpectedError); }, }) ); // Next button this._nextBtn = this._register( new SimpleButton({ label: NLS_NEXT_MATCH_BTN_LABEL + this._keybindingLabelFor(FIND_IDS.NextMatchFindAction), icon: findNextMatchIcon, onTrigger: () => { this._codeEditor .getAction(FIND_IDS.NextMatchFindAction) .run() .then(undefined, onUnexpectedError); }, }) ); let findPart = document.createElement('div'); findPart.className = 'find-part'; findPart.appendChild(this._findInput.domNode); const actionsContainer = document.createElement('div'); actionsContainer.className = 'find-actions'; findPart.appendChild(actionsContainer); actionsContainer.appendChild(this._matchesCount); actionsContainer.appendChild(this._prevBtn.domNode); actionsContainer.appendChild(this._nextBtn.domNode); // Toggle selection button this._toggleSelectionFind = this._register( new Checkbox({ icon: findSelectionIcon, title: NLS_TOGGLE_SELECTION_FIND_TITLE + this._keybindingLabelFor(FIND_IDS.ToggleSearchScopeCommand), isChecked: false, }) ); this._register( this._toggleSelectionFind.onChange(() => { if (this._toggleSelectionFind.checked) { if (this._codeEditor.hasModel()) { let selections = this._codeEditor.getSelections(); selections .map((selection) => { if ( selection.endColumn === 1 && selection.endLineNumber > selection.startLineNumber ) { selection = selection.setEndPosition( selection.endLineNumber - 1, this._codeEditor .getModel()! .getLineMaxColumn(selection.endLineNumber - 1) ); } if (!selection.isEmpty()) { return selection; } return null; }) .filter((element) => !!element); if (selections.length) { this._state.change({ searchScope: selections as Range[] }, true); } } } else { this._state.change({ searchScope: null }, true); } }) ); actionsContainer.appendChild(this._toggleSelectionFind.domNode); // Close button this._closeBtn = this._register( new SimpleButton({ label: NLS_CLOSE_BTN_LABEL + this._keybindingLabelFor(FIND_IDS.CloseFindWidgetCommand), icon: widgetClose, onTrigger: () => { this._state.change({ isRevealed: false, searchScope: null }, false); }, onKeyDown: (e) => { if (e.equals(KeyCode.Tab)) { if (this._isReplaceVisible) { if (this._replaceBtn.isEnabled()) { this._replaceBtn.focus(); } else { this._codeEditor.focus(); } e.preventDefault(); } } }, }) ); actionsContainer.appendChild(this._closeBtn.domNode); // Replace input this._replaceInput = this._register( new ContextScopedReplaceInput( null, undefined, { label: NLS_REPLACE_INPUT_LABEL, placeholder: NLS_REPLACE_INPUT_PLACEHOLDER, appendPreserveCaseLabel: this._keybindingLabelFor( FIND_IDS.TogglePreserveCaseCommand ), history: [], flexibleHeight, flexibleWidth, flexibleMaxHeight: 118, }, this._contextKeyService, true ) ); this._replaceInput.setPreserveCase(!!this._state.preserveCase); this._register( this._replaceInput.onKeyDown((e) => this._onReplaceInputKeyDown(e)) ); this._register( this._replaceInput.inputBox.onDidChange(() => { this._state.change( { replaceString: this._replaceInput.inputBox.value }, false ); }) ); this._register( this._replaceInput.inputBox.onDidHeightChange((e) => { if (this._isReplaceVisible && this._tryUpdateHeight()) { this._showViewZone(); } }) ); this._register( this._replaceInput.onDidOptionChange(() => { this._state.change( { preserveCase: this._replaceInput.getPreserveCase(), }, true ); }) ); this._register( this._replaceInput.onPreserveCaseKeyDown((e) => { if (e.equals(KeyCode.Tab)) { if (this._prevBtn.isEnabled()) { this._prevBtn.focus(); } else if (this._nextBtn.isEnabled()) { this._nextBtn.focus(); } else if (this._toggleSelectionFind.enabled) { this._toggleSelectionFind.focus(); } else if (this._closeBtn.isEnabled()) { this._closeBtn.focus(); } e.preventDefault(); } }) ); // Replace one button this._replaceBtn = this._register( new SimpleButton({ label: NLS_REPLACE_BTN_LABEL + this._keybindingLabelFor(FIND_IDS.ReplaceOneAction), icon: findReplaceIcon, onTrigger: () => { this._controller.replace(); }, onKeyDown: (e) => { if (e.equals(KeyMod.Shift | KeyCode.Tab)) { this._closeBtn.focus(); e.preventDefault(); } }, }) ); // Replace all button this._replaceAllBtn = this._register( new SimpleButton({ label: NLS_REPLACE_ALL_BTN_LABEL + this._keybindingLabelFor(FIND_IDS.ReplaceAllAction), icon: findReplaceAllIcon, onTrigger: () => { this._controller.replaceAll(); }, }) ); let replacePart = document.createElement('div'); replacePart.className = 'replace-part'; replacePart.appendChild(this._replaceInput.domNode); const replaceActionsContainer = document.createElement('div'); replaceActionsContainer.className = 'replace-actions'; replacePart.appendChild(replaceActionsContainer); replaceActionsContainer.appendChild(this._replaceBtn.domNode); replaceActionsContainer.appendChild(this._replaceAllBtn.domNode); // Toggle replace button this._toggleReplaceBtn = this._register( new SimpleButton({ label: NLS_TOGGLE_REPLACE_MODE_BTN_LABEL, className: 'codicon toggle left', onTrigger: () => { this._state.change( { isReplaceRevealed: !this._isReplaceVisible }, false ); if (this._isReplaceVisible) { this._replaceInput.width = dom.getTotalWidth( this._findInput.domNode ); this._replaceInput.inputBox.layout(); } this._showViewZone(); }, }) ); this._toggleReplaceBtn.setExpanded(this._isReplaceVisible); // Widget this._domNode = document.createElement('div'); this._domNode.className = 'editor-widget find-widget'; this._domNode.setAttribute('aria-hidden', 'true'); // We need to set this explicitly, otherwise on IE11, the width inheritence of flex doesn't work. this._domNode.style.width = `${FIND_WIDGET_INITIAL_WIDTH}px`; this._domNode.appendChild(this._toggleReplaceBtn.domNode); this._domNode.appendChild(findPart); this._domNode.appendChild(replacePart); this._resizeSash = new Sash(this._domNode, this, { orientation: Orientation.VERTICAL, size: 2, }); this._resized = false; let originalWidth = FIND_WIDGET_INITIAL_WIDTH; this._register( this._resizeSash.onDidStart(() => { originalWidth = dom.getTotalWidth(this._domNode); }) ); this._register( this._resizeSash.onDidChange((evt: ISashEvent) => { this._resized = true; let width = originalWidth + evt.startX - evt.currentX; if (width < FIND_WIDGET_INITIAL_WIDTH) { // narrow down the find widget should be handled by CSS. return; } const maxWidth = parseFloat(dom.getComputedStyle(this._domNode).maxWidth!) || 0; if (width > maxWidth) { return; } this._domNode.style.width = `${width}px`; if (this._isReplaceVisible) { this._replaceInput.width = dom.getTotalWidth(this._findInput.domNode); } this._findInput.inputBox.layout(); this._tryUpdateHeight(); }) ); this._register( this._resizeSash.onDidReset(() => { // users double click on the sash const currentWidth = dom.getTotalWidth(this._domNode); if (currentWidth < FIND_WIDGET_INITIAL_WIDTH) { // The editor is narrow and the width of the find widget is controlled fully by CSS. return; } let width = FIND_WIDGET_INITIAL_WIDTH; if (!this._resized || currentWidth === FIND_WIDGET_INITIAL_WIDTH) { // 1. never resized before, double click should maximizes it // 2. users resized it already but its width is the same as default const layoutInfo = this._codeEditor.getLayoutInfo(); width = layoutInfo.width - 28 - layoutInfo.minimap.minimapWidth - 15; this._resized = true; } else { /** * no op, the find widget should be shrinked to its default size. */ } this._domNode.style.width = `${width}px`; if (this._isReplaceVisible) { this._replaceInput.width = dom.getTotalWidth(this._findInput.domNode); } this._findInput.inputBox.layout(); }) ); } private updateAccessibilitySupport(): void { const value = this._codeEditor.getOption(EditorOption.accessibilitySupport); this._findInput.setFocusInputOnOptionClick( value !== AccessibilitySupport.Enabled ); } } export interface ISimpleButtonOpts { readonly label: string; readonly className?: string; readonly icon?: ThemeIcon; readonly onTrigger: () => void; readonly onKeyDown?: (e: IKeyboardEvent) => void; } export class SimpleButton extends Widget { private readonly _opts: ISimpleButtonOpts; private readonly _domNode: HTMLElement; constructor(opts: ISimpleButtonOpts) { super(); this._opts = opts; let className = 'button'; if (this._opts.className) { className = className + ' ' + this._opts.className; } if (this._opts.icon) { className = className + ' ' + ThemeIcon.asClassName(this._opts.icon); } this._domNode = document.createElement('div'); this._domNode.title = this._opts.label; this._domNode.tabIndex = 0; this._domNode.className = className; this._domNode.setAttribute('role', 'button'); this._domNode.setAttribute('aria-label', this._opts.label); this.onclick(this._domNode, (e) => { this._opts.onTrigger(); e.preventDefault(); }); this.onkeydown(this._domNode, (e) => { if (e.equals(KeyCode.Space) || e.equals(KeyCode.Enter)) { this._opts.onTrigger(); e.preventDefault(); return; } if (this._opts.onKeyDown) { this._opts.onKeyDown(e); } }); } public get domNode(): HTMLElement { return this._domNode; } public isEnabled(): boolean { return this._domNode.tabIndex >= 0; } public focus(): void { this._domNode.focus(); } public setEnabled(enabled: boolean): void { this._domNode.classList.toggle('disabled', !enabled); this._domNode.setAttribute('aria-disabled', String(!enabled)); this._domNode.tabIndex = enabled ? 0 : -1; } public setExpanded(expanded: boolean): void { this._domNode.setAttribute('aria-expanded', String(!!expanded)); if (expanded) { this._domNode.classList.remove( ...ThemeIcon.asClassNameArray(findCollapsedIcon) ); this._domNode.classList.add( ...ThemeIcon.asClassNameArray(findExpandedIcon) ); } else { this._domNode.classList.remove( ...ThemeIcon.asClassNameArray(findExpandedIcon) ); this._domNode.classList.add( ...ThemeIcon.asClassNameArray(findCollapsedIcon) ); } } } // theming registerThemingParticipant((theme, collector) => { const addBackgroundColorRule = ( selector: string, color: Color | undefined ): void => { if (color) { collector.addRule( `.monaco-editor ${selector} { background-color: ${color}; }` ); } }; addBackgroundColorRule( '.findMatch', theme.getColor(editorFindMatchHighlight) ); addBackgroundColorRule('.currentFindMatch', theme.getColor(editorFindMatch)); addBackgroundColorRule( '.findScope', theme.getColor(editorFindRangeHighlight) ); const widgetBackground = theme.getColor(editorWidgetBackground); addBackgroundColorRule('.find-widget', widgetBackground); const widgetShadowColor = theme.getColor(widgetShadow); if (widgetShadowColor) { collector.addRule( `.monaco-editor .find-widget { box-shadow: 0 0 8px 2px ${widgetShadowColor}; }` ); } const findMatchHighlightBorder = theme.getColor( editorFindMatchHighlightBorder ); if (findMatchHighlightBorder) { collector.addRule( `.monaco-editor .findMatch { border: 1px ${ theme.type === 'hc' ? 'dotted' : 'solid' } ${findMatchHighlightBorder}; box-sizing: border-box; }` ); } const findMatchBorder = theme.getColor(editorFindMatchBorder); if (findMatchBorder) { collector.addRule( `.monaco-editor .currentFindMatch { border: 2px solid ${findMatchBorder}; padding: 1px; box-sizing: border-box; }` ); } const findRangeHighlightBorder = theme.getColor( editorFindRangeHighlightBorder ); if (findRangeHighlightBorder) { collector.addRule( `.monaco-editor .findScope { border: 1px ${ theme.type === 'hc' ? 'dashed' : 'solid' } ${findRangeHighlightBorder}; }` ); } const hcBorder = theme.getColor(contrastBorder); if (hcBorder) { collector.addRule( `.monaco-editor .find-widget { border: 1px solid ${hcBorder}; }` ); } const foreground = theme.getColor(editorWidgetForeground); if (foreground) { collector.addRule(`.monaco-editor .find-widget { color: ${foreground}; }`); } const error = theme.getColor(errorForeground); if (error) { collector.addRule( `.monaco-editor .find-widget.no-results .matchesCount { color: ${error}; }` ); } const resizeBorderBackground = theme.getColor(editorWidgetResizeBorder); if (resizeBorderBackground) { collector.addRule( `.monaco-editor .find-widget .monaco-sash { background-color: ${resizeBorderBackground}; }` ); } else { const border = theme.getColor(editorWidgetBorder); if (border) { collector.addRule( `.monaco-editor .find-widget .monaco-sash { background-color: ${border}; }` ); } } // This rule is used to override the outline color for synthetic-focus find input. const focusOutline = theme.getColor(focusBorder); if (focusOutline) { collector.addRule( `.monaco-editor .find-widget .monaco-inputbox.synthetic-focus { outline-color: ${focusOutline}; }` ); } });