From d41b4639f74c346f3eca737241b571f04083ea11 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Mon, 1 Nov 2021 22:02:55 +0100 Subject: [PATCH] Also turn off $fish_color_option (technically introduced after this) --- share/tools/web_config/themes/none.theme | 1 + 1 file changed, 1 insertion(+) diff --git a/share/tools/web_config/themes/none.theme b/share/tools/web_config/themes/none.theme index 639a3acfa..3297c5811 100644 --- a/share/tools/web_config/themes/none.theme +++ b/share/tools/web_config/themes/none.theme @@ -16,6 +16,7 @@ fish_color_keyword fish_color_match fish_color_normal normal fish_color_operator +fish_color_option fish_color_param fish_color_quote fish_color_redirection