diff --git a/demo/client.ts b/demo/client.ts index 03a9044c..c291dd6f 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -315,7 +315,9 @@ function initOptions(term: TerminalType): void { }; const options = Object.getOwnPropertyNames(term.options); const booleanOptions = []; - const numberOptions = []; + const numberOptions = [ + 'overviewRulerWidth' + ]; options.filter(o => blacklistedOptions.indexOf(o) === -1).forEach(o => { switch (typeof term.options[o]) { case 'boolean': @@ -325,7 +327,7 @@ function initOptions(term: TerminalType): void { numberOptions.push(o); break; default: - if (Object.keys(stringOptions).indexOf(o) === -1) { + if (Object.keys(stringOptions).indexOf(o) === -1 && numberOptions.indexOf(o) === -1 && booleanOptions.indexOf(o) === -1) { console.warn(`Unrecognized option: "${o}"`); } } @@ -338,7 +340,7 @@ function initOptions(term: TerminalType): void { }); html += '