View source

typedef ExecuteCommandRegistrationOptions

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Protocol

Registration options for a ExecuteCommandRequest.

Alias

alias for languageServerProtocol.protocol.ExecuteCommandOptions