Comment 0 for bug 1245824

The header position of the dash header can be messed up by flicking the content. Here's a screenshot of the broken state: http://i.imgur.com/DeZHrvb.png

Steps to reproduce:
* Find a scope where contentHeight < height (e.g. Home scope with no music section or drag the window larger than the contentHeight.
* Grab the scope with the mouse/finger and quickly flick it up/down a couple of times. At some point, release it after/during an upwards movement.
=> It's won't scroll down to the correct position any more.

Upon the next onPressed mouse interaction, the header will jump back to the correct position.