[Top][All Lists]

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

Re: header-line-format vs. window fringes

From: Juanma Barranquero
Subject: Re: header-line-format vs. window fringes
Date: Tue, 2 Aug 2005 09:54:52 +0200

On 8/2/05, Richard M. Stallman <address@hidden> wrote:

> The fringes always occupy an even multiple of a "column",
> which I believe is the width of space in the default font.

I don't think this is true, because at the very least you can manually
set the width of the fringes to any pixel width with

> So you could just use the right number of spaces.

I already discovered the :align-to spec of the display property (and
Stefan pointed to it too); that's the right way to align a ruler's
contents, it seems.

> The doc string of frame-char-width seems to be out of date.

I didn't know about that function.

> I think this is what it should say.

I'll change it.


reply via email to

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