Merge pull request #761 from Tyriar/760_erase_in_display_scroll_bar

Ensure scroll bar is refreshed after erase all in display
This commit is contained in:
Daniel Imms
2017-07-13 08:48:09 -07:00
committed by GitHub
+2
View File
@@ -397,6 +397,8 @@ export class InputHandler implements IInputHandler {
this._terminal.lines.trimStart(scrollBackSize);
this._terminal.ybase = Math.max(this._terminal.ybase - scrollBackSize, 0);
this._terminal.ydisp = Math.max(this._terminal.ydisp - scrollBackSize, 0);
// Force a scroll event to refresh viewport
this._terminal.emit('scroll', 0);
}
break;
}