Fix #8: Click-dragging on the line number margin does not scroll