More robust timer handling in GTK: never create a new timer when one