From f03d0858cc143ca60d37ee0bf6b05ff561d413b3 Mon Sep 17 00:00:00 2001 From: Simon Lamon Date: Tue, 11 Jan 2022 11:58:53 +0000 Subject: [PATCH] fix linting error --- src/headless/public/Terminal.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/headless/public/Terminal.ts b/src/headless/public/Terminal.ts index 0de5c54d..9aa171a4 100644 --- a/src/headless/public/Terminal.ts +++ b/src/headless/public/Terminal.ts @@ -15,7 +15,7 @@ import { ITerminalOptions } from 'common/Types'; /** * The set of options that only have an effect when set in the Terminal constructor. */ - const CONSTRUCTOR_ONLY_OPTIONS = ['cols', 'rows']; +const CONSTRUCTOR_ONLY_OPTIONS = ['cols', 'rows']; export class Terminal implements ITerminalApi { private _core: TerminalCore;