David Dossett

I think it makes sense to use the same color we use for diffs—green for inserted, red for deleted. Not to discount the issue, but I think that benefit outweighs...

I looked into this and it appears that we represent deleted lines in the gutter and errors inline with the line/word(s) highlighted. I believe this is the right thing to...

Ah ok I think my mistake was using `"editor.minimapGutter.deletedBackground"` instead of `"minimapGutter.deletedBackground"`. Seems to work for me now.

@misolori I had tried adding that explicitly e.g. `$(bell) $(bell)` without any luck. But maybe I was holding it wrong..

I'll take a look at this next week—bit backed up at the moment after being OOF.

Thanks for looking into this @Thomas1664. Once I've closed the larger overhaul PRs tied to #4029 I'll come back to this to see if I can resolve the issue with...

FWIW these are called markdown hovers in VS Code core. Consumers can render custom content in a generic hover. Interesting to think about bringing those in here if there were...

@LinqLover I recently updated the extension UX guidelines and there's actually a bit on View locations here: https://code.visualstudio.com/api/ux-guidelines/panel > [Don't] Use for Views that are meant to be always visible...

Even better! That sounds great 👍

@muditjuneja that would be super helpful—thank you for offering! Let me know what you have in mind or feel free to just raise a PR and I'll happily review 👍