Re: mode-line face

[Gerd Moellmann]

Miles Bader <address@hidden> writes:

> My mode-line face, in addition to the usual stuff, has the attributes
> 
>   :inherit variable-pitch
>   :height 1.2
> 
> which I think is prettier, and more readable, than the normal
> fixed-pitch mode-line.  Because it's variable-pitch, the extra size
> doesn't really reduce the amount visible text; if anything, it
> displays *more* information than the default.  
> 
> I'm curious what people think of making this default.

Hm, I think I like the variable-pitch font, but only in its normal
height.