Constant languageserver_types::REQUEST__ExecuteCommand
[−]
[src]
pub const REQUEST__ExecuteCommand: &'static str=
"workspace/executeCommand"
The workspace/executeCommand request is sent from the client to the server to trigger command execution on the server. In most cases the server creates a WorkspaceEdit structure and applies the changes to the workspace using the request workspace/applyEdit which is sent from the server to the client.