Commit 06175b71433bc42edc07d342e6354035e37fb5fd
2021-06-15T14:33:27
Remove unneeded buffer clear_output / remove_output calls Made sure clear_output is always paired with swap_buffers. Trying to see if we can move towards RAII-like buffer iterators instead of the buffer keeping an iterator internally.