diff options
| author | nicm <nicm> | 2017-07-14 08:04:23 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2017-07-14 08:04:23 +0000 |
| commit | 2678fe53f57c4a3222780c76a7201f4300058e59 (patch) | |
| tree | 90325aa887a3b503bcbb78822fdc2d109324fec1 /job.c | |
| parent | 8b84fc177cf2af7fcb68262a016e6c3e19cd8ba5 (diff) | |
Fix redraw defer code in the presence of multiple clients - the timer
may be needed for all of them, so don't delete it on the first; and
don't skip setting the redraw flag if the timer is already running.
Reported by Pol Van Aubel in GitHub issue 1003.
Diffstat (limited to 'job.c')
0 files changed, 0 insertions, 0 deletions