Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes an edge case when the tooltip wouldn't move closer to the mouse…
… cursor in some situations (PR #3663) This would happen in this situation: * The user hovers an element, whose tooltip is too big for the available space: the tooltip would align with the window's left edge. * Then the user hovers another element whose tooltip would have space to go either at the right or left of the cursor. In that case we reuse the previous position, so that the tooltip stays stable. But if the previous position was the window-edge, then the tooltip would stay at that location and could be far from the mouse cursor.
- Loading branch information
Showing
2 changed files
with
42 additions
and
11 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters