bug#20398: 25.0.50; Clicking `window-divider-last-pixel' in help for `window-divider'

[Stefan Monnier]

>>> (define-key map [backtab] 'widget-backward)
>>> (define-key map [down-mouse-2] 'widget-button-click)
>>> (define-key map [down-mouse-1] 'widget-button-click)
>>> +    ;; Avoid `mouse-yank-primary' with `mouse-1-click-follows-link'
>>> +    ;; non-nil (Bug#19185).
>>> +    (define-key map [mouse-2] 'widget-button-click)

> That seems to imply that widget-button-click will be run twice (once on
> the down part and once on the up part).
> How 'bout binding one of the two to `undefined' instead?

Or just *move* the binding from [down-mouse-2] to [mouse-2] (since it's
a click binding and clicks should be bound to the up event rather than
the down event).


        Stefan