From e500ca246286e15789869de98dfa70d78574cdb0 Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Sun, 14 Feb 2016 17:34:53 +0200 Subject: [PATCH] 'main': Don't highlight in vared This is a continuation of 451665cb2a8ba80626aab295c88d23d0f341ea6c which did the same for the $PS3 prompt. Reported-by: Sebastian Gniazdowski --- highlighters/main/main-highlighter.zsh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 43163a7..981d3bd 100644 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -108,12 +108,12 @@ _zsh_highlight_main_highlighter() emulate -L zsh setopt localoptions extendedglob bareglobqual - # At the PS3 prompt, highlight nothing. + # At the PS3 prompt and in vared, highlight nothing. # # (We can't check this in _zsh_highlight_main_highlighter_predicate because # if the predicate returns false, the previous value of region_highlight # would be reused.) - if [[ $CONTEXT == 'select' ]]; then + if [[ $CONTEXT == (select|vared) ]]; then return fi