diff options
| author | Tom Tromey <tom@tromey.com> | 2023-01-28 08:23:52 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2023-02-14 13:54:44 -0700 |
| commit | 34116a8a2d0f46c23cf0e4d1c0842e1bea827ab2 (patch) | |
| tree | d0584088c126faede8f30ddc4caf585a277c224d /gdb/varobj.h | |
| parent | 9981e299e13ae7c4f3e23bb44b0ab5e3785c043c (diff) | |
| download | gdb-34116a8a2d0f46c23cf0e4d1c0842e1bea827ab2.zip gdb-34116a8a2d0f46c23cf0e4d1c0842e1bea827ab2.tar.gz gdb-34116a8a2d0f46c23cf0e4d1c0842e1bea827ab2.tar.bz2 | |
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.
Diffstat (limited to 'gdb/varobj.h')
0 files changed, 0 insertions, 0 deletions