Control: retitle -1 firefox: Menu handling with the mouse is broken with some window managers Control: found -1 111.0-1
This is reproducible with fvwm (2.x), fvwm3 and twm. And as said at https://bugzilla.mozilla.org/show_bug.cgi?id=1820542#c22 setting widget.gtk.grab-pointer to 0 avoids this brokenness, but yields another one: the menus close as soon as the mouse pointer leaves them, which is rather annoying too (though less confusing). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
