Toggling coverage overlay requires refreshing page

Environment

1. node -v: v8.6.0

2. npm -v: 5.3.0

3. npm ls react-scripts (if you haven’t ejected): (empty)

4. Operating system: macOS 10.13.1

Steps to Reproduce

Coverage overlay is not shown. Do Toggle coverage overlay. Still not shown. Switch to another file. Switch back. Overlay is shown.

Expected Behavior

Coverage overlay is not shown. Do Toggle coverage overlay. Overlay is shown.

Actual Behavior

See above.

In overlay.ts we’re just doing () => (showCoverage = !showCoverage), but I don’t think that makes anything happen, like the page refreshing (or whatever you’re supposed to do with the extension API.) How would one add that?

Also, if someone were to add an indicator that the coverage overlay were on or off, where would be the best place to do that? I was thinking maybe the lens at the top could show lines: ..., branches: 95%, overlay: true but I’d like some better opinions. Thanks!

[smith]

I don’t think it makes sense to add a codelens (like the debug buttons)

I really think that somewhere it should tell me whether the coverage overlay is on or off. Doesn’t need to be in a lens at all, but there’s no way of telling right now and it’s frustrating.

I think it does make sense to fix the bug where it doesn’t show the coverage on your first run. Want to look at it?

Yes, but I’m not at all familiar with the extension API. Where would I start? I understand the code that’s there but am having trouble finding how to trigger a refresh or whatever the proper thing to do would be.

[seanpoulter]

But the quick pick menu … 😉