diff options
author | Michael Davis | 2022-04-01 20:28:34 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-04-20 02:37:23 +0000 |
commit | 1525e3c6c846fc3dc4d4a68768105762f5abb376 (patch) | |
tree | 571ed1b8204d86c77df91444fbb42df131ea76ca /runtime/themes/monokai_pro_machine.toml | |
parent | e6b865ed0b1b77934733d86b59d60870e9f5881f (diff) |
theme ui.virtual capture for existing themes
Diffstat (limited to 'runtime/themes/monokai_pro_machine.toml')
-rw-r--r-- | runtime/themes/monokai_pro_machine.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/themes/monokai_pro_machine.toml b/runtime/themes/monokai_pro_machine.toml index c5890042..8d493f1e 100644 --- a/runtime/themes/monokai_pro_machine.toml +++ b/runtime/themes/monokai_pro_machine.toml @@ -5,6 +5,7 @@ "ui.linenr.selected" = { bg = "base3" } "ui.text.focus" = { fg = "yellow", modifiers= ["bold"] } "ui.menu.selected" = { fg = "base2", bg = "yellow" } +"ui.virtual" = "base5" "info" = "base8" "hint" = "base8" |