Always disable pagination with MI?

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <pedro@codesourcery.com> writes:

Pedro> Any objections to this?
Pedro> 2010-03-03  Pedro Alves  <pedro@codesourcery.com>
Pedro> 	gdb/
Pedro> 	* utils.c (fputs_maybe_filtered): Always disable pagination if the
Pedro> 	top level interpreter is MI.

FWIW, it seems reasonable to me.

There is a related PR about disabling pagination when using --batch.
I wonder whether anybody would object to that?

Tom