Closed rayanamal closed 6 months ago
Hey, sorry for the delay. I was going to look into this when I have some time. If you are closing it because the zk language server can now handle an empty field, then please let me know.
No I didn’t close it, apparently deleting a branch automatically closes a PR.
Thinking about it again, it’s zk to blame here, not Textadept. So it’s maybe better if this remains closed, it seems its place is zk language server documentation.
zk language server cannot accept an empty
publishDiagnostics
field. I have no single idea how this change would affect other language servers, nor whether textadept actually supportstextDocument/publishDiagnostics
capability'srelatedInformation
field.