Re: python-interactive, and quitting gdb pagination

[Tom Tromey <tromey@redhat.com>]

>>>>> "Yit" == Khoo Yit Phang <khooyp@cs.umd.edu> writes:

Yit> Hmm, this happens because quitting from GDB's pager happens to raise
Yit> the same error reason, RETURN_QUIT, as typing Ctrl-C, i.e., quitting
Yit> from the pager looks exactly like Ctrl-C. I'm not quite sure what the
Yit> best way to fix this is; perhaps disable the pager while in Python?
Yit> Python's "help" runs a pager too, but I think it's disabled because
Yit> stdin/stdout is redirected through GDB. Or alternatively, perhaps
Yit> somehow differentiate quitting from the pager or quitting from Ctrl-C,
Yit> e.g., with a different error.message?

Having Python use the pager is kind of a feature.  It lets one write gdb
commands in Python that work like other gdb commands.

I suppose we could provide a way to bypass the pager.
Doing so during python-interactive might make sense, though I am not
sure.

Tom