diff options
| author | wm4 <wm4@nowhere> | 2019-05-31 16:33:20 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2019-09-19 20:37:05 +0200 |
| commit | 0c5df2965ee2406b5440d063c6e6e3c6b88c6e72 (patch) | |
| tree | 71a2555a176098a569cf9660807548163ef51e44 /player/command.c | |
| parent | 8812530b312c8beeaeefdaaa54fc26cf779cb3c2 (diff) | |
| download | mpv-0c5df2965ee2406b5440d063c6e6e3c6b88c6e72.tar.bz2 mpv-0c5df2965ee2406b5440d063c6e6e3c6b88c6e72.tar.xz | |
options: rename --play-direction to --play-dir
And add simpler aliases for the modes.
I'm not sure how to name things, and the option list is in general full
of different conventions. Some names are shortened, some are explicit
and long.
I guess options that have a chance to be used normally (i.e. not obscure
tuning or debugging) should have a short and convenient names.
In this specific case, play-direction is like a mixture of both. It
should be either playback-direction or play-dir, not shorten one word
but not the other.
The convenience aliases are because I got sick of typing out "backward".
I guess "back" would also do it, but there's no proper antonym (and
maybe it's "wrong" in the strict sense of the word).
Diffstat (limited to 'player/command.c')
| -rw-r--r-- | player/command.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/player/command.c b/player/command.c index 7fa8da8fcb..33b60158d4 100644 --- a/player/command.c +++ b/player/command.c @@ -3568,7 +3568,7 @@ static const struct m_property mp_properties_base[] = { {"property-list", mp_property_list}, {"profile-list", mp_profile_list}, - {"play-direction", mp_property_play_direction}, + {"play-dir", mp_property_play_direction}, M_PROPERTY_ALIAS("video", "vid"), M_PROPERTY_ALIAS("audio", "aid"), |