fix themes.

2023-04-12 08:41:59 +08:00
parent efc9413ce6
commit 42e2616f35
3 changed files with 4 additions and 20 deletions
--- a/src/shared/themes/createTheme.ts
+++ b/src/shared/themes/createTheme.ts
@@ -60,6 +60,8 @@ interface Settings {
   * Text color inside gutter.
   */
  gutterForeground: string
+
+  gutterBorderRight: string
 }

 export const createTheme = ({
@@ -89,6 +91,7 @@ export const createTheme = ({
      },
      ".cm-gutters": {
        backgroundColor: settings.gutterBackground,
+        borderRight: settings.gutterBorderRight,
        color: settings.gutterForeground,
      },
      ".cm-activeLineGutter": {