diff options
| author | wm4 <wm4@nowhere> | 2020-05-09 22:36:06 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2020-05-09 22:36:06 +0200 |
| commit | 327302bdb97665f7a3f3eb813b1abe64a892e807 (patch) | |
| tree | 740ce1d24b738de0f3c28447ddf31649c03562b9 /player/external_files.c | |
| parent | 0e3f8936062967a9dbea78c36d06b9d4e01cf698 (diff) | |
| download | mpv-327302bdb97665f7a3f3eb813b1abe64a892e807.tar.bz2 mpv-327302bdb97665f7a3f3eb813b1abe64a892e807.tar.xz | |
options: update OSD when writing some OSD-related options
Just the usual change notification mess.
Fixes: #7697
Diffstat (limited to 'player/external_files.c')
0 files changed, 0 insertions, 0 deletions