Fixes #112373: The hover should always consume mouse wheel events

This commit is contained in:
Alexandru Dima
2021-01-11 17:42:13 +01:00
parent 3d500ebd8b
commit 61c6334a3f

View File

@@ -27,7 +27,9 @@ export class HoverWidget extends Disposable {
this.contentsDomNode = document.createElement('div');
this.contentsDomNode.className = 'monaco-hover-content';
this._scrollbar = this._register(new DomScrollableElement(this.contentsDomNode, {}));
this._scrollbar = this._register(new DomScrollableElement(this.contentsDomNode, {
alwaysConsumeMouseWheel: true
}));
this.containerDomNode.appendChild(this._scrollbar.getDomNode());
}