Always show linter panel

I would like to have the linter panel always shown and remove the ability for it to be hidden (as well as make a few straightforward tweaks like changing the message shown when there are no diagnostics).

I’m guessing the best way for me to do this is to make my own copy of lint.ts and change things there. In terms of preventing the panel from being hidden, my strategy is to remove the calls to closeLintPanel and delete the code in the LintPanel class setting up the now-superfluous close button.

However I’m not sure how to have the panel be shown when the editor is created. I assume I need to insert a call to openLintPanel (well, a copy of that function without the line that focuses the panel) somewhere, but I’m not sure where.

Any guidance would be appreciated. Thank you!

Well, after thinking about it a bit more, I’ve changed the panel argument of the call to the LintState constructor in line 147 of my copy of lint.ts from null to LintPanel.open and that seems to be working for now; if there’s some problem with this approach that I’m not seeing, please do let me know.

In the definition of lintState, you could make the value returned from create have the panel open (new LintState(Decoration.none, LintPanel.open, null)).