Re: incorrect button highlighting

[Stefan Monnier]

>> I think this is a documented limitation of the widget library.

I think it's a bug in the widget library.

> Actually, it's nothing to do with widgets. This has the same symptoms:

> (progn
>   (switch-to-buffer "*example*")
>   (insert-image (create-image "prev-node.xpm")
>                 (propertize "prev" 'mouse-face 'custom-button-pressed-face))
>   (insert-image (create-image "next-node.xpm")
>                 (propertize "next" 'mouse-face 'custom-button-pressed-face)))

Easy to fix:

> (progn
>   (switch-to-buffer "*example*")
>   (insert-image (create-image "prev-node.xpm")
>                 (propertize "prev" 'mouse-face (list 
> 'custom-button-pressed-face)))
>   (insert-image (create-image "next-node.xpm")
>                 (propertize "next" 'mouse-face (list 
> 'custom-button-pressed-face))))


-- Stefan