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