Improve hover presentation for complex errors

[mjbvz]

Error hover is good in representing simple errors. But when it comes to complex and descriptive errors, inline error widget can represent them well. But inline error widget is not discoverable.

• Ability to navigate to inline error widget from hover.
• Make hover look good with consistent font for the complete message.

[jrieken]

/cc @misolori The idea is to add some clue into the error hovers so that we can hint towards the F8 feature - which is more stable and provides a better reading experience with long error messages

[sandy081]

@jrieken Was there a reason for applying editor font in the hover error message? Currently editor font is applied only for message and not for related information.

[sandy081]

Did following improvements

• Used default font
• Increased the width
• Added Go to Problem and Show Quick Fixes... actions
• Improved related information rendering

@mjbvz @misolori @jrieken What do you think?

[sandy081]

Following are the some examples of hovers and peek error widget after improvements.

[sandy081]

Added the requested feedback

[felixfbecker]

#67076 (comment) looks amazing! This would make my life so much easier.

I see the latest screenshot uses the editor font again, why is that? The error message is prose and the diagnostics panel doesn't use the editor font either, nor do hovers..

[eamodio]

It looks like the lightbulb and go to problems actions are gone in the most recent insiders -- are they coming back?

[ghost]

I find the bottom bar really distracting since it's always the first thing I see when hovering over a problem. My preference would be to just have the icons attached to the top right corner or some other position that isn't so prominent.

[sandy081]

@felixfbecker Using normal or editor font for the error message is under discussion.

@eamodio It is back in the latest insiders

@nealot Keeping it at the bottom because it is easy to click these actions. Keeping it far away from the mouse makes it hard to click them as the hover can disappear when you move away mouse.