search

theia-ide / sprotty

A next-gen web-based graphics framework
Apache License 2.0
138 stars 23 forks source link

[hover] improve placement of popup #98

Closed jbicker closed 7 years ago

jbicker commented 7 years ago

Currently the popup always appears beneath the mouse cursor and remains there until hovering out. That could be annoying if it hides parts of the element we want to see.

spoenemann commented 7 years ago

Proposal: put the popup to the closest side of the element (top, bottom, left, or right) if it's not too far away from the mouse cursor. For very large elements it might be better to fall back to the current behavior.