waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'ups/master' into feature-778

Browse Source
This commit is contained in:
Daniel Imms
2018-01-28 17:25:46 -08:00
parent e6c6e0766a db95442af6
commit a6a4bf0817
11 changed files with 60 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files
fixtures/typings-test/typings-test.ts
+3 -1
View File
@@ -147,7 +147,8 @@ namespace methods_core {
const r23: boolean = t.getOption('macOptionIsMeta');
const r24: string = t.getOption('fontWeight');
const r25: string = t.getOption('fontWeightBold');
const r26: boolean = t.getOption('rightClickSelectsWord');
const r26: boolean = t.getOption('allowTransparency');
const r27: boolean = t.getOption('rightClickSelectsWord');
}
{
const t: Terminal = new Terminal();
@@ -168,6 +169,7 @@ namespace methods_core {
t.setOption('popOnBell', true);
t.setOption('screenKeys', true);
t.setOption('useFlowControl', true);
t.setOption('allowTransparency', true);
t.setOption('visualBell', true);
t.setOption('colors', ['a', 'b']);
t.setOption('letterSpacing', 1);