Clean up the external task window
Bug #1503641 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Wishlist
|
Danil Sokolov |
Bug Description
"Show..." button does not do anything."Queue test task" button is not needed. Both can be safely removed.
Related branches
lp:~danilovesky/workcraft/trunk-bug-1503646
- Danil Sokolov: Approve
-
Diff: 1430 lines (+366/-238)22 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java (+116/-63)
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitToStgConverter.java (+31/-21)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+40/-48)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+12/-8)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+12/-8)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+14/-10)
FstPlugin/src/org/workcraft/plugins/fst/task/WriteSgConversionTask.java (+2/-3)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+9/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java (+1/-0)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyModule.java (+4/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java (+6/-3)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawSgTask.java (+30/-18)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java (+2/-3)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/ShowSg.java (+26/-21)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/ShowSgBinary.java (+23/-0)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+12/-8)
STGPlugin/src/org/workcraft/plugins/stg/StgUtils.java (+1/-0)
WorkcraftCore/src/org/workcraft/gui/tasks/TaskControl.java (+3/-4)
WorkcraftCore/src/org/workcraft/gui/tasks/TaskManagerWindow.java (+17/-10)
WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java (+3/-2)
Changed in workcraft: | |
status: | Confirmed → Fix Committed |
summary: |
- The button Show in Dot layout tool does not do anythisn + Clean up the external task dialogue |
description: | updated |
summary: |
- Clean up the external task dialogue + Clean up the external task window |
To post a comment you must log in.