Add support for proposed 3.17 APIs - Githubissues

ionide / LanguageServerProtocol

Library for building Language Server Protocol servers and clients in F#.

MIT License

44 stars 18 forks source link

Add support for proposed 3.17 APIs #20

Open baronfel opened 2 years ago

baronfel commented 2 years ago

3.17 adds APIs for the following features:

[ ] Specify how clients will handle stale requests.
[ ] Add support for a completion item label details.
[ ] Add support for workspace symbol resolve request.
[ ] Add support for label details and insert text mode on completion items.
[ ] Add support for shared values on CompletionItemList.
[ ] Add support for HTML tags in Markdown.
[ ] Add support for collapsed text in folding.
[ ] Add support for trigger kinds on code action requests.
[ ] Add the following support to semantic tokens:
[ ] server cancelable
[ ] augmentation of syntax tokens
[ ] Add support to negotiate the position encoding.
[ ] Add support for HTML tags in markdown.
[ ] Add support for relative patterns in file watchers.
[ ] Add support for type hierarchies
[ ] Add support for inline values.
[x] Add support for inlay hints.
[ ] Add support for notebook documents.
[ ] Add support for diagnostic pull model.

We should add our side to match.

TheAngryByrd commented 1 year ago

https://github.com/ionide/LanguageServerProtocol/pull/52 covers a lot of these.