VScode go to next error

Stream: general

[Johan Commelin]

If you hit F8 in VScode, it takes you to the next error or warning. However, it also generates some popup with the error message, and I have no idea how to close it. This popup is covering my code, so I can't actually fix the code :sad:
Does anyone know how to close the bugger?

[Bryan Gin-ge Chen]

This is what I see when I hit F8 (on macOS): Screenshot-2019-03-26-08.46.57.png

I can close the popup either by clicking the X or hitting escape. What do you see?

[Johan Commelin]

I don't have those buttons in the upper right hand corner

[Johan Commelin]

Maybe it is the vim-plugin that is interferring?

[Bryan Gin-ge Chen]

I have the vim plugin active as well.

[Johan Commelin]

Hmmm... then I don't know.

[Bryan Gin-ge Chen]

I briefly got the popup to show up without the upper left buttons by opening the "Problems" window below but I can't reproduce it. Even then, hitting escape removed it.

[Johan Commelin]

Thanks for trying to help!

[Johan Commelin]

I'll just scroll to errors manually for now.

[Johannes Hölzl]

there were some changes in the problems view in recent VS code. @Johan Commelin which version do you have? The newest one is 1.32.3.

[Kevin Buzzard]

I just hit f8 a few times on linux and I can't see the x: I think it might be hidden by that window which I never remember how to turn off which has a version of my entire file in 1 point font so all I can see is the colours

[Kevin Buzzard]

screenshot.png

[Kevin Buzzard]

esc still works for me though. I have 1.32.3

[Kevin Buzzard]

I get the x sometimes and sometimes not

[Johan Commelin]

I have 1.28.2. Maybe that's the problem.