ExecuteCommandOptions

case class ExecuteCommandOptions(commands: Vector[String], workDoneProgress: Opt[Boolean])

The server capabilities of a ExecuteCommandRequest.

Value parameters:
commands

The commands to be executed on the server

Companion:
object
Source:
structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product