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 /Copyright | |
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 'Copyright')
0 files changed, 0 insertions, 0 deletions