From a789ec7f4b3360e7f5ba48fb3653bc05fc44d8ea Mon Sep 17 00:00:00 2001
From: Daniel Rotter <github.refurbish959@passinbox.com>
Date: Sat, 26 Jul 2025 22:42:17 +0200
Subject: [PATCH] Use separate color for primary selection in `jetbrains_dark`
 (#12606)

Co-authored-by: Yannic Nuwenhof <ynuwenhof@pm.me>
---
 runtime/themes/jetbrains_dark.toml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/runtime/themes/jetbrains_dark.toml b/runtime/themes/jetbrains_dark.toml
index a9da0de0..68e74333 100644
--- a/runtime/themes/jetbrains_dark.toml
+++ b/runtime/themes/jetbrains_dark.toml
@@ -47,7 +47,8 @@ tag = "red213"
 "ui.menu" = { bg = "blue48" }
 "ui.menu.selected" = { bg = "blue110" }
 "ui.menu.scroll" = { fg = "blue81", bg = "blue48" }
-"ui.selection" = { bg = "blue131" }
+"ui.selection" = { fg = "black", bg = "blue214" }
+"ui.selection.primary" = { bg = "blue131" }
 "ui.cursorline.primary" = { bg = "blue46" }
 "ui.cursorline.secondary" = { bg = "blue46" }
 "ui.cursorcolumn.primary" = { bg = "blue46" }
@@ -96,5 +97,6 @@ blue171 = "#A1A3AB"
 blue173 = "#375fad"
 blue184 = "#2aacb8"
 blue196 = "#bcbec4"
+blue214 = "#ced0d6"
 blue245 = "#56a8f5"
 blue247 = "#57aaf7"
-- 
2.51.2