Re: GDB ui word wrapping broken/interferes with 'set style' ?

[Tom Tromey <tom@tromey.com>]

Tom> Seems very likely.  Thanks for the report, I will look into it.

Please try this.  I think it fixes both of the styling problems you
reported, but it's better if you check it too.  If it works for you I
will write a test case.

thanks,
Tom

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 7be4360e62..0d1fcb79f1 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2018-12-30  Tom Tromey  <tom@tromey.com>
+
+	* utils.c (flush_wrap_buffer): Only flush gdb_stdout.
+
 2018-12-30  Tom Tromey  <tom@tromey.com>
 
 	* event-top.h (command_line_handler): Update.
diff --git a/gdb/utils.c b/gdb/utils.c
index 3a6f796f2b..753eb14280 100644
--- a/gdb/utils.c
+++ b/gdb/utils.c
@@ -1589,7 +1589,7 @@ reinitialize_more_filter (void)
 static void
 flush_wrap_buffer (struct ui_file *stream)
 {
-  if (!wrap_buffer.empty ())
+  if (stream == gdb_stdout && !wrap_buffer.empty ())
     {
       fputs_unfiltered (wrap_buffer.c_str (), stream);
       wrap_buffer.clear ();