Add a setting to always enable the regular hover when debugging

[egamma]

Currently when debugging only the value hover is shown. We should provide a setting debug.showRegularHover which by default would be false.

[isidorn]

@guillaumejenkins just to check if this solution would work for the live share scenario, or you need a more fine grained solution?

As far as I understood you want to show the debug hover and all the other hovers (inlcuding live share) while debugging. If that is not your scenario please let me know

[guillaumejenkins]

The desire was to make DecorationOptions.hoverMessage work while debugging, so that Live Share users could still hover remote cursors to see which participant they belong to. So, I do believe this would be good enough for Live Share scenarios.

Might I suggest making it an enum setting instead of a boolean? Something like:
debug.showHovers = "value" | "valueAndDecorations" | "all"

That way, if Live Share is going to override the setting, it can at least make the experience as non-intrusive as possible by only enabling one additional type of hovers instead of the full IntelliSense, which might get in the way while debugging.

[isidorn]

@guillaumejenkins thanks for the suggestion however we do not differentiate hovers in the editor API. Thus the debug framework can not tell the editor to only show hovers of a certain type. Only the debug hover and everything else.
So the flag will probably be
debug.showEditorHover: true | false

[guillaumejenkins]

Sounds good

[isidorn]

After investigating, the issue is that if the regular hover is enabled during debugging the debug hover and the editor hover overlap (they are independent widgets unware of each other).

Moving this item to "On Deck" until the cascade team decides on our proposal.

[guillaumejenkins]

The proposal with hoverProvider is much better and is the right way to fix Name Tooltips during debugging. You can close this (unless it still makes sense outside of LiveShare)!

[isidorn]

@guillaumejenkins Great, thanks. Closing