mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-25 20:49:49 +08:00
Rename both the option and property to "osd-level", which fits a bit better with the general naming scheme. Make it a choice instead of an integer range. I failed to come up with good names for the various levels, so leave them as-is. Remove the useless property handler for the "loop" property too.