Fixing Jupyter notebook issue 13263 (#183527)

fix for the issue, still need to understand why there is strange focusing
This commit is contained in:
Aiday Marlen Kyzy 2023-05-26 23:32:20 +02:00 committed by GitHub
parent 397175e067
commit 86e3fd8ded
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View file

@ -610,6 +610,7 @@ export class ContentHoverWidget extends Disposable implements IContentWidget {
if (this._visibleData) {
const stoleFocus = this._visibleData.stoleFocus;
this._setVisibleData(null);
this._hoverFocusedKey.set(false);
this._editor.layoutContentWidget(this);
if (stoleFocus) {
this._editor.focus();

View file

@ -27,10 +27,10 @@ import { registerThemingParticipant } from 'vs/platform/theme/common/themeServic
import { HoverParticipantRegistry } from 'vs/editor/contrib/hover/browser/hoverTypes';
import { MarkdownHoverParticipant } from 'vs/editor/contrib/hover/browser/markdownHoverParticipant';
import { MarkerHoverParticipant } from 'vs/editor/contrib/hover/browser/markerHoverParticipant';
import 'vs/css!./hover';
import { InlineSuggestionHintsContentWidget } from 'vs/editor/contrib/inlineCompletions/browser/inlineCompletionsHintsWidget';
import { IKeybindingService } from 'vs/platform/keybinding/common/keybinding';
import { ResultKind } from 'vs/platform/keybinding/common/keybindingResolver';
import 'vs/css!./hover';
export class ModesHoverController implements IEditorContribution {