This hopefully resolves ticket #140. I've also had it happen a few times, but can't reliably reproduce it and don't know why it is happening. IIRC it recently appeared, but the screenPositionForMouseEvent was also used before the tooltip refactoring.
Hello
This hopefully resolves ticket #140. I've also had it happen a few times, but can't reliably reproduce it and don't know why it is happening. IIRC it recently appeared, but the
screenPositionForMouseEvent
was also used before the tooltip refactoring.