| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190 |
- /*---------------------------------------------------------------------------------------------
- * Copyright (c) Microsoft Corporation. All rights reserved.
- * Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
- var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
- function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
- return new (P || (P = Promise))(function (resolve, reject) {
- function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
- function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
- function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
- step((generator = generator.apply(thisArg, _arguments || [])).next());
- });
- };
- import * as dom from '../../../../base/browser/dom.js';
- import { alert as alertFn } from '../../../../base/browser/ui/aria/aria.js';
- import { Toggle } from '../../../../base/browser/ui/toggle/toggle.js';
- import { Sash } from '../../../../base/browser/ui/sash/sash.js';
- import { Widget } from '../../../../base/browser/ui/widget.js';
- import { Delayer } from '../../../../base/common/async.js';
- import { Codicon } from '../../../../base/common/codicons.js';
- import { onUnexpectedError } from '../../../../base/common/errors.js';
- import { toDisposable } from '../../../../base/common/lifecycle.js';
- import * as platform from '../../../../base/common/platform.js';
- import * as strings from '../../../../base/common/strings.js';
- import './findWidget.css';
- import { Range } from '../../../common/core/range.js';
- import { CONTEXT_FIND_INPUT_FOCUSED, CONTEXT_REPLACE_INPUT_FOCUSED, FIND_IDS, MATCHES_LIMIT } from './findModel.js';
- import * as nls from '../../../../nls.js';
- import { ContextScopedFindInput, ContextScopedReplaceInput } from '../../../../platform/history/browser/contextScopedHistoryWidget.js';
- import { showHistoryKeybindingHint } from '../../../../platform/history/browser/historyWidgetKeybindingHint.js';
- import { contrastBorder, editorFindMatch, editorFindMatchBorder, editorFindMatchHighlight, editorFindMatchHighlightBorder, editorFindRangeHighlight, editorFindRangeHighlightBorder, editorWidgetBackground, editorWidgetBorder, editorWidgetForeground, editorWidgetResizeBorder, errorForeground, focusBorder, inputActiveOptionBackground, inputActiveOptionBorder, inputActiveOptionForeground, inputBackground, inputBorder, inputForeground, inputValidationErrorBackground, inputValidationErrorBorder, inputValidationErrorForeground, inputValidationInfoBackground, inputValidationInfoBorder, inputValidationInfoForeground, inputValidationWarningBackground, inputValidationWarningBorder, inputValidationWarningForeground, toolbarHoverBackground, widgetShadow } from '../../../../platform/theme/common/colorRegistry.js';
- import { registerIcon, widgetClose } from '../../../../platform/theme/common/iconRegistry.js';
- import { registerThemingParticipant, ThemeIcon } from '../../../../platform/theme/common/themeService.js';
- import { isHighContrast } from '../../../../platform/theme/common/theme.js';
- 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.'));
- 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");
- 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 ? 256 /* KeyMod.WinCtrl */ : 2048 /* KeyMod.CtrlCmd */);
- export class FindWidgetViewZone {
- constructor(afterLineNumber) {
- 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, value, textarea) {
- const isMultiline = !!value.match(/\n/);
- if (textarea && isMultiline && textarea.selectionStart > 0) {
- event.stopPropagation();
- return;
- }
- }
- function stopPropagationForMultiLineDownwards(event, value, textarea) {
- const isMultiline = !!value.match(/\n/);
- if (textarea && isMultiline && textarea.selectionEnd < textarea.value.length) {
- event.stopPropagation();
- return;
- }
- }
- export class FindWidget extends Widget {
- constructor(codeEditor, controller, state, contextViewProvider, keybindingService, contextKeyService, themeService, storageService, notificationService) {
- super();
- this._cachedHeight = null;
- this._revealTimeouts = [];
- 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, 0 /* StorageScope.PROFILE */);
- 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) => {
- if (e.hasChanged(83 /* EditorOption.readOnly */)) {
- if (this._codeEditor.getOption(83 /* EditorOption.readOnly */)) {
- // Hide replace part if editor becomes read only
- this._state.change({ isReplaceRevealed: false }, false);
- }
- this._updateButtons();
- }
- if (e.hasChanged(133 /* EditorOption.layoutInfo */)) {
- this._tryUpdateWidgetWidth();
- }
- if (e.hasChanged(2 /* EditorOption.accessibilitySupport */)) {
- this.updateAccessibilitySupport();
- }
- if (e.hasChanged(37 /* EditorOption.find */)) {
- const addExtraSpaceOnTop = this._codeEditor.getOption(37 /* 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(() => __awaiter(this, void 0, void 0, function* () {
- if (this._isVisible) {
- const globalBufferTerm = yield 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(37 /* 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
- getId() {
- return FindWidget.ID;
- }
- getDomNode() {
- return this._domNode;
- }
- getPosition() {
- if (this._isVisible) {
- return {
- preference: 0 /* OverlayWidgetPositionPreference.TOP_RIGHT_CORNER */
- };
- }
- return null;
- }
- // ----- React to state changes
- _onStateChanged(e) {
- 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(83 /* 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) {
- const 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();
- }
- }
- _delayedUpdateHistory() {
- this._updateHistoryDelayer.trigger(this._updateHistory.bind(this)).then(undefined, onUnexpectedError);
- }
- _updateHistory() {
- if (this._state.searchString) {
- this._findInput.inputBox.addToHistory();
- }
- if (this._state.replaceString) {
- this._replaceInput.inputBox.addToHistory();
- }
- }
- _updateMatchesCount() {
- 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;
- if (this._state.matchesCount > 0) {
- let matchesCount = String(this._state.matchesCount);
- if (this._state.matchesCount >= MATCHES_LIMIT) {
- matchesCount += '+';
- }
- let matchesPosition = 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
- _getAriaLabel(label, currentMatch, searchString) {
- 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.
- */
- _updateToggleSelectionFindButton() {
- const selection = this._codeEditor.getSelection();
- const isSelection = selection ? (selection.startLineNumber !== selection.endLineNumber || selection.startColumn !== selection.endColumn) : false;
- const isChecked = this._toggleSelectionFind.checked;
- if (this._isVisible && (isChecked || isSelection)) {
- this._toggleSelectionFind.enable();
- }
- else {
- this._toggleSelectionFind.disable();
- }
- }
- _updateButtons() {
- this._findInput.setEnabled(this._isVisible);
- this._replaceInput.setEnabled(this._isVisible && this._isReplaceVisible);
- this._updateToggleSelectionFindButton();
- this._closeBtn.setEnabled(this._isVisible);
- const findInputIsNonEmpty = (this._state.searchString.length > 0);
- const 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);
- const canReplace = !this._codeEditor.getOption(83 /* EditorOption.readOnly */);
- this._toggleReplaceBtn.setEnabled(this._isVisible && canReplace);
- }
- _reveal() {
- this._revealTimeouts.forEach(e => {
- clearTimeout(e);
- });
- this._revealTimeouts = [];
- if (!this._isVisible) {
- this._isVisible = true;
- const selection = this._codeEditor.getSelection();
- switch (this._codeEditor.getOption(37 /* 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(37 /* 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);
- }
- }
- _hide(focusTheEditor) {
- 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();
- }
- }
- _layoutViewZone(targetScrollTop) {
- const addExtraSpaceOnTop = this._codeEditor.getOption(37 /* 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);
- });
- }
- _showViewZone(adjustScroll = true) {
- if (!this._isVisible) {
- return;
- }
- const addExtraSpaceOnTop = this._codeEditor.getOption(37 /* 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;
- }
- const 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(77 /* EditorOption.padding */).top;
- if (scrollAdjustment <= 0) {
- return;
- }
- viewZone.heightInPx = scrollAdjustment;
- this._viewZoneId = accessor.addZone(viewZone);
- if (adjustScroll) {
- this._codeEditor.setScrollTop(this._codeEditor.getScrollTop() + scrollAdjustment);
- }
- }
- });
- }
- _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;
- }
- }
- });
- }
- _applyTheme(theme) {
- const inputStyles = {
- 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);
- }
- _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) {
- const 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();
- const 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);
- }
- }
- _getHeight() {
- 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;
- }
- _tryUpdateHeight() {
- 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
- focusFindInput() {
- this._findInput.select();
- // Edge browser requires focus() in addition to select()
- this._findInput.focus();
- }
- focusReplaceInput() {
- this._replaceInput.select();
- // Edge browser requires focus() in addition to select()
- this._replaceInput.focus();
- }
- highlightFindOptions() {
- this._findInput.highlightFindOptions();
- }
- _updateSearchScope() {
- if (!this._codeEditor.hasModel()) {
- return;
- }
- if (this._toggleSelectionFind.checked) {
- const 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 }, true);
- }
- }
- }
- _onFindInputMouseDown(e) {
- // on linux, middle key does pasting.
- if (e.middleButton) {
- e.stopPropagation();
- }
- }
- _onFindInputKeyDown(e) {
- if (e.equals(ctrlKeyMod | 3 /* KeyCode.Enter */)) {
- if (this._keybindingService.dispatchEvent(e, e.target)) {
- e.preventDefault();
- return;
- }
- else {
- this._findInput.inputBox.insertAtCursor('\n');
- e.preventDefault();
- return;
- }
- }
- if (e.equals(2 /* KeyCode.Tab */)) {
- if (this._isReplaceVisible) {
- this._replaceInput.focus();
- }
- else {
- this._findInput.focusOnCaseSensitive();
- }
- e.preventDefault();
- return;
- }
- if (e.equals(2048 /* KeyMod.CtrlCmd */ | 18 /* KeyCode.DownArrow */)) {
- this._codeEditor.focus();
- e.preventDefault();
- return;
- }
- if (e.equals(16 /* KeyCode.UpArrow */)) {
- return stopPropagationForMultiLineUpwards(e, this._findInput.getValue(), this._findInput.domNode.querySelector('textarea'));
- }
- if (e.equals(18 /* KeyCode.DownArrow */)) {
- return stopPropagationForMultiLineDownwards(e, this._findInput.getValue(), this._findInput.domNode.querySelector('textarea'));
- }
- }
- _onReplaceInputKeyDown(e) {
- if (e.equals(ctrlKeyMod | 3 /* KeyCode.Enter */)) {
- if (this._keybindingService.dispatchEvent(e, e.target)) {
- e.preventDefault();
- return;
- }
- else {
- 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, 0 /* StorageScope.PROFILE */, 0 /* StorageTarget.USER */);
- }
- this._replaceInput.inputBox.insertAtCursor('\n');
- e.preventDefault();
- return;
- }
- }
- if (e.equals(2 /* KeyCode.Tab */)) {
- this._findInput.focusOnCaseSensitive();
- e.preventDefault();
- return;
- }
- if (e.equals(1024 /* KeyMod.Shift */ | 2 /* KeyCode.Tab */)) {
- this._findInput.focus();
- e.preventDefault();
- return;
- }
- if (e.equals(2048 /* KeyMod.CtrlCmd */ | 18 /* KeyCode.DownArrow */)) {
- this._codeEditor.focus();
- e.preventDefault();
- return;
- }
- if (e.equals(16 /* KeyCode.UpArrow */)) {
- return stopPropagationForMultiLineUpwards(e, this._replaceInput.inputBox.value, this._replaceInput.inputBox.element.querySelector('textarea'));
- }
- if (e.equals(18 /* KeyCode.DownArrow */)) {
- return stopPropagationForMultiLineDownwards(e, this._replaceInput.inputBox.value, this._replaceInput.inputBox.element.querySelector('textarea'));
- }
- }
- // ----- sash
- getVerticalSashLeft(_sash) {
- return 0;
- }
- // ----- initialization
- _keybindingLabelFor(actionId) {
- const kb = this._keybindingService.lookupKeybinding(actionId);
- if (!kb) {
- return '';
- }
- return ` (${kb.getLabel()})`;
- }
- _buildDomNode() {
- 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) => {
- 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,
- showHistoryHint: () => showHistoryKeybindingHint(this._keybindingService)
- }, 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(1024 /* KeyMod.Shift */ | 2 /* KeyCode.Tab */)) {
- if (this._isReplaceVisible) {
- this._replaceInput.focus();
- e.preventDefault();
- }
- }
- }));
- this._register(this._findInput.onRegexKeyDown((e) => {
- if (e.equals(2 /* 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);
- }
- }));
- const 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 Toggle({
- 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()) {
- const 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 }, 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(2 /* 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,
- showHistoryHint: () => showHistoryKeybindingHint(this._keybindingService)
- }, 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(2 /* 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(1024 /* KeyMod.Shift */ | 2 /* 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();
- }
- }));
- const 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: 0 /* 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) => {
- this._resized = true;
- const 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();
- }));
- }
- updateAccessibilitySupport() {
- const value = this._codeEditor.getOption(2 /* EditorOption.accessibilitySupport */);
- this._findInput.setFocusInputOnOptionClick(value !== 2 /* AccessibilitySupport.Enabled */);
- }
- }
- FindWidget.ID = 'editor.contrib.findWidget';
- export class SimpleButton extends Widget {
- constructor(opts) {
- 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) => {
- var _a, _b;
- if (e.equals(10 /* KeyCode.Space */) || e.equals(3 /* KeyCode.Enter */)) {
- this._opts.onTrigger();
- e.preventDefault();
- return;
- }
- (_b = (_a = this._opts).onKeyDown) === null || _b === void 0 ? void 0 : _b.call(_a, e);
- });
- }
- get domNode() {
- return this._domNode;
- }
- isEnabled() {
- return (this._domNode.tabIndex >= 0);
- }
- focus() {
- this._domNode.focus();
- }
- setEnabled(enabled) {
- this._domNode.classList.toggle('disabled', !enabled);
- this._domNode.setAttribute('aria-disabled', String(!enabled));
- this._domNode.tabIndex = enabled ? 0 : -1;
- }
- setExpanded(expanded) {
- 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, color) => {
- 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 ${isHighContrast(theme.type) ? '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 ${isHighContrast(theme.type) ? '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}; }`);
- }
- }
- // Action bars
- const toolbarHoverBackgroundColor = theme.getColor(toolbarHoverBackground);
- if (toolbarHoverBackgroundColor) {
- collector.addRule(`
- .monaco-editor .find-widget .button:not(.disabled):hover,
- .monaco-editor .find-widget .codicon-find-selection:hover {
- background-color: ${toolbarHoverBackgroundColor} !important;
- }
- `);
- }
- // 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}; }`);
- }
- });
|