From 2d4f94eb276bb6519bebcb6aa11e78d92ed9ea11 Mon Sep 17 00:00:00 2001 From: Kirawi <67773714+kirawi@users.noreply.github.com> Date: Thu, 7 Apr 2022 22:08:16 -0400 Subject: [PATCH] [dark_plus] update tag and ui.menu.selected colors (#2014) --- runtime/themes/dark_plus.toml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/runtime/themes/dark_plus.toml b/runtime/themes/dark_plus.toml index 386401228088..42032be27b58 100644 --- a/runtime/themes/dark_plus.toml +++ b/runtime/themes/dark_plus.toml @@ -13,6 +13,7 @@ "keyword.directive" = { fg = "blue2" } "keyword.control" = { fg = "special" } "label" = { fg = "blue2" } +"tag" = "blue2" "special" = { fg = "text" } "operator" = { fg = "text" } @@ -57,7 +58,8 @@ "ui.window" = { bg = "widget" } "ui.popup" = { bg = "widget" } "ui.help" = { bg = "widget" } -"ui.menu.selected" = { bg = "widget" } +"ui.menu" = { bg = "widget" } +"ui.menu.selected" = { bg = "dark_blue2" } # TODO: Alternate bg colour for `ui.cursor.match` and `ui.selection`. "ui.cursor" = { fg = "cursor", modifiers = ["reversed"] } @@ -100,6 +102,7 @@ blue2 = "#569CD6" blue3 = "#6796E6" light_blue = "#75beff" dark_blue = "#264f78" +dark_blue2 = "#094771" red = "#ff1212" type = "#4EC9B0"