On Mar 18, 2010, at 10:29 AM, tonikitoo (Antonio Gomes) wrote:

See this: https://bugs.webkit.org/show_bug.cgi?id=36193

I already mentioned I'd looked at that; but evidently I hadn't read carefully through to comment #12, which describes the exact issue I reported. Thanks.

—Jens