for review: bug fix for browser output streams.

Bert Thompson aet at
Tue Dec 8 16:07:32 AEDT 1998

Tyson Dowd <trd at> writes:


|Here's a bug fix for the browser library.
|I guess Bert would be the logical choice to review this, but
|others may want to have a look.

Looks fine.

However, it's a pity records aren't yet supported. All those
arguments to the browser state are getting unwieldy.


|Estimated hours taken: 3

|Fix a bug in the debugger -- the term printing wasn't working after
|you had changed the output stream -- output would be sent to the
|program's output stream instead of the debugger's output stream.

|	Fix the output and streams used for the term browser.

More information about the developers mailing list