Re: header-line-format vs. window fringes

[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 content.

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.

Take a look at the code for list-buffers which has to deal with the
same issue.


        Stefan