More robust timer handling in GTK: never create a new timer when one
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Wed, 28 Apr 2004 12:34:37 +0000 (12:34 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Wed, 28 Apr 2004 12:34:37 +0000 (12:34 +0000)
commit20ee89e37a23004d1121e06d9f54110cc984b9da
tree578dfeb40bd4dd8185a66e99f329fe1d614e9cdb
parenteb2ad6f1d0284c83b3cb5caf631c659441189d7d
More robust timer handling in GTK: never create a new timer when one
is already active.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@4159 cda61777-01e9-0310-a592-d414129be87e
gtk.c