Build Output Stream
class BuildOutputStream(workbench: AvailWorkbench, val streamStyle: StreamStyle) : ByteArrayOutputStream
BuildOutputStream intercepts writes and updates the UI's AvailWorkbench.transcript.
Parameters
stream Style
What StreamStyle should this stream render with?
Properties
Link copied to clipboard
What StreamStyle should this stream render with?