style(themes): Modify the gutter border-right style.

uiwjs · Dec 7, 2022 · 64b5993 · 64b5993
1 parent 97fd59a
commit 64b5993
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/themes/bbedit/src/index.ts b/themes/bbedit/src/index.ts
@@ -14,6 +14,7 @@ export const bbeditInit = (options?: CreateThemeOptions) => {
       gutterBackground: '#f5f5f5',
       gutterForeground: '#4D4D4C',
       lineHighlight: '#00000012',
+      gutterBorder: 'transparent',
       ...settings,
     },
     styles: [

diff --git a/themes/duotone/src/index.ts b/themes/duotone/src/index.ts
@@ -19,6 +19,7 @@ export const duotoneLightInit = (options?: CreateThemeOptions) => {
       gutterBackground: '#faf8f5',
       gutterForeground: '#cdc4b1',
       lineHighlight: '#EFEFEF',
+      gutterBorder: 'transparent',
       ...settings,
     },
     styles: [

diff --git a/themes/eclipse/src/index.ts b/themes/eclipse/src/index.ts
@@ -14,6 +14,7 @@ export const eclipseInit = (options?: CreateThemeOptions) => {
       gutterBackground: '#f7f7f7',
       gutterForeground: '#999',
       lineHighlight: '#e8f2ff',
+      gutterBorder: 'transparent',
       ...settings,
     },
     styles: [