[Bug cli/17222] printf_filtered vs printf_unfiltered

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=17222

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tromey at sourceware dot org

--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
See also bug #7234.  That one implies that gdb_stdout should
be filtered and the rest unfiltered.

I tend to think that all unfiltered output should be removed.
For one thing if there is ever a mix of filtered and unfiltered,
then paging confusion could result, because it seems like gdb would
end up with an incorrect line count.

-- 
You are receiving this mail because:
You are on the CC list for the bug.