[Webkit-unassigned] [Bug 86235] [BlackBerry] Allow the platform media player to determine the media element's paused/playing status

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=86235


George Staikos <staikos at kde.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #141575|review?, commit-queue?      |review+, commit-queue+
               Flag|                            |




--- Comment #9 from George Staikos <staikos at kde.org>  2012-05-12 09:39:54 PST ---
(From update of attachment 141575)
View in context: https://bugs.webkit.org/attachment.cgi?id=141575&action=review

Seems fine though could have been slightly simpler.  I'll r+ anyway.  Not a substantial concern.

> Source/WebCore/platform/graphics/blackberry/MediaPlayerPrivateBlackBerry.cpp:728
> +    if (!element || element->paused())

This could be reduced to:

return !element || element->paused();

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.