diff etc/PROBLEMS @ 78847:ee94dfa84d72

(widget-image-insert): Don't merge mouse-face with neighbouring buttons.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 20 Sep 2007 18:56:07 +0000
parents fbc5eac783af
children ba829cdc5870 f4c187eb69f2 b83d0dadb2a7
line wrap: on
line diff