From 3c6978c0384df4ae2f7abb050cdb2c4eadcf7b4d Mon Sep 17 00:00:00 2001 From: Johannes Altmanninger Date: Fri, 28 Nov 2025 13:18:02 +0100 Subject: [PATCH] webconfig theme: minor changes to default theme Don't set fish_pager_color_completion, it already falls back to fish_color_normal. Also remove a comment, it's obvious and maybe no longer true, since 8 bit colors are widely available now, see https://github.com/fish-shell/fish-shell/issues/11344#issuecomment-3568265178 Though we prefer 24 bit colors wherever we can. --- share/tools/web_config/themes/fish-default.theme | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/share/tools/web_config/themes/fish-default.theme b/share/tools/web_config/themes/fish-default.theme index 87f0759fc..ac25f9d51 100644 --- a/share/tools/web_config/themes/fish-default.theme +++ b/share/tools/web_config/themes/fish-default.theme @@ -1,7 +1,4 @@ # name: fish default -# NOTE: These should only use named colors -# to give us the maximum chance they are -# visible in whatever terminal setup. fish_color_normal normal fish_color_autosuggestion brblack @@ -27,8 +24,7 @@ fish_color_selection white --background=brblack --bold fish_color_status red fish_color_user brgreen fish_color_valid_path --underline -fish_pager_color_completion normal -fish_pager_color_description yellow -i +fish_pager_color_description yellow --italics fish_pager_color_prefix normal --bold --underline fish_pager_color_progress brwhite --background=cyan --bold fish_pager_color_selected_background -r