Re: mode-line face

[Stefan Monnier]

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

Just tried it and I must say I like the idea.  OTOH, my variable-pitch
is Helvetica (the default, I believe) and the * in that font I have
is more like the asterisks used for footnotes (i.e. it's kind of
superscripted), which makes the read-write status rather
unreadable.


        Stefan