Jorge wrote:
Testing revealed the workaround concealed another problem, which I don't remember whether it was detected before, and this is that viewport mouse events get "through" the panel UI!.
How?, placing the mouse pointer over the panel (e.g. to the right of the Tools button, or even inside the Location), and scrolling a page full of links under it, will make the mouse pointer change to a hand, and the destination link appear in the status bar area.
This bug is revealed by disabling the workaround: just apply the small attached patch.
Clearly there's a viewport offset problem somewhere. Correcting it may save us lots of headaches in the future.
Does anybody know or has a clue of where this may be happening?
TIA.
Does this work for you?