mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-18 19:41:01 -05:00

Timer objects evaporate when our timer_trigger callback is called, and therefore we should not remember their ids beyond that time and attempt to cancel them later. Previous versions of GTK silently ignored us doing that, but upgrading to Ubuntu Trusty has given me a version of GTK that complains about it, so let's stop doing it. [originally from svn r10181]