diff options
| author | Blaž Hrastnik | 2022-06-21 16:38:21 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-21 16:38:21 +0000 |
| commit | 458b89e21dcf76bbf9ca6ba237bd334f4922722d (patch) | |
| tree | f859642d007db7274d3cd657ecaa59b1ec014cd8 /runtime/themes/monokai_pro.toml | |
| parent | 5f7c247430998fabceb55d4689118dd75e2bdfb1 (diff) | |
| parent | 6a3f7f2c399f0b92cef97b0c85ebe976fd7cfcac (diff) | |
Merge branch 'master' into test-harness
Diffstat (limited to 'runtime/themes/monokai_pro.toml')
| -rw-r--r-- | runtime/themes/monokai_pro.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/themes/monokai_pro.toml b/runtime/themes/monokai_pro.toml index 5580a33c..7c457d45 100644 --- a/runtime/themes/monokai_pro.toml +++ b/runtime/themes/monokai_pro.toml @@ -6,7 +6,7 @@ "ui.text.focus" = { fg = "yellow", modifiers= ["bold"] } "ui.menu" = { fg = "base8", bg = "base3" } "ui.menu.selected" = { fg = "base2", bg = "yellow" } -"ui.virtual" = "base5" +"ui.virtual.whitespace" = "base5" "info" = "base8" "hint" = "base8" |