UNPKG

monaco-editor-core

Version:

A browser based code editor

307 lines (306 loc) • 14 kB
/*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) { var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d; if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc); else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r; return c > 3 && r && Object.defineProperty(target, key, r), r; }; var __param = (this && this.__param) || function (paramIndex, decorator) { return function (target, key) { decorator(target, key, paramIndex); } }; var ContentHoverController_1; import { DECREASE_HOVER_VERBOSITY_ACTION_ID, INCREASE_HOVER_VERBOSITY_ACTION_ID, SHOW_OR_FOCUS_HOVER_ACTION_ID } from './hoverActionIds.js'; import { Disposable, DisposableStore } from '../../../../base/common/lifecycle.js'; import { IInstantiationService } from '../../../../platform/instantiation/common/instantiation.js'; import { InlineSuggestionHintsContentWidget } from '../../inlineCompletions/browser/hintsWidget/inlineCompletionsHintsWidget.js'; import { IKeybindingService } from '../../../../platform/keybinding/common/keybinding.js'; import { RunOnceScheduler } from '../../../../base/common/async.js'; import { isMousePositionWithinElement } from './hoverUtils.js'; import { ContentHoverWidgetWrapper } from './contentHoverWidgetWrapper.js'; import './hover.css'; import { Emitter } from '../../../../base/common/event.js'; // sticky hover widget which doesn't disappear on focus out and such const _sticky = false; let ContentHoverController = class ContentHoverController extends Disposable { static { ContentHoverController_1 = this; } static { this.ID = 'editor.contrib.contentHover'; } constructor(_editor, _instantiationService, _keybindingService) { super(); this._editor = _editor; this._instantiationService = _instantiationService; this._keybindingService = _keybindingService; this._onHoverContentsChanged = this._register(new Emitter()); this.shouldKeepOpenOnEditorMouseMoveOrLeave = false; this._listenersStore = new DisposableStore(); this._hoverState = { mouseDown: false, activatedByDecoratorClick: false }; this._reactToEditorMouseMoveRunner = this._register(new RunOnceScheduler(() => this._reactToEditorMouseMove(this._mouseMoveEvent), 0)); this._hookListeners(); this._register(this._editor.onDidChangeConfiguration((e) => { if (e.hasChanged(60 /* EditorOption.hover */)) { this._unhookListeners(); this._hookListeners(); } })); } static get(editor) { return editor.getContribution(ContentHoverController_1.ID); } _hookListeners() { const hoverOpts = this._editor.getOption(60 /* EditorOption.hover */); this._hoverSettings = { enabled: hoverOpts.enabled, sticky: hoverOpts.sticky, hidingDelay: hoverOpts.hidingDelay }; if (hoverOpts.enabled) { this._listenersStore.add(this._editor.onMouseDown((e) => this._onEditorMouseDown(e))); this._listenersStore.add(this._editor.onMouseUp(() => this._onEditorMouseUp())); this._listenersStore.add(this._editor.onMouseMove((e) => this._onEditorMouseMove(e))); this._listenersStore.add(this._editor.onKeyDown((e) => this._onKeyDown(e))); } else { this._listenersStore.add(this._editor.onMouseMove((e) => this._onEditorMouseMove(e))); this._listenersStore.add(this._editor.onKeyDown((e) => this._onKeyDown(e))); } this._listenersStore.add(this._editor.onMouseLeave((e) => this._onEditorMouseLeave(e))); this._listenersStore.add(this._editor.onDidChangeModel(() => { this._cancelScheduler(); this._hideWidgets(); })); this._listenersStore.add(this._editor.onDidChangeModelContent(() => this._cancelScheduler())); this._listenersStore.add(this._editor.onDidScrollChange((e) => this._onEditorScrollChanged(e))); } _unhookListeners() { this._listenersStore.clear(); } _cancelScheduler() { this._mouseMoveEvent = undefined; this._reactToEditorMouseMoveRunner.cancel(); } _onEditorScrollChanged(e) { if (e.scrollTopChanged || e.scrollLeftChanged) { this._hideWidgets(); } } _onEditorMouseDown(mouseEvent) { this._hoverState.mouseDown = true; const shouldNotHideCurrentHoverWidget = this._shouldNotHideCurrentHoverWidget(mouseEvent); if (shouldNotHideCurrentHoverWidget) { return; } this._hideWidgets(); } _shouldNotHideCurrentHoverWidget(mouseEvent) { return this._isMouseOnContentHoverWidget(mouseEvent) || this._isContentWidgetResizing(); } _isMouseOnContentHoverWidget(mouseEvent) { const contentWidgetNode = this._contentWidget?.getDomNode(); if (contentWidgetNode) { return isMousePositionWithinElement(contentWidgetNode, mouseEvent.event.posx, mouseEvent.event.posy); } return false; } _onEditorMouseUp() { this._hoverState.mouseDown = false; } _onEditorMouseLeave(mouseEvent) { if (this.shouldKeepOpenOnEditorMouseMoveOrLeave) { return; } this._cancelScheduler(); const shouldNotHideCurrentHoverWidget = this._shouldNotHideCurrentHoverWidget(mouseEvent); if (shouldNotHideCurrentHoverWidget) { return; } if (_sticky) { return; } this._hideWidgets(); } _shouldNotRecomputeCurrentHoverWidget(mouseEvent) { const isHoverSticky = this._hoverSettings.sticky; const isMouseOnStickyContentHoverWidget = (mouseEvent, isHoverSticky) => { const isMouseOnContentHoverWidget = this._isMouseOnContentHoverWidget(mouseEvent); return isHoverSticky && isMouseOnContentHoverWidget; }; const isMouseOnColorPicker = (mouseEvent) => { const isMouseOnContentHoverWidget = this._isMouseOnContentHoverWidget(mouseEvent); const isColorPickerVisible = this._contentWidget?.isColorPickerVisible ?? false; return isMouseOnContentHoverWidget && isColorPickerVisible; }; // TODO@aiday-mar verify if the following is necessary code const isTextSelectedWithinContentHoverWidget = (mouseEvent, sticky) => { return (sticky && this._contentWidget?.containsNode(mouseEvent.event.browserEvent.view?.document.activeElement) && !mouseEvent.event.browserEvent.view?.getSelection()?.isCollapsed) ?? false; }; return isMouseOnStickyContentHoverWidget(mouseEvent, isHoverSticky) || isMouseOnColorPicker(mouseEvent) || isTextSelectedWithinContentHoverWidget(mouseEvent, isHoverSticky); } _onEditorMouseMove(mouseEvent) { if (this.shouldKeepOpenOnEditorMouseMoveOrLeave) { return; } this._mouseMoveEvent = mouseEvent; if (this._contentWidget?.isFocused || this._contentWidget?.isResizing) { return; } const sticky = this._hoverSettings.sticky; if (sticky && this._contentWidget?.isVisibleFromKeyboard) { // Sticky mode is on and the hover has been shown via keyboard // so moving the mouse has no effect return; } const shouldNotRecomputeCurrentHoverWidget = this._shouldNotRecomputeCurrentHoverWidget(mouseEvent); if (shouldNotRecomputeCurrentHoverWidget) { this._reactToEditorMouseMoveRunner.cancel(); return; } const hidingDelay = this._hoverSettings.hidingDelay; const isContentHoverWidgetVisible = this._contentWidget?.isVisible; // If the mouse is not over the widget, and if sticky is on, // then give it a grace period before reacting to the mouse event const shouldRescheduleHoverComputation = isContentHoverWidgetVisible && sticky && hidingDelay > 0; if (shouldRescheduleHoverComputation) { if (!this._reactToEditorMouseMoveRunner.isScheduled()) { this._reactToEditorMouseMoveRunner.schedule(hidingDelay); } return; } this._reactToEditorMouseMove(mouseEvent); } _reactToEditorMouseMove(mouseEvent) { if (!mouseEvent) { return; } const target = mouseEvent.target; const mouseOnDecorator = target.element?.classList.contains('colorpicker-color-decoration'); const decoratorActivatedOn = this._editor.getOption(149 /* EditorOption.colorDecoratorsActivatedOn */); const enabled = this._hoverSettings.enabled; const activatedByDecoratorClick = this._hoverState.activatedByDecoratorClick; if ((mouseOnDecorator && ((decoratorActivatedOn === 'click' && !activatedByDecoratorClick) || (decoratorActivatedOn === 'hover' && !enabled && !_sticky) || (decoratorActivatedOn === 'clickAndHover' && !enabled && !activatedByDecoratorClick))) || (!mouseOnDecorator && !enabled && !activatedByDecoratorClick)) { this._hideWidgets(); return; } const contentHoverShowsOrWillShow = this._tryShowHoverWidget(mouseEvent); if (contentHoverShowsOrWillShow) { return; } if (_sticky) { return; } this._hideWidgets(); } _tryShowHoverWidget(mouseEvent) { const contentWidget = this._getOrCreateContentWidget(); return contentWidget.showsOrWillShow(mouseEvent); } _onKeyDown(e) { if (!this._editor.hasModel()) { return; } const resolvedKeyboardEvent = this._keybindingService.softDispatch(e, this._editor.getDomNode()); // If the beginning of a multi-chord keybinding is pressed, // or the command aims to focus the hover, // set the variable to true, otherwise false const shouldKeepHoverVisible = (resolvedKeyboardEvent.kind === 1 /* ResultKind.MoreChordsNeeded */ || (resolvedKeyboardEvent.kind === 2 /* ResultKind.KbFound */ && (resolvedKeyboardEvent.commandId === SHOW_OR_FOCUS_HOVER_ACTION_ID || resolvedKeyboardEvent.commandId === INCREASE_HOVER_VERBOSITY_ACTION_ID || resolvedKeyboardEvent.commandId === DECREASE_HOVER_VERBOSITY_ACTION_ID) && this._contentWidget?.isVisible)); if (e.keyCode === 5 /* KeyCode.Ctrl */ || e.keyCode === 6 /* KeyCode.Alt */ || e.keyCode === 57 /* KeyCode.Meta */ || e.keyCode === 4 /* KeyCode.Shift */ || shouldKeepHoverVisible) { // Do not hide hover when a modifier key is pressed return; } this._hideWidgets(); } _hideWidgets() { if (_sticky) { return; } if ((this._hoverState.mouseDown && this._contentWidget?.isColorPickerVisible) || InlineSuggestionHintsContentWidget.dropDownVisible) { return; } this._hoverState.activatedByDecoratorClick = false; this._contentWidget?.hide(); } _getOrCreateContentWidget() { if (!this._contentWidget) { this._contentWidget = this._instantiationService.createInstance(ContentHoverWidgetWrapper, this._editor); this._listenersStore.add(this._contentWidget.onContentsChanged(() => this._onHoverContentsChanged.fire())); } return this._contentWidget; } showContentHover(range, mode, source, focus, activatedByColorDecoratorClick = false) { this._hoverState.activatedByDecoratorClick = activatedByColorDecoratorClick; this._getOrCreateContentWidget().startShowingAtRange(range, mode, source, focus); } _isContentWidgetResizing() { return this._contentWidget?.widget.isResizing || false; } focusedHoverPartIndex() { return this._getOrCreateContentWidget().focusedHoverPartIndex(); } updateHoverVerbosityLevel(action, index, focus) { this._getOrCreateContentWidget().updateHoverVerbosityLevel(action, index, focus); } focus() { this._contentWidget?.focus(); } scrollUp() { this._contentWidget?.scrollUp(); } scrollDown() { this._contentWidget?.scrollDown(); } scrollLeft() { this._contentWidget?.scrollLeft(); } scrollRight() { this._contentWidget?.scrollRight(); } pageUp() { this._contentWidget?.pageUp(); } pageDown() { this._contentWidget?.pageDown(); } goToTop() { this._contentWidget?.goToTop(); } goToBottom() { this._contentWidget?.goToBottom(); } get isColorPickerVisible() { return this._contentWidget?.isColorPickerVisible; } get isHoverVisible() { return this._contentWidget?.isVisible; } dispose() { super.dispose(); this._unhookListeners(); this._listenersStore.dispose(); this._contentWidget?.dispose(); } }; ContentHoverController = ContentHoverController_1 = __decorate([ __param(1, IInstantiationService), __param(2, IKeybindingService) ], ContentHoverController); export { ContentHoverController };