Title: [159408] trunk/Source/WebCore
- Revision
- 159408
- Author
- [email protected]
- Date
- 2013-11-18 02:01:58 -0800 (Mon, 18 Nov 2013)
Log Message
Unreviewed. Update GObject DOM symbols file after r159208 and r159363.
* bindings/gobject/webkitdom.symbols: Add
webkit_dom_html_media_element_fast_seek prototype.
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (159407 => 159408)
--- trunk/Source/WebCore/ChangeLog 2013-11-18 09:52:51 UTC (rev 159407)
+++ trunk/Source/WebCore/ChangeLog 2013-11-18 10:01:58 UTC (rev 159408)
@@ -1,5 +1,12 @@
2013-11-18 Carlos Garcia Campos <[email protected]>
+ Unreviewed. Update GObject DOM symbols file after r159208 and r159363.
+
+ * bindings/gobject/webkitdom.symbols: Add
+ webkit_dom_html_media_element_fast_seek prototype.
+
+2013-11-18 Carlos Garcia Campos <[email protected]>
+
REGRESSION(r159363): [GTK] API break in webkit_dom_html_media_element_set_current_time
https://bugs.webkit.org/show_bug.cgi?id=124485
Modified: trunk/Source/WebCore/bindings/gobject/webkitdom.symbols (159407 => 159408)
--- trunk/Source/WebCore/bindings/gobject/webkitdom.symbols 2013-11-18 09:52:51 UTC (rev 159407)
+++ trunk/Source/WebCore/bindings/gobject/webkitdom.symbols 2013-11-18 10:01:58 UTC (rev 159408)
@@ -941,6 +941,7 @@
void webkit_dom_html_marquee_element_set_vspace(WebKitDOMHTMLMarqueeElement*, gulong)
gchar* webkit_dom_html_marquee_element_get_width(WebKitDOMHTMLMarqueeElement*)
void webkit_dom_html_marquee_element_set_width(WebKitDOMHTMLMarqueeElement*, const gchar*)
+void webkit_dom_html_media_element_fast_seek(WebKitDOMHTMLMediaElement*, gdouble)
void webkit_dom_html_media_element_load(WebKitDOMHTMLMediaElement*)
gchar* webkit_dom_html_media_element_can_play_type(WebKitDOMHTMLMediaElement*, const gchar*)
void webkit_dom_html_media_element_play(WebKitDOMHTMLMediaElement*)
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
