Distinguish editor gutter from background

matklad · May 20, 2023 · 3e0feff · 3e0feff
1 parent 1f4e9ed
commit 3e0feff
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 5 deletions.
diff --git a/src/imp.rs b/src/imp.rs
@@ -69,6 +69,7 @@ fn workspace_colors(t: &mut ThemeBuilder, p: &Palette) {
         ["editorGutter.addedBackground", "minimapGutter.addedBackground"],
         p.green(GUTTER_LIGHTNESS),
     );
+    t.w(["editorGutter.background"], p.greyscale(2));
     t.w(
         ["editorGutter.deletedBackground", "minimapGutter.deletedBackground"],
         p.red(GUTTER_LIGHTNESS),
@@ -82,7 +83,7 @@ fn workspace_colors(t: &mut ThemeBuilder, p: &Palette) {
     t.w(["editorInfo.foreground"], p.blue(0));
     t.w(["editorLightBulb.foreground"], p.yellow(2));
     t.w(["editorLineNumber.activeForeground"], p.greyscale(5));
-    t.w(["editorLineNumber.foreground"], p.greyscale(3));
+    t.w(["editorLineNumber.foreground"], p.greyscale(4));
     t.w(
         ["editorLink.activeForeground", "textLink.foreground", "textLink.activeForeground"],
         p.blue(0),

diff --git a/themes/Pale Fire Darker-color-theme.json b/themes/Pale Fire Darker-color-theme.json
@@ -837,6 +837,7 @@
         "editorGroup.border": "#323232",
         "editorGutter.addedBackground": "#75AE77",
         "minimapGutter.addedBackground": "#75AE77",
+        "editorGutter.background": "#222222",
         "editorGutter.deletedBackground": "#D58485",
         "minimapGutter.deletedBackground": "#D58485",
         "editorGutter.modifiedBackground": "#AF9E51",
@@ -846,7 +847,7 @@
         "editorInfo.foreground": "#74B5E8",
         "editorLightBulb.foreground": "#E2D082",
         "editorLineNumber.activeForeground": "#626262",
-        "editorLineNumber.foreground": "#323232",
+        "editorLineNumber.foreground": "#3E3E3E",
         "editorLink.activeForeground": "#74B5E8",
         "textLink.foreground": "#74B5E8",
         "textLink.activeForeground": "#74B5E8",

diff --git a/themes/Pale Fire High Contrast-color-theme.json b/themes/Pale Fire High Contrast-color-theme.json
@@ -837,6 +837,7 @@
         "editorGroup.border": "#6D6D6D",
         "editorGutter.addedBackground": "#8DB98D",
         "minimapGutter.addedBackground": "#8DB98D",
+        "editorGutter.background": "#505050",
         "editorGutter.deletedBackground": "#D99898",
         "minimapGutter.deletedBackground": "#D99898",
         "editorGutter.modifiedBackground": "#B9AC72",
@@ -846,7 +847,7 @@
         "editorInfo.foreground": "#92C4EC",
         "editorLightBulb.foreground": "#F1E4A8",
         "editorLineNumber.activeForeground": "#C9C9C9",
-        "editorLineNumber.foreground": "#6D6D6D",
+        "editorLineNumber.foreground": "#838383",
         "editorLink.activeForeground": "#92C4EC",
         "textLink.foreground": "#92C4EC",
         "textLink.activeForeground": "#92C4EC",

diff --git a/themes/Pale Fire Stealth-color-theme.json b/themes/Pale Fire Stealth-color-theme.json
@@ -837,6 +837,7 @@
         "editorGroup.border": "#373737",
         "editorGutter.addedBackground": "#89AD89",
         "minimapGutter.addedBackground": "#89AD89",
+        "editorGutter.background": "#2E2E2E",
         "editorGutter.deletedBackground": "#C79292",
         "minimapGutter.deletedBackground": "#C79292",
         "editorGutter.modifiedBackground": "#ACA274",
@@ -846,7 +847,7 @@
         "editorInfo.foreground": "#8BB3D4",
         "editorLightBulb.foreground": "#D3C899",
         "editorLineNumber.activeForeground": "#515151",
-        "editorLineNumber.foreground": "#373737",
+        "editorLineNumber.foreground": "#3D3D3D",
         "editorLink.activeForeground": "#8BB3D4",
         "textLink.foreground": "#8BB3D4",
         "textLink.activeForeground": "#8BB3D4",

diff --git a/themes/Pale Fire-color-theme.json b/themes/Pale Fire-color-theme.json
@@ -837,6 +837,7 @@
         "editorGroup.border": "#636363",
         "editorGutter.addedBackground": "#95B995",
         "minimapGutter.addedBackground": "#95B995",
+        "editorGutter.background": "#505050",
         "editorGutter.deletedBackground": "#D49E9E",
         "minimapGutter.deletedBackground": "#D49E9E",
         "editorGutter.modifiedBackground": "#B9AF80",
@@ -846,7 +847,7 @@
         "editorInfo.foreground": "#9AC3E4",
         "editorLightBulb.foreground": "#EADFAF",
         "editorLineNumber.activeForeground": "#9E9E9E",
-        "editorLineNumber.foreground": "#636363",
+        "editorLineNumber.foreground": "#717171",
         "editorLink.activeForeground": "#9AC3E4",
         "textLink.foreground": "#9AC3E4",
         "textLink.activeForeground": "#9AC3E4",