'main': Fix bug: no start_pos=$end_pos in comment short path

This commit is contained in:
Sebastian Gniazdowski 2016-11-02 10:58:15 +01:00
parent a053768627
commit 5625e30b87

View file

@ -373,6 +373,7 @@ _zsh_highlight_highlighter_main_paint()
fi
_zsh_highlight_main_add_region_highlight $start_pos $end_pos $style
already_added=1
start_pos=$end_pos
continue
fi