remove space

This commit is contained in:
Aiday Marlen Kyzy 2024-06-27 16:28:01 +02:00
parent f62604da4a
commit 65b9017e70
No known key found for this signature in database
GPG Key ID: 24A8B53DBD26FF4E

View File

@ -80,14 +80,12 @@ export class ContentHoverController extends Disposable implements IEditorContrib
}
private _hookListeners(): void {
const hoverOpts = this._editor.getOption(EditorOption.hover);
this._hoverSettings = {
enabled: hoverOpts.enabled,
sticky: hoverOpts.sticky,
hidingDelay: hoverOpts.delay
};
if (hoverOpts.enabled) {
this._listenersStore.add(this._editor.onMouseDown((e: IEditorMouseEvent) => this._onEditorMouseDown(e)));
this._listenersStore.add(this._editor.onMouseUp(() => this._onEditorMouseUp()));