Merge branch 'master' into utf32_buffer

2019-01-27 19:02:09 +01:00
parent 4f531f8490 cc531f1933
commit acea73c8ac
23 changed files with 1536 additions and 216 deletions
@@ -45,8 +45,8 @@ describe('SelectionManager', () => {

  beforeEach(() => {
    terminal = new TestMockTerminal();
-    terminal.cols = 80;
-    terminal.rows = 2;
+    (terminal as any).cols = 80;
+    (terminal as any).rows = 2;
    terminal.options.scrollback = 100;
    terminal.buffers = new BufferSet(terminal);
    terminal.buffer = terminal.buffers.active;