Changeset 56006 in webkit


Ignore:
Timestamp:
Mar 15, 2010 1:00:53 PM (14 years ago)
Author:
Philippe Normand
Message:

2010-03-15 Philippe Normand <pnormand@igalia.com>

Reviewed by Gustavo Noronha Silva.

[GTK] video playback position query flood when mouse over the video element
https://bugs.webkit.org/show_bug.cgi?id=35333

Don't trigger a position query only to know which play/pause
button to display.

  • platform/gtk/RenderThemeGtk.cpp: (WebCore::RenderThemeGtk::paintMediaPlayButton):
Location:
trunk/WebCore
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/WebCore/ChangeLog

    r56004 r56006  
     12010-03-15  Philippe Normand  <pnormand@igalia.com>
     2
     3        Reviewed by  Gustavo Noronha Silva.
     4
     5        [GTK] video playback position query flood when mouse over the video element
     6        https://bugs.webkit.org/show_bug.cgi?id=35333
     7
     8        Don't trigger a position query only to know which play/pause
     9        button to display.
     10
     11        * platform/gtk/RenderThemeGtk.cpp:
     12        (WebCore::RenderThemeGtk::paintMediaPlayButton):
     13
    1142010-03-15  Jian Li  <jianli@chromium.org>
    215
  • trunk/WebCore/platform/gtk/RenderThemeGtk.cpp

    r54878 r56006  
    674674        return false;
    675675
    676     return paintMediaButton(paintInfo.context, r, mediaElement->canPlay() ? m_playButton.get() : m_pauseButton.get(), m_panelColor, m_mediaIconSize);
     676    return paintMediaButton(paintInfo.context, r, mediaElement->paused() ? m_playButton.get() : m_pauseButton.get(), m_panelColor, m_mediaIconSize);
    677677}
    678678
Note: See TracChangeset for help on using the changeset viewer.