weird behaviour of infoview

Stream: general

[Filippo A. E. Nuccio]

On a leanproject I am working on (not mathlib itself) I experience a strange behaviour of VSCode: sometimes, the infoview freezes not showing anything (beyond the first line with the name of the file and the five blue icons on the right); it suffices to close and reopen it to see the goal(s). This never happens when I work on mathlib, and moreover the project is sometimes very slow for "no good reason" (aka: I haven't understood where the problem is). Has anyone already experienced this?

[Martin Dvořák]

Yes.

[Filippo A. E. Nuccio]

..and?