'main': Restore compatibility with zsh-4.3.14 and older (after e3182c18de8f).

Fixes #368.
This commit is contained in:
Daniel Shahaf 2016-09-23 15:55:06 +00:00
parent e15a09840e
commit a4196eda5e

View file

@ -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