diff options
| author | John Hawthorn <john.hawthorn@gmail.com> | 2013-06-15 20:42:26 -0700 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2013-06-16 06:17:44 +0200 |
| commit | f2cd4a0e750fc3f1a642f8389e9d95c38868f588 (patch) | |
| tree | 06c6b5cda338f0459a5d8c49509f44e115f35227 /video | |
| parent | a07b99540c7b19b271d60c00f435895e01b2de17 (diff) | |
| download | mpv-f2cd4a0e750fc3f1a642f8389e9d95c38868f588.tar.bz2 mpv-f2cd4a0e750fc3f1a642f8389e9d95c38868f588.tar.xz | |
mplayer: update window title if its properties change
This allows having properties like time-pos in the window title update
properly. There is a danger of this causing significant CPU usage,
depending on the properties used and the window manager.
Diffstat (limited to 'video')
0 files changed, 0 insertions, 0 deletions