[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug in mouse highlighting
From: |
Kim F. Storm |
Subject: |
Re: Bug in mouse highlighting |
Date: |
Wed, 10 Nov 2004 10:12:33 +0100 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/21.3.50 (gnu/linux) |
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