Class EditorContext

Namespace

NMF.Glsp.Protocol.Types

Assembly

NMF.Glsp.dll

The EditorContext may be used to represent the current state of the editor for particular actions. It encompasses the last recorded mouse position, the list of selected elements, and may contain custom arguments to encode additional state information.

public class EditorContext

Inheritance

object

EditorContext

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Properties

Args

Custom arguments.

public IDictionary<string, object> Args { get; init; }

Property Value

IDictionary<string, object>

LastMousePosition

The last recorded mouse position.

public Point? LastMousePosition { get; init; }

Property Value

Point?

SelectedElementIds

The list of selected element identifiers.

public string[] SelectedElementIds { get; init; }

Property Value

string[]