From 9be810fd01f495c795ab5e5b7240a32708d19f5c Mon Sep 17 00:00:00 2001
From: Christoph Horn
Date: Fri, 6 May 2022 14:07:22 +0200
Subject: add missing `ui.menu` to themes, fix issues with some themes

---
 runtime/themes/monokai_pro.toml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'runtime/themes/monokai_pro.toml')

diff --git a/runtime/themes/monokai_pro.toml b/runtime/themes/monokai_pro.toml
index b28f700c..5580a33c 100644
--- a/runtime/themes/monokai_pro.toml
+++ b/runtime/themes/monokai_pro.toml
@@ -4,6 +4,7 @@
 
 "ui.linenr.selected" = { bg = "base3" }
 "ui.text.focus" = { fg = "yellow", modifiers= ["bold"] }
+"ui.menu" = { fg = "base8", bg = "base3" }
 "ui.menu.selected" = { fg = "base2", bg = "yellow" }
 "ui.virtual" = "base5"
 
-- 
cgit v1.2.3-70-g09d2