0
0
mirror of https://github.com/mpv-player/mpv.git synced 2024-09-20 20:03:10 +02:00
mpv/player/lua
Avi Halachmi (:avih) 86093fcae7 lua/js: remove user-data helpers
This reverts:
  3fb4140c lua/defaults: add user_data helpers
  68a20e7a javascript/defaults: add user_data helpers
  00510379 lua/js: fix user_data_del util function

As well as the lua/js parts of:
  3ec2a098 docs: document new user-data property

user-data and its sub-properties can be set/get/observed/deleted
via the standard properties interface, so there's no need for
additional helpers specific to user-data, which only added maintenance
burden.
2023-01-29 01:52:31 +02:00
..
assdraw.lua osc: improve look of seekranges 2019-09-02 01:11:04 +03:00
auto_profiles.lua auto_profiles.lua: don't warn if profile-restore=default 2022-01-30 15:13:10 +02:00
console.lua console: add history deduplication 2022-11-03 13:30:58 +01:00
defaults.lua lua/js: remove user-data helpers 2023-01-29 01:52:31 +02:00
options.lua options.lua: remove unused function 2022-04-08 19:20:49 +03:00
osc.lua osc: don't spam window-controls bindings on every render 2022-11-29 16:40:36 +00:00
stats.lua various: remove trailing whitespace 2022-05-14 14:51:34 +00:00
ytdl_hook.lua ytdl_hook: reverse order of tracks 2022-11-01 09:54:33 -04:00