ApplyWorkspaceEditParams

case class ApplyWorkspaceEditParams(label: Opt[String], edit: WorkspaceEdit)

The parameters passed via a apply workspace edit request.

Value parameters:
edit

The edits to apply.

label

An optional label of the workspace edit. This label is presented in the user interface for example on an undo stack to undo the workspace edit.

Companion:
object
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