This is the mail archive of the
mailing list for the GDB project.
Re: [python] [patch] set/show extended-prompt
> From: Phil Muldoon <firstname.lastname@example.org>
> Cc: email@example.com, firstname.lastname@example.org
> Date: Tue, 16 Aug 2011 12:18:17 +0100
> Eli Zaretskii <email@example.com> 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.