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 #4803 from tisilent/clear-repeat-overviewRulerWidth

Browse Source 
Clear repeat overviewRulerWidth option in demo
This commit is contained in:
Daniel Imms
2023-09-14 12:52:44 -07:00
committed by GitHub
parent 1618092b91 9048ded5eb
commit 0e66d608a1
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/client.ts
+1 -3
View File
@@ -460,9 +460,7 @@ function initOptions(term: TerminalType): void {
};
const options = Object.getOwnPropertyNames(term.options);
const booleanOptions = [];
const numberOptions = [
'overviewRulerWidth'
];
const numberOptions = [];
options.filter(o => blacklistedOptions.indexOf(o) === -1).forEach(o => {
switch (typeof term.options[o]) {
case 'boolean':