Remove Coverage extension settings

[stdavis]

These seem more like personal preferences than standards that we want to promote. Could they be easily moved to user settings?

python/.vscode/settings.json

Lines 13 to 18 in 3b2391d

	"coverage-gutters.showGutterCoverage": true,
	"coverage-gutters.showLineCoverage": true,
	"coverage-gutters.showRulerCoverage": false,
	"coverage-gutters.highlightdark": "rgb(61, 153, 112, .05)",
	"coverage-gutters.noHighlightDark": "rgb(255, 65, 54, .05)",
	"coverage-gutters.partialHighlightDark": "rgb(255, 133, 27, .05)"

[steveoh]

They definitely could. I found the defaults to be obnoxious so I thought these might be better defaults. Do you find these settings getting in your way?

[stdavis]

Yes, I just removed them. I wanted the coverage to show just in the gutters, not the entire line. The default colors didn't bother me.

This is with the default for me.

I also wondered if we wanted to add ryanluker.vscode-coverage-gutters to the recommended extensions?

[steveoh]

Yes we can add that extension.

The reason I dislike the default gutter coverage is because it does not allow you to click in the gutter. Therefore breakpoints cannot be set for those debugging in vscode. ryanluker/vscode-coverage-gutters#253