cleanup: remove COQ highlights

This commit is contained in:
David JULIEN 2023-01-09 18:00:16 +01:00
parent a13015ab60
commit 8139cd14f0
1 changed files with 0 additions and 6 deletions

View File

@ -221,12 +221,6 @@ function M.load_colors(scheme)
CmpItemKindKeyword = { fg = scheme.orange, bg = scheme.none, scheme.none },
CmpItemKindFunction = { fg = scheme.blue, bg = scheme.none, scheme.none },
CmpItemKindMethod = { link = "CmpItemKindFunction" },
----------------
-- COQ COLORS --
----------------
CoqtailChecked = { fg = scheme.none, bg = static.coq_checked, scheme.none },
CoqtailSent = { fg = scheme.none, bg = static.coq_sent, scheme.none },
}
terminal_colors(scheme)