diff options
| author | wm4 <wm4@nowhere> | 2014-08-28 17:35:50 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-08-28 17:49:09 +0200 |
| commit | fb1266c98b409e0ff9a2c6bb2422879132b3922d (patch) | |
| tree | 32b39734b2daf8750ee94d762f3c01b35f3735d5 /DOCS | |
| parent | f9f436a49093bed07e9a14ad2c7b974bb7e32f36 (diff) | |
| download | mpv-fb1266c98b409e0ff9a2c6bb2422879132b3922d.tar.bz2 mpv-fb1266c98b409e0ff9a2c6bb2422879132b3922d.tar.xz | |
player: update cache state only if requested
Add a mechanism to the client API code, which allows the player core to
query whether a client API event is needed at all. Use it for the cache
update.
In this case, this is probably a pure microoptimization; but the
mechanism will be useful for other things too.
Diffstat (limited to 'DOCS')
0 files changed, 0 insertions, 0 deletions