Engines configurations dialog
Bug #928925 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Wishlist
|
Mathias Andersen |
Bug Description
In the Tool in the menu there should be a new item (under line) for opening a dialog, showing the
locations and versions of all engines (like in About) and allowing to reset their locations and select
new locations.
The Reset location items from Tool and the Info in About should be removed.
Related branches
lp:~tapaal-contributor/tapaal/choosing_engines
- Kenneth Yrke Jørgensen: Approve
- Jiri Srba: Approve
-
Diff: 514 lines (+389/-58)4 files modifiedsrc/dk/aau/cs/verification/UPPAAL/Verifyta.java (+4/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+4/-0)
src/pipe/gui/GuiFrame.java (+11/-58)
src/pipe/gui/widgets/EngineDialogPanel.java (+370/-0)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.