| commit | 9b7167182d1f6fef32c264587bbc00c7f9bd21f2 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Fri Dec 31 14:34:07 2021 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Tue Mar 29 12:46:24 2022 -0600 |
| tree | 23ffdf79803d8daf6a9d7777443f7869b30fa6a1 | |
| parent | dcf1a2c8d2f5776796927d147f40214d23c818de [diff] |
Add puts_unfiltered method to ui_file When the pager is rewritten as a ui_file, gdb will still need a way to bypass the filtering. After examining a few approaches, I chose this patch, which adds a puts_unfiltered method to ui_file. For most implementations of ui_file, this will just delegate to puts. This patch also switches printf_unfiltered to use the new method.