| commit | 34116a8a2d0f46c23cf0e4d1c0842e1bea827ab2 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sat Jan 28 08:23:52 2023 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Tue Feb 14 13:54:44 2023 -0700 |
| tree | d0584088c126faede8f30ddc4caf585a277c224d | |
| parent | 9981e299e13ae7c4f3e23bb44b0ab5e3785c043c [diff] |
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.