'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 · f66887c023
commit f66887c023
parent 2c15b0e996
1 changed files with 3 additions and 1 deletions
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@ -528,7 +528,9 @@ _zsh_highlight_highlighter_main_paint()
          next_word+=':start:'
          next_word+=':sudo_opt:'
        else
-          #
+          # Not an option flag; nothing to do.  (If the command line is
+          # syntactically valid, ${this_state//:sudo_opt:/} should be
+          # non-empty now.)
        fi
      elif [[ $this_word == *':sudo_arg:'* ]]; then
        next_word+=':sudo_opt:'