Re: Bug of mouse-face?

[Kenichi Handa]

In article <address@hidden>, address@hidden (Kim F. Storm) writes:

> Kenichi Handa <address@hidden> writes:
>>  (insert (propertize " a " 'face 'box-released 'mouse-face 'box-pressed)
>>      " "
>>      (propertize " b " 'face 'box-released 'mouse-face 'box-pressed)
>>      " "
>>      (propertize " c " 'face 'box-released 'mouse-face 'box-pressed)
>>      " "
>>      (propertize " d " 'face 'box-released 'mouse-face 'box-pressed))
>>  
>>  When you move mouse from right to left on the line of "a" to
>>  "d" buttons, mouse-face works correctly (i.e. when mouse is
>>  on a button, the button is displayed with box-pressed face.
>>  But, when you move mouse from left to right, after "a" is
>>  displayed with box-pressed face, it doesn't change even if
>>  mouse moves right off from "a", and buttons "b" to "d"
>>  doesn't change face even if mouse is on it.

> I have just installed a fix (to new version of fast_find_position).

Thank you.  I confirmed that it is fixed.

---
Ken'ichi HANDA
address@hidden