Add to documentation of Python 'dont_repeat' method

PR python/28533 points out that the Python 'dont_repeat' documentation
is a bit ambiguous about when the method ought to be called.  This
patch spells it out.
This commit is contained in:
Tom Tromey
2022-02-19 09:33:12 -07:00
parent b9b66a3a57
commit 285dfa0f68

View File

@ -4001,8 +4001,10 @@ not documented.'' is used.
@defun Command.dont_repeat ()
By default, a @value{GDBN} command is repeated when the user enters a
blank line at the command prompt. A command can suppress this
behavior by invoking the @code{dont_repeat} method. This is similar
to the user command @code{dont-repeat}, see @ref{Define, dont-repeat}.
behavior by invoking the @code{dont_repeat} method at some point in
its @code{invoke} method (normally this is done early in case of
exception). This is similar to the user command @code{dont-repeat},
see @ref{Define, dont-repeat}.
@end defun
@defun Command.invoke (argument, from_tty)