changeset 6740:45365fd5b445

fix theme onelight: ui.picker.header (#13413)
author Erasin Wang <erasinoo@gmail.com>
date Sat, 26 Apr 2025 23:50:01 +0800
parents 423233883798
children a64c4268b0bb
files runtime/themes/onelight.toml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/runtime/themes/onelight.toml	Sat Apr 26 23:35:31 2025 +0800
+++ b/runtime/themes/onelight.toml	Sat Apr 26 23:50:01 2025 +0800
@@ -162,7 +162,7 @@
 "ui.highlight" = { bg = "grey-300" }
 
 "ui.picker.header" = { fg = "purple"}
-"ui.picker.header.active" = { fg = "blue"}
+"ui.picker.header.column.active" = { fg = "blue"}
 
 "diagnostic.info" = { underline = { color = "blue", style = "dotted" } }
 "diagnostic.hint" = { underline = { color = "green", style = "dashed" } }