bug#9541: mouse-1 inside scroll-margin causes undesirable region activation

[Johan Bockgård]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> This said, the current behavior of scroll-margin is clearly problematic
> and even buggy (e.g. it seems that displaying the EOB prevents the
> mouse-clicks from causing a scroll, even when that scroll would be
> towards the BOB).

The real bug is that mouse-clicks set the mark (always). (Search for
push-mark in mouse-drag-track.)