| Index: Source/WebCore/platform/gtk/RenderThemeGtk.cpp
|
| ===================================================================
|
| --- Source/WebCore/platform/gtk/RenderThemeGtk.cpp (revision 101562)
|
| +++ Source/WebCore/platform/gtk/RenderThemeGtk.cpp (working copy)
|
| @@ -525,9 +525,10 @@
|
| Node* node = renderObject->node();
|
| if (!node)
|
| return false;
|
| + if (!node->isMediaControlElement())
|
| + return false;
|
|
|
| - MediaControlPlayButtonElement* button = static_cast<MediaControlPlayButtonElement*>(node);
|
| - return paintMediaButton(renderObject, paintInfo.context, rect, button->displayType() == MediaPlayButton ? GTK_STOCK_MEDIA_PLAY : GTK_STOCK_MEDIA_PAUSE);
|
| + return paintMediaButton(renderObject, paintInfo.context, rect, mediaControlElementType(node) == MediaPlayButton ? GTK_STOCK_MEDIA_PLAY : GTK_STOCK_MEDIA_PAUSE);
|
| }
|
|
|
| bool RenderThemeGtk::paintMediaSeekBackButton(RenderObject* renderObject, const PaintInfo& paintInfo, const IntRect& rect)
|
|
|