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

From: Stefan Monnier <[email-masked]>
Date: Sat, 30 Apr 2016 14:51:05 -0400

>>      (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?

        Stefan