Going to simulator and back changes the currecntly selected query
Bug #894337 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Mathias Andersen |
Bug Description
If you select and third query and go to simulator and back (e.g. after verifying the query and asking for a trace),
when you return the first query is selected, not the third one as expected.
Related branches
lp:~tapaal-contributor/tapaal/bug894337
- Kenneth Yrke Jørgensen: Approve
- Jiri Srba: Approve
-
Diff: 120 lines (+50/-5)3 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+29/-1)
src/dk/aau/cs/gui/TemplateExplorer.java (+8/-0)
src/pipe/gui/GuiFrame.java (+13/-4)
Changed in tapaal: | |
status: | New → Triaged |
Changed in tapaal: | |
status: | Triaged → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
The same is the case for the components.