search

theia-ide / sprotty

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

Hover popup close on esc #104

Closed jbicker closed 7 years ago