Uses EventType.MOUSE_DOWN instead of EventType.CLICK so that high frequent clicks work properly. Fixes #133517.

This commit is contained in:
Henning Dieterichs
2021-09-21 13:03:47 +02:00
parent 9b0c64ca50
commit d917029918

View File

@@ -63,7 +63,7 @@ export class HoverAction extends Disposable {
const label = dom.append(this.action, $('span'));
label.textContent = keybindingLabel ? `${actionOptions.label} (${keybindingLabel})` : actionOptions.label;
this._register(dom.addDisposableListener(this.actionContainer, dom.EventType.CLICK, e => {
this._register(dom.addDisposableListener(this.actionContainer, dom.EventType.MOUSE_DOWN, e => {
e.stopPropagation();
e.preventDefault();
actionOptions.run(this.actionContainer);