From 2080a441ac496e26a8068e50ee54349e3b9641fe Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Tue, 27 Oct 2015 13:00:19 +0200 Subject: [PATCH] minor: Remove redundant setting of $highlight_glob. --- highlighters/main/main-highlighter.zsh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 166ae57..83f6800 100644 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -144,7 +144,7 @@ _zsh_highlight_main_highlighter() sudo_arg=false else sudo=false - new_expression=true; highlight_glob=true + new_expression=true fi ;; esac @@ -178,7 +178,7 @@ _zsh_highlight_main_highlighter() if [[ $arg[-1] != '(' ]]; then # assignment to a scalar parameter. # (For array assignments, the command doesn't start until the ")" token.) - new_expression=true; highlight_glob=true + new_expression=true fi elif [[ $arg[0,1] == $histchars[0,1] || $arg[0,1] == $histchars[2,2] ]]; then style=$ZSH_HIGHLIGHT_STYLES[history-expansion] @@ -211,7 +211,7 @@ _zsh_highlight_main_highlighter() else # $arg is the file target of a prefix redirection, or a non-command word if $redirection; then redirection=false - new_expression=true; highlight_glob=true + new_expression=true fi case $arg in '--'*) style=$ZSH_HIGHLIGHT_STYLES[double-hyphen-option];;