bug#5634: fringe redisplay after scrolling

[YAMAMOTO Mitsuharu]

>>>>> On Tue, 23 Feb 2010 11:08:25 +0100, Francesc Rocher 
>>>>> <francesc.rocher@gmail.com> said:

> In windows with different face height than the default face, the fringe
> is displayed incorrectly after scrolling the window using the mouse
> wheel. The attached image shows how the left fringe is incorrectly
> updated after scrolling the windows upwards with the mouse wheel. The
> face used on that window is defined with a height scale of 0.9.

Could you try the patch I posted as a followup to Bug#6325?
(Available from http://debbugs.gnu.org/cgi/bugreport.cgi?bug=6325 .
You can use the link `mbox' to download the message text containing
the patch.)
It is for another issue on fringe, but might also work for this case.

                                     YAMAMOTO Mitsuharu
                                mituharu@math.s.chiba-u.ac.jp