[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: new *Help* argument highlighting

From: Juanma Barranquero
Subject: Re: new *Help* argument highlighting
Date: Tue, 11 May 2004 00:12:01 +0200

On 10 May 2004 17:59:10 -0400, Stefan Monnier <address@hidden> wrote:

> Use smallcaps?

Sorry. I don't understand.

I don't see a way to set up a face so it shows in small caps (other than
having a smallcaps font). Is there one?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]