Recycle buffer lines#1731

Merged

jerch merged 18 commits intoxtermjs:masterfrom

jerch:reuse_bufferlines

Nov 22, 2018

Commits on Oct 9, 2018

new approach
jerch
committed

Commits on Oct 10, 2018

better integration and experimentalPushRecycling option
jerch
committed

Commits on Oct 11, 2018

Merge branch 'demo_buffer' into reuse_bufferlines
jerch
committed

Commits on Oct 22, 2018

Commits on Oct 26, 2018

Commits on Oct 30, 2018

Commits on Nov 6, 2018

Commits on Nov 15, 2018

Merge branch 'master' into reuse_bufferlines
jerch
committed

Commits on Nov 20, 2018

Commits on Nov 22, 2018