2011-06-01 Abhishek Arya <inferno@chromium.org>
authorAbhishek Arya <inferno@chromium.org>
Wed, 1 Jun 2011 18:12:53 +0000 (18:12 +0000)
committerAdemar de Souza Reis Jr <ademar.reis@openbossa.org>
Tue, 21 Jun 2011 21:38:24 +0000 (18:38 -0300)
commit645d1010f47ef32a414101746e027e7e6236401f
tree2a67de8dc0100d4b49ac6eead85a0e20bd34523e
parentc2c216b1ae4d2c6a5e680d75a975bdeec1391653
2011-06-01  Abhishek Arya  <inferno@chromium.org>

        Reviewed by Antti Koivisto.

        Do not use the pushed style selector if it is not equal to the
        parent document's style selector. It usually means that it is
        in a bad state, e.g. already cleared.
        https://bugs.webkit.org/show_bug.cgi?id=61737

        * dom/Element.cpp:
        (WebCore::StyleSelectorParentPusher::~StyleSelectorParentPusher):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@87827 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/dom/Element.cpp