Hover service renders the hover pop-up too eagerly

[cdamus]

Bug Description:

As soon as the mouse pointer enters some element that requests a hover pop-up, the HoverService sets a timer that will fire and show the pop-up, regardless of what the pointer does next. Even passing quickly over some element on the way to another UI element that the user wants to interact with will cause the hover to appear and then, because the pointer is already elsewhere in the application, disappear again quickly. The resulting flash of UI is distracting.

Steps to Reproduce:

1. Pass the mouse pointer into one of the items in the status bar and then quickly away to something else in the workbench.
2. See the status bar hover pop up despite that it is now well removed from the scene of mouse pointer interactions.

A screen recording is attached, below.

Additional Information

• Operating System: macOS Sequoia 15.1.1
• Theia Version: 1.55.0, tip of main branch as of 26 Nov 2024