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 pull request #1369 from Tyriar/897_dead_options

Browse Source 
Remove unused options
This commit is contained in:
Daniel Imms
2018-04-16 06:25:18 -07:00
committed by GitHub
parent 83f9d59d91 87f21f14a1
commit ceffb35445
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Terminal.ts
-2
View File
@@ -120,8 +120,6 @@ const DEFAULT_OPTIONS: ITerminalOptions = {
tabStopWidth: 8,
theme: null,
rightClickSelectsWord: Browser.isMac
// programFeatures: false,
// focusKeys: false,
};
export class Terminal extends EventEmitter implements ITerminal, IInputHandlingTerminal {