Re: double-clicking on closing paren - wrong region marked

[Richard Stallman]

    The problem can be fixed at 2 places:
    1 - at step 4, there shouldn't be any scrolling.
    2 - at step 5, since the mouse hasn't moved, and since the time between the
        down-mouse-1 and the (up) mouse-1 is short, this shouldn't be considered
        as a drag.

I think #4 should be fixed.  I am not sure #5 is a bug.
It is true that the mouse has not moved physically, but in
some virtual sense it has moved due to the scrolling.

In this case, the scrolling was a bug.  But suppose there had
been scrolling for a valid reason.  Wouldn't it be correct
to treat the click as a drag in that case?