Add internal API to dispose browser hovers that stay closed for long

eclipse-platform / eclipse.platform.text

8 stars 45 forks source link

Closed trancexpress closed 1 year ago

trancexpress commented 1 year ago

Adds internal API to dispose browser hovers that stay closed for long.

Fixes: #191

trancexpress commented 1 year ago

Looks like I'm yet to fork platform text...