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.