lp:~tapaal-contributor/tapaal/query-list-selection-win-fix-1520106
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/query-list-selection-win-fix-1520106
Branch merges
- Jiri Srba: Approve
-
Diff: 56 lines (+10/-2)2 files modifiedsrc/pipe/gui/GuiFrame.java (+5/-0)
src/pipe/gui/widgets/QueryPane.java (+5/-2)
Related bugs
Related blueprints
Branch information
Recent revisions
- 926. By Jakob Dyhr
-
Added workaround in Nimbus bug, setting list properties to the supposed default values
- 924. By Mads Johannsen
-
Remove button for deactivated queries is now enabled. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- 922. By Mads Johannsen
-
Null pointer exeception when parsing an invalid pnml file is cought now. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- 921. By Jakob Dyhr
-
Arcs are now only selected if either directly clicked, or if they are connecting two already selected PlaceTransition
Objects. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba - 920. By Jakob Dyhr
-
Fixes bug #1518261. When making a new shared transition through the context menu, urgency is now correctly (re)applied. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- 919. By Jiri Srba
-
updated minimum required engine versions to
verifytaMinRev = 5648; verifytapnMinRev = "1.3.0";
verifydtapnMinRev = "3.2.0"; verifypnMinRev = "1.2.0" - 917. By Mads Johannsen
-
Hiding place and transition names is not remembered when saving a net, invariants are always shown. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal