chiark / gitweb /
Automatic scrolling when a drag+drop operation is near the top or