diff options
Diffstat (limited to 'WebCore/wml/WMLRefreshElement.cpp')
-rw-r--r-- | WebCore/wml/WMLRefreshElement.cpp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/WebCore/wml/WMLRefreshElement.cpp b/WebCore/wml/WMLRefreshElement.cpp index c05a2c9..bcf87ac 100644 --- a/WebCore/wml/WMLRefreshElement.cpp +++ b/WebCore/wml/WMLRefreshElement.cpp @@ -41,13 +41,16 @@ WMLRefreshElement::~WMLRefreshElement() { } -void WMLRefreshElement::executeTask(Event*) +void WMLRefreshElement::executeTask() { - WMLPageState* pageState = wmlPageStateForDocument(document()); + ASSERT(document()->isWMLDocument()); + WMLDocument* document = static_cast<WMLDocument*>(this->document()); + + WMLPageState* pageState = wmlPageStateForDocument(document); if (!pageState) return; - WMLCardElement* card = pageState->activeCard(); + WMLCardElement* card = document->activeCard(); if (!card) return; @@ -62,7 +65,7 @@ void WMLRefreshElement::executeTask(Event*) storeVariableState(pageState); // Redisplay curremt card with current variable state - if (Frame* frame = document()->frame()) { + if (Frame* frame = document->frame()) { if (FrameLoader* loader = frame->loader()) loader->reload(); } |