Error stream in GuiConsole

[Per Bothner]

Emmanuel Castro <castro@lirmm.fr> writes:

> When using GuiConsole, errors are not shown immediatly.
> ...
> To correct this, just change the ligne 58 of kawa/GuiConsole.java:
>     err_p = new OutPort(message.getStderr(),"<msg_stderr>");
> should be:
>     err_p = new OutPort(message.getStderr(),true,"<msg_stderr>");

I agree.  I also changed out_p the same way, for consitency with
gnu.mapping.OutPort.outInitial and gnu.jemavs.buffer.ReplBuffer.

Thanks!

> "true" force the OutPort to immediatly write on the screen (cf. the
> documentation).

Well, not "immediately", but on each println.
-- 
	--Per Bothner
per@bothner.com   http://www.bothner.com/~per/