Ctrl-Enter handler: Don't intercept two-finger taps

Fixes #4834
This commit is contained in:
Abe Jellinek 2024-11-12 10:33:00 -05:00
parent 7fa00d1cfd
commit 5e84944cd6

View file

@ -56,6 +56,14 @@ document.addEventListener('DOMContentLoaded', (event) => {
if (!(event.button === 2 && event.buttons === 0 && !event.ctrlKey)) {
return;
}
// Two-finger tap (on some machines?) generates an event that looks
// identical to the Ctrl-Enter event, except that the Ctrl-Enter event
// should always be exactly in the middle of the window.
if (event.mozInputSource === MouseEvent.MOZ_SOURCE_MOUSE
&& (event.clientX !== Math.floor(window.innerWidth / 2)
|| event.clientY !== Math.floor(window.innerHeight / 2))) {
return;
}
event.stopPropagation();
event.stopImmediatePropagation();