Title: [184803] trunk/Source/WebKit2
- Revision
- 184803
- Author
- [email protected]
- Date
- 2015-05-22 16:57:59 -0700 (Fri, 22 May 2015)
Log Message
Unreviewed GTK fix after r184802.
* UIProcess/API/gtk/WebKitSettings.cpp:
(webkit_settings_get_media_playback_requires_user_gesture):
(webkit_settings_set_media_playback_requires_user_gesture):
Modified Paths
Diff
Modified: trunk/Source/WebKit2/ChangeLog (184802 => 184803)
--- trunk/Source/WebKit2/ChangeLog 2015-05-22 23:56:38 UTC (rev 184802)
+++ trunk/Source/WebKit2/ChangeLog 2015-05-22 23:57:59 UTC (rev 184803)
@@ -1,5 +1,13 @@
2015-05-22 Jon Lee <[email protected]>
+ Unreviewed GTK fix after r184802.
+
+ * UIProcess/API/gtk/WebKitSettings.cpp:
+ (webkit_settings_get_media_playback_requires_user_gesture):
+ (webkit_settings_set_media_playback_requires_user_gesture):
+
+2015-05-22 Jon Lee <[email protected]>
+
Rename MediaPlaybackRequiresUserGesture
https://bugs.webkit.org/show_bug.cgi?id=145314
Modified: trunk/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.cpp (184802 => 184803)
--- trunk/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.cpp 2015-05-22 23:56:38 UTC (rev 184802)
+++ trunk/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.cpp 2015-05-22 23:57:59 UTC (rev 184803)
@@ -2573,7 +2573,7 @@
{
g_return_val_if_fail(WEBKIT_IS_SETTINGS(settings), FALSE);
- return settings->priv->preferences->mediaPlaybackRequiresUserGesture();
+ return settings->priv->preferences->requiresUserGestureForMediaPlayback();
}
/**
@@ -2588,11 +2588,11 @@
g_return_if_fail(WEBKIT_IS_SETTINGS(settings));
WebKitSettingsPrivate* priv = settings->priv;
- bool currentValue = priv->preferences->mediaPlaybackRequiresUserGesture();
+ bool currentValue = priv->preferences->requiresUserGestureForMediaPlayback();
if (currentValue == enabled)
return;
- priv->preferences->setMediaPlaybackRequiresUserGesture(enabled);
+ priv->preferences->setRequiresUserGestureForMediaPlayback(enabled);
g_object_notify(G_OBJECT(settings), "media-playback-requires-user-gesture");
}
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
