gtk-timeout-add (again): how to change the speed?

[Peter Rowat <peter pelican ucsd edu>]

 My application continuously displays incoming data, so I 
use g-timeout-add to continuously refresh the screen. Often the user
will want this as fast as possible, sometimes at a fixed speed, and
sometimes the speed will need to be changed.

There does not appear to be a clean way to change the speed. Presumably
this could be done by changing the value of "interval" 
in "g_timeout_add(interval, function, data)".

Possible work-around: quit the main loop with "gtk-main-quit()" then 
call { timeout-add; gtk-main(); } again with new value for interval.

Is there a better way?

-- Thanks, Peter Rowat