search

theia-ide / sprotty

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

[hover] popup should not disappear when hovering over it #95

Closed jbicker closed 7 years ago

jbicker commented 7 years ago

solved implicitly with #90