Mouse wheel rotate transition
Bug #810904 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Unassigned | ||
2.0 |
Fix Released
|
Medium
|
Unassigned |
Bug Description
Help text in the bottom says that one can rotate the transition using mouse wheel, however, mouse wheel
was change to scrolling. So either this should be removed, or (perhaps a better solution) mouse wheel
should rotate a transition and add tokens to places as long as it is above them and when not above any place/transition,
then is should function like a scroll on the model (if it is too big to fit into the window).
Related branches
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
Changed in tapaal: | |
milestone: | 2.1 → none |
To post a comment you must log in.
This was the functionality at some point while i was fixing it, but you specifically requested that it always functions as a scroller. So maybe we should just fix the text?