Re: [RFA v2] Add "continue" response to pager

[Eli Zaretskii <eliz@gnu.org>]

> From: Tom Tromey <tom@tromey.com>
> Cc: Tom Tromey <tom@tromey.com>,  gdb-patches@sourceware.org
> Date: Sat, 26 May 2018 23:14:14 -0600
> 
> commit ccd0b974d93f5a87b33fdfb38eea7ed12b00fca0
> Author: Tom Tromey <tom@tromey.com>
> Date:   Wed Apr 25 08:52:00 2018 -0600
> 
>     Add "continue" response to pager
>     
>     This adds a "continue" response to the pager.  If the user types "c"
>     in response to the pager prompt, pagination will be disabled for the
>     duration of one command -- but re-enabled afterward.  This is handy if
>     you type a command that produces a lot of output, and you don't want
>     to baby-sit it by typing "return" each time the prompt comes up.
>     
>     I think this version addresses all review comments from versions 1-3.
>     
>     Tested by the buildbot.
>     
>     ChangeLog
>     2018-05-26  Tom Tromey  <tom@tromey.com>
>     
>             PR cli/12326:
>             * NEWS: Add entry about pager.
>             * utils.c (pagination_disabled_for_command): New global.
>             (prompt_for_continue): Allow "c" response to prompt.
>             (reinitialize_more_filter): Clear
>             pagination_disabled_for_command.
>             (fputs_maybe_filtered): Check pagination_disabled_for_command.
>     
>     doc/ChangeLog
>     2018-05-26  Tom Tromey  <tom@tromey.com>
>     
>             PR cli/12326:
>             * gdb.texinfo (Screen Size): Document "c" response to pagination
>             prompt.
>     
>     testsuite/ChangeLog
>     2018-05-26  Tom Tromey  <tom@tromey.com>
>     
>             PR cli/12326:
>             * gdb.cp/static-print-quit.exp: Update.
>             * lib/gdb.exp (pagination_prompt): Update.
>             * gdb.base/page.exp: Use pagination_prompt.  Add new tests.
>             * gdb.python/python.exp: Use pagination_prompt.

Thanks, this is okay for the documentation parts.