1
0
mirror of https://github.com/mpv-player/mpv synced 2025-01-25 09:03:15 +00:00
mpv/DOCS
Avi Halachmi (:avih) 3abb23d70f command: don't hardcode commands list to be repeatable
Previously, a list of commands was always considered repeatable.

This behavior was added at 6710527a (and moved around since then),
in order to fix #807 (impossible to make a repeatable list).

The problem was that a list doesn't have the normal repeatability
flags and so it was never repeatable, so it was hardcoded to be
repeatable instead. Presumably it was deemed good enough.

However, this made it impossible to have a non-repeatable list.

This commit changes the behavior so that a list repeatability is
that of the first command at the list.

This way, any list can be made either repeatable or non-repeatable
using the following idiom (e.g. at input.conf), based on the fact
that the "ignore" command is not repeatable by default:

  x            ignore; cmd1...; cmd2...   # non-repeatable
  y repeatable ignore; cmd1...; cmd2...   # repeatable

Fixes #7841
2021-08-17 22:45:39 +03:00
..
man command: don't hardcode commands list to be repeatable 2021-08-17 22:45:39 +03:00
client-api-changes.rst client API: inactivate the opengl_cb API 2020-09-03 14:52:11 +02:00
compatibility.rst
compile-windows.md DOCS: convert 3rd party http links to https 2021-08-17 13:42:21 +00:00
contribute.md DOCS/contrinute: add commit title example prefixes 2021-08-15 22:15:27 +03:00
edl-mpv.rst edl: add a way to add tags 2021-05-11 22:18:40 +02:00
encoding.rst DOCS/encoding.rst: remove deprecated usage of multiple items with *-add 2020-01-07 18:13:12 +01:00
interface-changes.rst command: make current-window-scale writeable, 2nd attempt 2021-08-07 17:30:19 +03:00
mplayer-changes.rst DOCS: convert mpv.io and github links to https 2021-08-17 13:42:21 +00:00
release-policy.md
tech-overview.txt options: change option macros and all option declarations 2020-03-18 19:52:01 +01:00
waf-buildsystem.rst DOCS: replace dead waf book link with working one 2021-08-17 13:42:21 +00:00