'main': Write the "remainder" of the sentence in a comment. No functional change.

2018-01-12 13:38:06 +00:00 · 2018-01-12 13:38:06 +00:00 · 82c39716eb
commit 82c39716eb
parent a2e993c59f
1 changed files with 3 additions and 1 deletions
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@ -568,7 +568,9 @@ _zsh_highlight_main_highlighter_highlight_list()
          next_word+=':start:'
          next_word+=':sudo_opt:'
        else
-          #
+          # Not an option flag; nothing to do.  (If the command line is
+          # syntactically valid, ${this_word//:sudo_opt:/} should be
+          # non-empty now.)
        fi
      elif [[ $this_word == *':sudo_arg:'* ]]; then
        next_word+=':sudo_opt:'