From 87f21f14a1f59286f272b22bc396d540d01ba636 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Wed, 4 Apr 2018 11:20:25 -0700 Subject: [PATCH] Remove unused options Fixes #897 --- src/Terminal.ts | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/Terminal.ts b/src/Terminal.ts index e441a5b4..cfbf8025 100644 --- a/src/Terminal.ts +++ b/src/Terminal.ts @@ -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 {