commit | 2678fe53f57c4a3222780c76a7201f4300058e59 | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Jul 14 08:04:23 2017 +0000 |
committer | nicm <nicm> | Fri Jul 14 08:04:23 2017 +0000 |
tree | 90325aa887a3b503bcbb78822fdc2d109324fec1 | |
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.