Source/WebCore: GIF animations don't restart after scrolling on iOS WebKit1
authorantti@apple.com <antti@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 14 May 2014 09:47:59 +0000 (09:47 +0000)
committerantti@apple.com <antti@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 14 May 2014 09:47:59 +0000 (09:47 +0000)
commit8f4077d49353104fa2af01addd6345a5f352429b
tree156191bf2405651ceeb7944fba420df71ecc632b
parente736ba54d3da6eb0689d8995d24c2abc10128020
Source/WebCore: GIF animations don't restart after scrolling on iOS WebKit1
https://bugs.webkit.org/show_bug.cgi?id=132900

Reviewed by Andreas Kling.

* WebCore.exp.in:

Source/WebKit/mac: GIF animations don't restart after scrolling with iOS WebKit1
https://bugs.webkit.org/show_bug.cgi?id=132900
<rdar://problem/16490858>

Reviewed by Andreas Kling.

* WebView/WebView.mm:
(-[WebView _didFinishScrollingOrZooming]):

    Check if the animations need to be restarted after scrolling finishes.

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@168830 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/WebCore.exp.in
Source/WebKit/mac/ChangeLog
Source/WebKit/mac/WebView/WebView.mm