12:15:46jackdanielI think that we can win big if we buffer all output during recording phase (instead of drawing it through) and replay visible output it in the end.
12:16:08jackdanielbut that is an optimization for time when I have time for it
12:22:41beachThat would not be so great. If there is lots of output then there will be a long pause before anything becomes visible.
12:23:53beachInstead it would be interesting to see whether it would be possible to do something similar to what gilberth is doing in that demo that we saw some time ago.