Merge pull request #1790 from blink1073/fix-terminal-refresh

Clean up the terminal refresh behavior

src/terminal/widget.ts

@@ -172,7 +172,7 @@ class TerminalWidget extends Widget {
     }
     return this._session.reconnect().then(() => {
       let rows = this._sessionSize[0];
-      this._term.refresh(0, rows - 1);
+      this._term.clear();
     });
   }