Re: header-line-format vs. window fringes

2005-08-02 Thread Juanma Barranquero
On 8/2/05, Richard M. Stallman <[EMAIL PROTECTED]> 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

Re: header-line-format vs. window fringes

2005-08-01 Thread Richard M. Stallman
I don't know how to do that when the window has non-null fringes, because I know the fringes' widths, but I don't see a way to know the width of the monospaced font, in pixels. The fringes always occupy an even multiple of a "column", which I believe is the width of space in the defaul

Re: header-line-format vs. window fringes

2005-08-01 Thread Juanma Barranquero
On 8/1/05, Stefan Monnier <[EMAIL PROTECTED]> wrote: > IIRC if you use a :align-to display property, the 0 position is at the > beginning of the text, so you should just need to add a leading space with > an (:align-to 0) text property. Yes, I discovered a few minutes after sending my question. :

Re: header-line-format vs. window fringes

2005-08-01 Thread Stefan Monnier
> I don't know how to do that when the window has non-null fringes, > because I know the fringes' widths, but I don't see a way to know the > width of the monospaced font, in pixels. As the header doesn't take > into account the fringes, its content is not character-aligned with > the buffer's cont

Re: header-line-format vs. window fringes

2005-08-01 Thread Juanma Barranquero
On 8/1/05, Juanma Barranquero <[EMAIL PROTECTED]> wrote: > As the header doesn't take > into account the fringes, its content is not character-aligned with > the buffer's content. Move along, move along. That is not the question you're reading. [Or, let's suppose I just found about the :align-to

header-line-format vs. window fringes

2005-08-01 Thread Juanma Barranquero
I'm trying to use `header-line-format' to create a header line for a buffer which contains several columns of fixed width. The intent, obviously, is for the header line to contain titles that should be aligned right over each corresponding column (assuming the face used on the buffer and the one fo