'main': Don't consider «$*» a glob.

2017-02-11 23:49:13 +00:00
parent 9523d6d49c
commit 237f89ad62
2 changed files with 37 additions and 0 deletions
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@@ -658,6 +658,7 @@ _zsh_highlight_highlighter_main_paint()
                 already_added=1
                 ;;
        '`'*)    style=back-quoted-argument;;
+        [$][*])  style=default;;
        [*?]*|*[^\\][*?]*)
                 $highlight_glob && style=globbing || style=default;;
        *)       if false; then