Scrolling upwards is interrupted if mouse hits an arc
Bug #1938783 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
If you scroll and hit an arc, the scrolling will stop.
Related branches
lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Approve (code)
-
Diff: 22 lines (+11/-0)1 file modifiedsrc/dk/aau/cs/gui/TabContent.java (+11/-0)
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.