DiagramMenu: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Cg (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „ This menu simply duplicates the popup menu of the right diagram editor. Previous: "''Project Tree''" Menu <br>Next: TestResultsMenu |…“) |
(kein Unterschied)
|
Version vom 18. Februar 2020, 17:29 Uhr
This menu simply duplicates the popup menu of the right diagram editor.
Previous: "Project Tree" Menu
Next: "Test Results" Menu
