Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixes an edge case when the tooltip wouldn't move closer to the mouse cursor in some situations #3663

Commits on Nov 22, 2021

  1. Fixes an edge case when the tooltip wouldn't move closer to the mouse…

    … cursor in some situations
    
    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.
    julienw committed Nov 22, 2021
    Configuration menu
    Copy the full SHA
    fd8b0da View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2021

  1. Configuration menu
    Copy the full SHA
    e63777f View commit details
    Browse the repository at this point in the history