Commits on May 6, 2024

1. Fix tooltips: metrics and positioning …

   This fixes the tooltip metrics defaults to something looking more like
   the IJP's, both in terms of delay and of behaviour.
   
   We now use a simplified position calculation, that is less complex than
   the custom logic we had both in terms of behaviour and in terms of code.
   It mostly piggybacks the built-in PopupPositionProviderAtPosition, but
   with a twist of never moving after being shown (like Swing tooltips do
   in the IJP).
   
   We also set a sensible delay, matching the Swing defaults of 1.2s by
   default. In the bridge, we read as many metrics properties as possible
   from the LaF/Registry.

   

   rock3r committed May 6, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 90a7a5e
   • Browse repository at this point

   Copy the full SHA

   90a7a5e View commit details

   Browse the repository at this point in the history