From 42e2616f35cd55682becb03821b51e061bfce294 Mon Sep 17 00:00:00 2001 From: xuyue <517252939@qq.com> Date: Wed, 12 Apr 2023 08:41:59 +0800 Subject: [PATCH] fix themes. --- src/shared/themes/createTheme.ts | 3 +++ src/shared/themes/oneDark.ts | 20 -------------------- src/shared/themes/smoothy.ts | 1 + 3 files changed, 4 insertions(+), 20 deletions(-) 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: [