manpage: mark file-local-options as writable

This commit is contained in:
Guido Cella 2020-09-15 09:30:57 +02:00 committed by wm4
parent b959a22291
commit f825473c7a
1 changed files with 1 additions and 1 deletions

View File

@ -3179,7 +3179,7 @@ Property list
``<name>``, except in situations in which the properties have different
behavior or conflicting semantics.
``file-local-options/<name>``
``file-local-options/<name>`` (RW)
Similar to ``options/<name>``, but when setting an option through this
property, the option is reset to its old value once the current file has
stopped playing. Trying to write an option while no file is playing (or