From 7f5e72dbdb104c368d6b1d587cbd4f04f8e6cbd8 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Wed, 5 Jul 2017 13:06:10 -0700 Subject: [PATCH 1/2] Ensure scroll bar is refreshed after erase all in display Fixes #760 --- src/InputHandler.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/InputHandler.ts b/src/InputHandler.ts index 34131a15..368a82b8 100644 --- a/src/InputHandler.ts +++ b/src/InputHandler.ts @@ -392,6 +392,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.scrollDisp(0); } break; } From 729f646a280972d82c240a0f7683027461dac301 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Thu, 6 Jul 2017 22:28:33 -0700 Subject: [PATCH 2/2] Use emit directly due to #766 --- src/InputHandler.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/InputHandler.ts b/src/InputHandler.ts index 368a82b8..43958717 100644 --- a/src/InputHandler.ts +++ b/src/InputHandler.ts @@ -393,7 +393,7 @@ export class InputHandler implements IInputHandler { 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.scrollDisp(0); + this._terminal.emit('scroll', 0); } break; }