Changeset 190160 in webkit
- Timestamp:
- Sep 23, 2015 4:07:15 AM (9 years ago)
- Location:
- trunk
- Files:
-
- 5 added
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/LayoutTests/ChangeLog
r190159 r190160 1 2015-09-23 ChangSeok Oh <changseok.oh@collabora.com> 2 3 [GTK] playbutton in media controls is not changed when it is clicked. 4 https://bugs.webkit.org/show_bug.cgi?id=149113 5 6 Reviewed by Philippe Normand. 7 8 * media/media-controls-play-button-updates-expected.png: Added. 9 * media/media-controls-play-button-updates-expected.txt: Added. 10 * media/media-controls-play-button-updates.html: Added. 11 * platform/gtk/media/media-controls-play-button-updates-expected.png: Added. 12 * platform/gtk/media/media-controls-play-button-updates-expected.txt: Added. 13 1 14 2015-09-23 Xabier Rodriguez Calvar <calvaris@igalia.com> 2 15 -
trunk/Source/WebCore/ChangeLog
r190155 r190160 1 2015-09-23 ChangSeok Oh <changseok.oh@collabora.com> 2 3 [GTK] playbutton in media controls is not changed when it is clicked. 4 https://bugs.webkit.org/show_bug.cgi?id=149113 5 6 Reviewed by Philippe Normand. 7 8 When the play button in media controls is clicked, a 'paused' class is added or removed 9 for the element to update its appearance. Although Document::recalcStyle is triggered 10 by that class attribute change, the play button is not changed since there is 11 no difference in styles whether having the 'paused' class or not. Gtk port 12 does not define the -webkit-media-controls-play-button.paused. To fix this, 13 -webkit-media-controls-play-button.paused is newly defined with a dummy style, 14 "position: relative;", which should not change the play button appearance, 15 but be clearly different in style. 16 17 Test: media/media-controls-play-button-updates.html 18 19 * css/mediaControlsGtk.css: 20 (video::-webkit-media-controls-play-button.paused): 21 1 22 2015-09-23 Youenn Fablet <youenn.fablet@crf.canon.fr> 2 23 -
trunk/Source/WebCore/css/mediaControlsGtk.css
r188653 r190160 146 146 } 147 147 148 /* paused classes for audio/video controls should be defined to make a difference in style from not having this class. Overwise a repaint would not happen. */ 149 audio::-webkit-media-controls-play-button.paused, 150 video::-webkit-media-controls-play-button.paused { 151 position: relative; 152 } 153 148 154 audio::-webkit-media-controls-current-time-display, video::-webkit-media-controls-current-time-display, 149 155 audio::-webkit-media-controls-time-remaining-display, video::-webkit-media-controls-time-remaining-display {
Note: See TracChangeset
for help on using the changeset viewer.