diff --git a/src/shared/themes/createTheme.ts b/src/shared/themes/createTheme.ts index 15257ec..8df8e94 100644 --- 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": { diff --git a/src/shared/themes/oneDark.ts b/src/shared/themes/oneDark.ts index 1765325..716eeac 100644 --- a/src/shared/themes/oneDark.ts +++ b/src/shared/themes/oneDark.ts @@ -22,26 +22,6 @@ const chalky = "#e5c07b", selection = "#3E4451", cursor = "#528bff" -/// The colors used in the theme, as CSS color strings. -const color = { - chalky, - coral, - cyan, - invalid, - ivory, - stone, - malibu, - sage, - whiskey, - violet, - darkBackground, - highlightBackground, - background, - tooltipBackground, - selection, - cursor, -} - /// The editor theme styles for One Dark. const oneDarkTheme = EditorView.theme( { diff --git a/src/shared/themes/smoothy.ts b/src/shared/themes/smoothy.ts index a2a98d0..b58cdc6 100644 --- a/src/shared/themes/smoothy.ts +++ b/src/shared/themes/smoothy.ts @@ -11,6 +11,7 @@ export const smoothy = createTheme({ selection: "#FFFD0054", gutterBackground: "#FFFFFF", gutterForeground: "#00000070", + gutterBorderRight: "none", lineHighlight: "#00000008", }, styles: [