Interface ExecuteCommandRegistrationOptions

Registration options for a ExecuteCommandRequest.

interface ExecuteCommandRegistrationOptions {
    commands: string[];
    workDoneProgress?: boolean;
}

Hierarchy (View Summary)

Properties

commands workDoneProgress?

Properties

commands

commands: string[]

The commands to be executed on the server

OptionalworkDoneProgress

workDoneProgress?: boolean

Settings

Member Visibility

On This Page

Properties