On Tuesday, 19 May 2020 at 10:05:00 UTC, BoQsc wrote:
On Monday, 18 May 2020 at 20:00:51 UTC, BoQsc wrote:I'm kind of stuck right now on how.Some more Updates and it seems that it is impossible to scroll the history of the output.
Some relevant discussion: https://stackoverflow.com/a/5779422/3789797