You're right. I could have sworn there was a timeout as well as time there, but no, it looks
like it's only in the widget toolkit
(If anyone does want this, a Google search will find you an explanation of how to set the
timeout for all GTK+ applications, at least if your libraries are new enough)