From a4196eda5e6fea29bf3cc70a17bf3bd2dd2eea95 Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Fri, 23 Sep 2016 15:55:06 +0000 Subject: [PATCH] 'main': Restore compatibility with zsh-4.3.14 and older (after e3182c18de8f). Fixes #368. --- highlighters/main/main-highlighter.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 50408a0..af0ee67 100644 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -176,7 +176,7 @@ _zsh_highlight_highlighter_main_paint() if [[ -o interactive_comments ]]; then local interactive_comments= # set to empty fi - if [[ -o ignore_braces ]] || [[ -o ignore_close_braces ]]; then + if [[ -o ignore_braces ]] || eval '[[ -o ignore_close_braces ]] 2>/dev/null'; then local right_brace_is_recognised_everywhere=false else local right_brace_is_recognised_everywhere=true