diff options
| author | Tom Tromey <tom@tromey.com> | 2022-02-19 09:33:12 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2022-06-15 14:00:39 -0600 |
| commit | 285dfa0f6877ea7677e84c3c1001c5d339fbbe5e (patch) | |
| tree | 89081cddd07fedb7d1aaddcc65a43dcea71abcdc /gdb/doc | |
| parent | b9b66a3a5740dfa0cf929a9c9abcdbaabe989358 (diff) | |
| download | gdb-285dfa0f6877ea7677e84c3c1001c5d339fbbe5e.zip gdb-285dfa0f6877ea7677e84c3c1001c5d339fbbe5e.tar.gz gdb-285dfa0f6877ea7677e84c3c1001c5d339fbbe5e.tar.bz2 | |
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.
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/python.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi index 75804ef..62db5f2 100644 --- a/gdb/doc/python.texi +++ b/gdb/doc/python.texi @@ -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) |