diff options
| author | Jonathan Lebon | 2023-01-24 23:23:09 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-24 23:23:09 +0000 |
| commit | 4726ae9df65821b0bdccb73e2355ede746433cd6 (patch) | |
| tree | 01d519e8f502b590cb9ae7ab46ef848eca4b32f2 | |
| parent | e83ce7224063afc52d44f9c2b68e3c5a03412f5c (diff) | |
Sonokai theme: style secondary selections differently (#5440)
Without styling the primary and secondary selections differently, it's
impossible to tell them apart when cycling through selections.
Make the primary selection slightly brighter and secondary selections
slightly paler.
| -rw-r--r-- | runtime/themes/sonokai.toml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/runtime/themes/sonokai.toml b/runtime/themes/sonokai.toml index 06aff50b..f60bd4db 100644 --- a/runtime/themes/sonokai.toml +++ b/runtime/themes/sonokai.toml @@ -56,7 +56,8 @@ "ui.cursor.match" = { fg = "orange", bg = "diff_yellow" } "ui.cursor.insert" = { fg = "black", bg = "grey" } "ui.cursor.select" = { fg = "bg0", bg = "blue" } -"ui.selection" = { bg = "bg4" } +"ui.selection" = { bg = "bg5" } +"ui.selection.primary" = { bg = "bg4" } "ui.linenr" = "grey" "ui.linenr.selected" = "fg" "ui.cursorline.primary" = { bg = "bg1" } @@ -91,7 +92,8 @@ bg0 = "#2c2e34" bg1 = "#33353f" bg2 = "#363944" bg3 = "#3b3e48" -bg4 = "#545862" +bg4 = "#5C606A" +bg5 = "#444852" bg_red = "#ff6077" diff_red = "#55393d" bg_green = "#a7df78" |