From ae5b9b2dc9efbd9f26d188be3784ae6184ac10d7 Mon Sep 17 00:00:00 2001 From: Matthew Martin Date: Sun, 25 Mar 2018 21:43:40 -0500 Subject: [PATCH] main: Set redirection style when recognizing the redirection --- highlighters/main/main-highlighter.zsh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index c9d5050..1289fec 100644 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -569,6 +569,7 @@ _zsh_highlight_main_highlighter_highlight_list() already_added=1 else in_redirection=2 + style=redirection fi fi @@ -751,8 +752,6 @@ _zsh_highlight_main_highlighter_highlight_list() else style=unknown-token fi - elif (( in_redirection == 2 )); then - style=redirection elif [[ $arg[1,2] == '((' ]]; then # Arithmetic evaluation. # @@ -841,8 +840,6 @@ _zsh_highlight_main_highlighter_highlight_list() else style=unknown-token fi - elif (( in_redirection == 2 )); then - style=redirection else _zsh_highlight_main_highlighter_highlight_argument 1 already_added=1