From 4194977569e97dded2ebe65131715d90087570d0 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Mon, 30 Aug 2021 17:32:55 +0200 Subject: [PATCH] Prompt demo: Only the unmatched quote is an error The text after is normal quoted text since 822b53c67a70ff923ba0370d763e44532e2c4c44. We might want to find nicer error text. Fixes #8260. --- share/functions/fish_config.fish | 2 +- share/tools/web_config/partials/colors.html | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/share/functions/fish_config.fish b/share/functions/fish_config.fish index 113bd73c6..5b08b3254 100644 --- a/share/functions/fish_config.fish +++ b/share/functions/fish_config.fish @@ -162,7 +162,7 @@ function fish_config --description "Launch fish's web based configuration" set_color normal echo -ns (set_color $fish_color_command) echo echo -ns (set_color normal) ' ' - echo -s (set_color $fish_color_error) "'Errors are the portal to discovery" + echo -s (set_color $fish_color_error) "'" (set_color $fish_color_quote) "Errors are the portal to discovery" set_color normal echo -ns (set_color $fish_color_command) Th set_color normal diff --git a/share/tools/web_config/partials/colors.html b/share/tools/web_config/partials/colors.html index cdf21f297..19a7f8ebd 100644 --- a/share/tools/web_config/partials/colors.html +++ b/share/tools/web_config/partials/colors.html @@ -65,7 +65,11 @@ fish cannot change the background color of your terminal. Refer to your terminal ng-mouseenter="csHoveredType = 'error'" ng-mouseleave="csHoveredType = false" data-ng-style="{ 'color': interpret_color(selectedColorScheme.error)}" - ng-click="selectColorSetting('error')">'Errors are the portals to discovery + ng-click="selectColorSetting('error')">'Errors are the portals to discovery