Merge remote-tracking branch 'upstream/master' into pr/jerch/3524

2026-08-05 13:43:48 -07:00 · 2021-12-22 08:56:36 -08:00
parent 3cc9994a7d df548e1106
commit e635b3d507
1 changed files with 1 additions and 1 deletions
@@ -293,7 +293,7 @@ function initOptions(term: TerminalType): void {
    rendererType: ['dom', 'canvas'],
    wordSeparator: null
  };
-  const options = Object.keys(term.options);
+  const options = Object.getOwnPropertyNames(term.options);
  const booleanOptions = [];
  const numberOptions = [];
  options.filter(o => blacklistedOptions.indexOf(o) === -1).forEach(o => {