This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [python] [patch] set/show extended-prompt
> From: Phil Muldoon <pmuldoon@redhat.com>
> Cc: tromey@redhat.com, gdb-patches@sourceware.org
> Date: Tue, 16 Aug 2011 12:18:17 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> +@item \[
> >> +Begin a sequence of non-printing characters.
> >> +@item \]
> >> +End a sequence of non-printing characters.
> >
> > It would be useful to tell something regarding the display of the
> > non-printing characters themselves, and how to specify them in the
> > string.
> >
> > Thanks.
>
> Updated (doc-only) patch. What do you think?
Thanks, I'm happy now.