fix theme onelight: ui.picker.header (#13413)

pull/13394/head^2
Erasin Wang 2025-04-26 23:50:01 +08:00 committed by GitHub
parent 52d4d775ce
commit 626407395a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -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" } }