Verification and transformation tools are accessible in simulation mode
Bug #1332115 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
Access to verification and transformation tools while simulating a copy of STG or Petri net may lead to inconsistent behaviour. The easiest option is to disable all the tools in simulation mode.
Related branches
lp://staging/~danilovesky/workcraft/trunk-bug-1332115
- Danil Sokolov: Approve
-
Diff: 59 lines (+13/-2)3 files modifiedWorkcraftCore/src/org/workcraft/gui/MainMenu.java (+4/-2)
WorkcraftCore/src/org/workcraft/gui/MainWindow.java (+4/-0)
WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java (+5/-0)
| Changed in workcraft: | |
| status: | Triaged → Fix Committed |
To post a comment you must log in.
