From 9048ded5eb9e8ff8c65684f391e5d1e5c7bf3469 Mon Sep 17 00:00:00 2001
From: tisilent <tisilent@163.com>
Date: Thu, 14 Sep 2023 17:26:30 +0800
Subject: [PATCH] Clear repeat overviewRulerWidth option in demo

---
 demo/client.ts | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/demo/client.ts b/demo/client.ts
index 9daaeacc..a1145ab9 100644
--- a/demo/client.ts
+++ b/demo/client.ts
@@ -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':