search

theia-ide / sprotty

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

[hover] Popup is not closed when cursor leaves the diagram #109

Closed spoenemann closed 7 years ago

spoenemann commented 7 years ago

Open a hover popup so that it overlaps the diagram border. Leave the diagram area through the popup → the popup is not closed.