[webkit-dev] GTK port of Webkit

[Darin Adler]

Looks basically OK, but I think the use of USER_TIMER_MAXIMUM is  
incorrect. I believe that's a Windows define, not one that's correct  
for GTK.

     -- Darin