Merge lp:~tapaal-contributor/tapaal/bug894337 into lp:tapaal
Proposed by
Mathias Andersen
Status: | Merged |
---|---|
Approved by: | Kenneth Yrke Jørgensen |
Approved revision: | 682 |
Merged at revision: | 679 |
Proposed branch: | lp:~tapaal-contributor/tapaal/bug894337 |
Merge into: | lp:tapaal |
Diff against target: |
120 lines (+50/-5) 3 files modified
src/dk/aau/cs/gui/TabContent.java (+29/-1) src/dk/aau/cs/gui/TemplateExplorer.java (+8/-0) src/pipe/gui/GuiFrame.java (+13/-4) |
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/bug894337 |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Kenneth Yrke Jørgensen | Approve | ||
Jiri Srba | Approve | ||
Review via email: mp+96423@code.launchpad.net |
Commit message
Selected components, constants, shared items, queries and now remembered when going to simulator and back.
Description of the change
When you return from simulation mode the previous selection of queries, constants and components will now be remembered.
When you enter simulation mode the currently selected component from the editor will also be selected in the simulator. If the currently selected component in the editor is not active the first active component in the list will be selected in the simulator.
To post a comment you must log in.
Attempt to merge into lp:tapaal failed due to conflicts:
text conflict in src/dk/ aau/cs/ gui/TabContent. java