Hide typeclasses from infoview

Stream: general

[Daniel Weber]

Is there a way to make typeclasses not show up in infoview? They take up a lot of space, and are almost never important to actually see

[Markus Himmel]

If you're using VS Code, in the top right of the infoview there is a filter button where you can select to hide instances:
image.png

[Daniel Weber]

Thanks!

[Marc Huisinga]

By the way, the VS Code extension manual covers these kinds of topics. You can open it in VS Code using the 'Show Manual' command.