diff options
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/doc/python.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi index 9a82340..7aa9e85 100644 --- a/gdb/doc/python.texi +++ b/gdb/doc/python.texi @@ -511,7 +511,7 @@ relevant stream. @end defun @findex gdb.flush -@defun gdb.flush () +@defun gdb.flush (@r{[}, stream@r{]}) Flush the buffer of a @value{GDBN} paginated stream so that the contents are displayed immediately. @value{GDBN} will flush the contents of a stream automatically when it encounters a newline in the |