chiark / gitweb /
More robust timer handling in GTK: never create a new timer when one
authorSimon Tatham <anakin@pobox.com>
Wed, 28 Apr 2004 12:34:37 +0000 (12:34 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 28 Apr 2004 12:34:37 +0000 (12:34 +0000)
commitd44034bcf699661a11b587c884365a8aa4d6bd39
tree578dfeb40bd4dd8185a66e99f329fe1d614e9cdb
parent3d8e7585b7a9d215e4b40d9f83f7fa5a0fd79b43
More robust timer handling in GTK: never create a new timer when one
is already active.

[originally from svn r4159]
gtk.c