Page History

...

The CommandExtension defines all commands (requests or notifications) that are send from client to server. An example how this looks like can be seen in the code snippet Example CommandExtension in the section Register an extension (on server side)is an example how to define a server side extension interface.

This language server extension is provided by a corresponding contribution, which is later used to access it:

...