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 /runtime | |
| 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.
Diffstat (limited to 'runtime')
| -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" |