[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: Thu, 13 May 2004 23:25:30 +0200

On 13 May 2004 10:21:56 -0400, Stefan Monnier <address@hidden> wrote:

> Of course, even if we do, it would only be valid for the current frame which
> might be different from the one in which *Help* will be displayed (IIRC the
> buffer is first constructed and then displayed via pop-to-buffer).

I have no way to test all that. I think the best thing to do is wait for
someone to trample into the problem and fix it and report back :)


reply via email to

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