lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO
- Get this branch:
- bzr branch lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO
Branch merges
- TAPAAL Reviewers: Pending requested
-
Diff: 54 lines (+19/-11)1 file modifiedsrc/dk/aau/cs/gui/TabContent.java (+19/-11)
Related bugs
Related blueprints
Branch information
Recent revisions
- 1100. By Kenneth Yrke Jørgensen
-
Fixed bug #1894107, changed behaviour for mouse wheel events on pto
Need to be selected to add tokens/rotate. If not selected events
is passed to parrent - 1096. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown fixing a problem with iinvisible weights when constant was used
- 1095. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog fixing NPE when for opening arc dialog
- 1094. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 fixing the loading of game nets with queries
- 1093. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/enable-AF-game enabeling AF for games
- 1092. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/refactor-remove-queries removing queires in a unified way by calling the engine options
- 1091. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/autodetect-lens-check2 doing autodetection of net type in case it does not have any lens information
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal