Display errors above docstrings in tooltip popups?

[kim-em]

I often investigate tactic errors by using the tooltip.

Unfortunately in VSCode the tooltip will display both the docstring for the tactic, and then below that the error message. Especially as the docstrings become better and better (and longer and longer!) this makes the tooltip less useful (it's hard to scroll inside them without losing them).

Could we switch the order, and put the error first?

[bryangingechen]

So this is trickier than I thought it would be. The error messages are provided by "Diagnostics" in diagnostics.ts and the docstrings / types, etc. are provided by the "HoverProvider" in hover.ts. I could well be missing something, but I couldn't find any way to switch the ordering of these two sources in the hover popup.

[alexpeattie]

Looks like this behaviour is coming from VSCode 🤔 :

microsoft/vscode#73120