Coverage "gutter" not showing, "line" and "ruler" OK about vscode-coverage-gutters

[vkbo]

Well, in the new version of VSCode that arrived today, the wide gutter seems to be working again 😄

[SimonKagstrom]

The gutter line seen in your last image is much thinner than it used to be. I see this since (I think) the last vscode update, and it makes it very hard to use the gutter display to actually see the coverage.

Perhaps a separate issue, but making it wider would improve the usability again I think

[SimonKagstrom]

The credit goes to @ryanluker for the extension :-)

[ryanluker]

@vkbo interesting, maybe a regression in the vscode styling then 🤔 closing for now.

[denisrossetre]

The problem does not happen with a blank profile created with the "Python" defaults.

This hints at an incompatibility with another VS Code extension.

[denisrossetre]

I haven't been able to identify which extension causes the problem, I'm restarting work with a blank profile and will update if I find anything.

[denisrossetre]

Thanks @SimonKagstrom . Btw @ryanluker, your extension is very useful to work on improving code coverage where it matters.

... and indeed the problem happened after the last VS Code updates. In the meantime, I added extra extensions. If I can find something more specific, I'll update this issue.

[ryanluker]

@denisrossetre Thanks for the ticket! (And the shoutout @SimonKagstrom 👍🏻)

I do think we are on the right track here, and something new with the latest vscode has shrunk the available gutter space we have for decoration icons 😢. Even if I double the size of the svg width it doesn't do anything, sadly...

(Note: the gutter is actually a SVG file while the line and ruler are just hex colours)

Current svg width

Doubled svg width