djcb/mu — pull request #92 by tarsius (2012-11-10 15:36:18+00:00)
Title: mu4e~header-line-format: use same font as in buffer

Use face `bold' for the sorted column but leave the face unspecified
for other columns. This is how tabulated-list does it to; it only
uses fixed-pitch for whitespace between columns.

The problem with using fixed-pitch is that uses "Monospace" which
might be a different monospace font than what is used for `default'.
These fonts might have a different width causing columns in the header
and the buffer not to be aligned.

Inheriting `fixed-pitch' from `default' instead of specifying the font
does not work as that causes the `fixed-pitch'ed parts of the
header-line not to be raised like the rest anymore. One (that is
every user) could also manually copy the font family from `default'.

Simply not specifying the font fixes all that.