Rotation of transitions and adding tokens by scrolling
Bug #934135 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Jakob Taankvist |
Bug Description
The current situation when with mouse over scrolling rotates transition is still not satisfactory (users are annoyed by this feature).
A suggestion for the new functionality is:
1. Scrolling does not change anything in the net with mouse over only, unless a place or a transition is selected.
2. When a transition is selected (single click) scrolling will rotate the transition.
3. When a place is selected, scrolling will add/remove tokens from the place.
Changed in tapaal: | |
status: | New → Triaged |
Changed in tapaal: | |
assignee: | nobody → Jakob Taankvist (jakob-taankvist) |
Changed in tapaal: | |
status: | Triaged → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.