plan::editor
The plan editor widget.
| Group | plan |
Detailed description
plan::editor::PlanEditor edits the OPAL text of a plan, with syntax highlighting.
Classes
| Class | What it is |
|---|---|
| PlanEditor | Widget for editing robot behavior plans (OPAL scripts) |
The plan editor widget.
| Group | plan |
plan::editor::PlanEditor edits the OPAL text of a plan, with syntax highlighting.
| Class | What it is |
|---|---|
| PlanEditor | Widget for editing robot behavior plans (OPAL scripts) |