[webkit-gtk] [Patch/Workaround] for gtk webkit as used by SWT

[Martin Robinson]

On Tue, Jun 28, 2011 at 4:20 AM, Olaf Flebbe
<o.flebbe at science-computing.de> wrote:
> The proposed patch is to short-circuit Timer destruction for the case
> currentThread() != construction time thread. Unfortunately some of the
> elegance of the Timer Class in Webkit breaks down (the need of the
> m_thread member).

Interesting problem. What happens if you just move the declaration of
static purgeScratchBufferTimer out of the global scope and down two
lines into the body of scheduleScratchBufferPurge itself?

--Martin