[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Boxes not boxed in the header-line

From: Richard Stallman
Subject: Re: Boxes not boxed in the header-line
Date: Sun, 26 Feb 2006 07:10:13 -0500

    Notice that in my example, every box is indeed separated from the next one
    by a space, but the whole header line is itself marked as boxed by the
    header-line face so the separating space is "boxed" as well,
    tho differently (e.g. different thickness).

Is that really a reasonable thing to do?  It sounds nonsensical to me,
and if it is nonsensical, we need not spend time trying to make it "work".

reply via email to

[Prev in Thread] Current Thread [Next in Thread]