diff options
| author |  wm4 <wm4@nowhere> | 2014-08-15 23:32:31 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-08-15 23:32:31 +0200 |
| commit | 318e8da25071a76a3d88944304ae91f6d25d7f43 (patch) | |
| tree | 229bd86f0c63dd381716911824879b004a536b87 /waftools/waf_customizations.py | |
| parent | 364e06261a2ffd39afea1d029d4dcc87ef1d6144 (diff) | |
lua: wake up the core when setting OSD
The OSD is marked as changed, but the core isn't notified and this
doesn't immediately wakeup. (Possibly the OSD code should wakeup the
core instead, but maybe that woudl be overkill.)
Observed when using "mp.use_suspend = false" in the OSC, and pausing,
and moving the mouse pointer out of the window. The last part of the
fade remained visible for longer than intended.
Diffstat (limited to 'waftools/waf_customizations.py')
0 files changed, 0 insertions, 0 deletions