Introduce options service

2019-06-01 09:29:11 -07:00
parent 343d4c3348
commit 3ba7069787
12 changed files with 361 additions and 252 deletions
@@ -1366,7 +1366,7 @@ describe('Buffer', () => {
      const input = '\thttps://google.de';
      terminal.writeSync(input);
      const s = terminal.buffer.iterator(true).next().content;
-      assert.equal(s, Array(terminal.getOption('tabStopWidth') + 1).join(' ') + 'https://google.de');
+      assert.equal(s, Array(terminal.options.tabStopWidth + 1).join(' ') + 'https://google.de');
    });
  });
  describe('BufferStringIterator', function(): void {