Re: Bug in mouse highlighting

[Kim F. Storm]

Stephen Berman <address@hidden> writes:

> On Mon, 08 Nov 2004 23:25:48 +0100 address@hidden (Kim F. Storm) wrote:
>
>> I have fixed the "bleeding into header line" bug.
>
> As the OP of this bug report, I want to confirm that the fix works for
> me; thanks!

Good.

>
> I also have a related question, which I'm very curious to know the
> answer to: as I mentioned in my bug report, the "bleeding" didn't
> happen in Info, with the Info header line, and I couldn't figure out
> what makes it different from other header lines (at least the ones I
> defined myself and in e.g. tabbar-mode).  Do you (or anyone else
> reading this) know?

Strange -- but maybe the header line font is slightly smaller than the
text line you scroll out of view (behind the header line) -- in which
case there is no "hidden" line that can bleed into the header line.

-- 
Kim F. Storm <address@hidden> http://www.cua.dk