Fill lines inserted from scrolling with erase attributes#1706
Merged
jerch merged 2 commits intoxtermjs:masterfrom Oct 24, 2018
Merged
Fill lines inserted from scrolling with erase attributes#1706jerch merged 2 commits intoxtermjs:masterfrom
jerch merged 2 commits intoxtermjs:masterfrom