Open karlhorky opened 2 months ago
Switch to Pretty TypeScript Errors instead:
Pretty sure we have this already under:
"totalTypeScript.hideAllTips": {
"type": "boolean",
"default": null
},
Although if you're struggling to find it, we should probably document it better.
Ah interesting! When I tried to show the extension settings, they were empty:
But doing this again now shows that there are indeed settings, probably something was not right before (maybe because it was disabled)
Although if you're struggling to find it, we should probably document it better.
Sounds good, sure. I'm accustomed to VS Code extensions having their settings in the docs:
README.md
?The current "docs page" link goes to a sparse marketing page.
Hi @mattpocock! 👋 Hope you're well
I wanted to propose an extension setting to disable all hints (before they are dismissed with "Mark as Learned"), so that the decorations do not clutter our students' editors (but they still get the benefit of the error translation)