Re: Patch to disable links line in *info* buffer

[Kim F. Storm]

"Stefan Monnier" <monnier+gnu/address@hidden> writes:

> > The problem is that there is no named face which has this appearence,
> > so I cannot simply put a (face mode-line-bold) property on the string
> > returned by format-mode-line.
> 
> Any reason why you can't use (face (mode-line bold)) ?

Not anymore :-)

Thanks!!