'main': Update state machine docs. No functional change.

This commit is contained in:
Daniel Shahaf 2016-07-28 08:26:48 +00:00 committed by Daniel Shahaf
parent b8c955d164
commit 6ccba63f21

View File

@ -289,8 +289,9 @@ _zsh_highlight_highlighter_main_paint()
# #
# The states are: # The states are:
# - :start: Command word # - :start: Command word
# - :sudo_opt: A leading-dash option to sudo (such as "-u" or "-i") # - :sudo_opt: A leading-dash option to a precommand, whether it takes an
# - :sudo_arg: The argument to a sudo leading-dash option that takes one, # argument or not. (Example: sudo's "-u" or "-i".)
# - :sudo_arg: The argument to a precommand's leading-dash option,
# when given as a separate word; i.e., "foo" in "-u foo" (two # when given as a separate word; i.e., "foo" in "-u foo" (two
# words) but not in "-ufoo" (one word). # words) but not in "-ufoo" (one word).
# - :regular: "Not a command word", and command delimiters are permitted. # - :regular: "Not a command word", and command delimiters are permitted.