Interface PanelWidgetProps

Props that every infoview panel widget receives as input to its default export.

interface PanelWidgetProps {
    goals: InteractiveGoal[];
    pos: DocumentPosition;
    selectedLocations: GoalsLocation[];
    termGoal?: InteractiveTermGoal;
}

Index

Properties

goals pos selectedLocations termGoal?

Properties

goals

goals: InteractiveGoal[]

The current tactic-mode goals.

pos

pos: DocumentPosition

Cursor position in the file at which the widget is being displayed.

selectedLocations

selectedLocations: GoalsLocation[]

Locations currently selected in the goal state.

`Optional`termGoal

termGoal?: InteractiveTermGoal

The current term-mode goal, if any.