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

[martin rudalics]

>>>> (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).

Shouldn't we then do the same here:

>>>> (define-key map [down-mouse-1] 'widget-button-click)

martin