Merge lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query into lp:tapaal
Proposed by
Lena Ernstsen
Status: | Merged | ||||
---|---|---|---|---|---|
Approved by: | Jiri Srba | ||||
Approved revision: | 1118 | ||||
Merged at revision: | 1113 | ||||
Proposed branch: | lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query | ||||
Merge into: | lp:tapaal | ||||
Diff against target: |
231 lines (+33/-30) 1 file modified
src/pipe/gui/widgets/QueryDialog.java (+33/-30) |
||||
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Kenneth Yrke Jørgensen | Approve | ||
Jiri Srba | Approve | ||
Review via email: mp+393444@code.launchpad.net |
Description of the change
When net is untimed, the predicate for transitions are now shown as "is enabled" instead of " = 0".
When net is game, it is not possible to select any transitions.
To post a comment you must log in.
Open untimed game and make a query; the text "is enabled" is prited next to predicate - it should only show if you select transition from the list.