There's no reason why the output should be damaged here. The current buffer doesn't need to be re-painted.
parent
ef5e2cc5e3
commit
4452ed0651
Loading…
Reference in new issue