Workbench hovers don't support equivalent of "editor.hover.sticky" setting

[eamodio]

The workbench hovers (custom views, terminal) don't support the "editor.hover.sticky" setting, which is IMO desired, but there is no equivalent setting

There is also the "editor.hover.delay", but not sure if it matters as much to support this or not (again with its own version IMO)

/cc @alexr00

[alexr00]

Regarding delay, we already have workbench.hover.delay.

[infinnie]

Maybe workbench.hover.sticky should be supported too, even for non-interactive items?

[vs-code-engineering]

We closed this issue because we don't plan to address it in the foreseeable future. If you disagree and feel that this issue is crucial: we are happy to listen and to reconsider.

If you wonder what we are up to, please see our roadmap and issue reporting guidelines.

Thanks for your understanding, and happy coding!