Closed halfbrained closed 3 years ago
it is a good idea. maybe give in lsp_*.json the option "panel": true
or even "panel": "error,warning,info,log"
(show only mentioned kinds) ?
(the implementaion of panel-- can be seen in FTP plg.)
Ok, panel will be 'on' by default, and disabled with "panel": false
in server or plugin configs.
And severity filter will be in the panel's form or context menu - since user might want to toggle these frequently
yes, sounds good.
Looks very good! I can publish it in a few days, not now
I think maybe give each server a separate panel for their outputs? LSP servers give logs, and messages to show in UI, both with severity (log, info, warning, error)
For now I'm putting logs to the Output panel, and messages to the Console, but it would be nice to highlight these properly according to severity; using 'NOTE: ' and '*Error: ' of the Console panel wouldn't look too nice.