[webkit-dev] GTK port of Webkit

[Krzysztof Kowalczyk]

1. I think Darin is correct about USER_TIMER_MAXIMUM being Windows
only. Looking at gtk source, it doesn't seem to have the equivalent -
it'll accept any value. On windows, btw, it's #define
USER_TIMER_MAXIMUM  0x7FFFFFFF.

2. Shouldn't it be: static guint timerID = 0; ?

Without initialization timerID will have a random value on startup.

Other than that looks good. It's great that you're starting GTK port.

-- kjk