diff options
author | Philip Sequeira <phsequei@gmail.com> | 2014-06-29 01:54:48 -0400 |
---|---|---|
committer | Alessandro Ghedini <alessandro@ghedini.me> | 2014-07-03 11:03:56 +0200 |
commit | bbc005825a60c792e550b2437283ebdc21128588 (patch) | |
tree | d4d12c7ac207056bb1b1f16e59f3b3b3063a2a54 /sub | |
parent | fd09578f0f88e6c729b4e60b19d484c5400da451 (diff) | |
download | mpv-bbc005825a60c792e550b2437283ebdc21128588.tar.bz2 mpv-bbc005825a60c792e550b2437283ebdc21128588.tar.xz |
TOOLS/zsh.pl: don't consume extra arguments
Completion now uses "--opt=value" instead of "--opt value". Once the
user presses space and starts a new argument, the option just
completed is out of the picture, whether or not it was given an
argument. This handles options with no arguments or optional arguments
much better; previously, completing such an option would effectively
disable completion for the next argument.
Custom completed options such as "--ao" and friends will no longer
claim to consume an extra argument.
Diffstat (limited to 'sub')
0 files changed, 0 insertions, 0 deletions