Original report by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
OutputBox should let you clear the buffer of the output box with a context menu option.
It should also perhaps let you focus at the bottom of the output box and hit enter to add whitespace (well, black, whatever), like other terminals let you do (albeit only as a side effect of accepting all input and printing it, which we shouldn't do)
Maybe also it should be that if you hit control-L, the window scrolls down past the last line so that the next printed line will be at the top.
But at the very least the first thing should be done.
This is something the user might want to do before they do an operation that will produce output they want to easily distinguish from previous output, like how clearing a terminal is normally used. It is not to conserve resources and avoid performance hits from large buffers, which we already do by only keeping a finite number of lines.
Original report by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
OutputBox should let you clear the buffer of the output box with a context menu option.
It should also perhaps let you focus at the bottom of the output box and hit enter to add whitespace (well, black, whatever), like other terminals let you do (albeit only as a side effect of accepting all input and printing it, which we shouldn't do)
Maybe also it should be that if you hit control-L, the window scrolls down past the last line so that the next printed line will be at the top.
But at the very least the first thing should be done.
This is something the user might want to do before they do an operation that will produce output they want to easily distinguish from previous output, like how clearing a terminal is normally used. It is not to conserve resources and avoid performance hits from large buffers, which we already do by only keeping a finite number of lines.