Gives WebKit embedders an option to opt out of high resolution timers. Default is that high resolution timers are enabled. If high res timers are disabled, all timers are fired via WM_TIMER. Also disables timeBeginPeriod/timeEndPeriod if high resolution timers are disabled.
Created attachment 39448 [details] Add code to disable high-res timers conditionally
Comment on attachment 39448 [details] Add code to disable high-res timers conditionally I'm not sure PLATFORM(WIN) is the right ifdef. I think it's strange that we're naming the static data members with a "gX" naming scheme. This is not consistent with "m_".
I'm not sure PLATFORM(WIN) fully represents this either, but this seems OK for now. I'd rather conditionalize it for now to the only platform where this is supported. The "g" naming matches the other static member in Settings. I agree it is a bit odd, and wonder about the utility of even putting this in a static data member vs. a static in the cpp file.
r48308
Created attachment 39491 [details] Fix bug with preferences to settings propagation