Remove a use of pagination_enabled
authorTom Tromey <tom@tromey.com>
Sat, 28 Jan 2023 15:23:52 +0000 (08:23 -0700)
committerTom Tromey <tom@tromey.com>
Tue, 14 Feb 2023 20:54:44 +0000 (13:54 -0700)
commit34116a8a2d0f46c23cf0e4d1c0842e1bea827ab2
treed0584088c126faede8f30ddc4caf585a277c224d
parent9981e299e13ae7c4f3e23bb44b0ab5e3785c043c
Remove a use of pagination_enabled

I noticed that the TUI temporarily sets pagination_enabled and
gdb_stdout in one spot.  However, I don't believe these settings are
necessary here, as a ui_file is passed to
gdbarch_print_registers_info.  This patch removes these settings.
gdb/tui/tui-regs.c