Re: Proportional fonts in the mode line (one month test)

[Lars Ingebrigtsen]

Protesilaos Stavrou <info@protesilaos.com> writes:

> Can this and every other use of 'variable-pitch' that is being discussed
> in recent threads be made optional?

Just set `variable-pitch' to `fixed-pitch' if you don't want anything to
be proportional.

> My point is on the visual aspects of how things look, as I consider
> consistency a matter of aesthetics (things look prettier to me when they
> have no inconsistencies).

Yes, making the font mixes be more consistent across all platforms is a
challenge.  But it seems to work pretty well out of the box on a large
number of systems.  The main challenge seems to be that people have
already customised their variable-pitch fonts manually, probably because
we don't currently mix fonts a lot.

> My opinion is that every use of variable-pitch for the mode-line,
> header-line, headings, Help buffers, Info breadcrumbs, etc. should be
> optional.  Whether opt-in or opt-out is not a major issue.

Yes, of course.  All these things are defined via faces, and users can
customise the faces as they wish.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no