223
224/**
225 * webkit_web_view_set_is_rendering_paused:
226 * @web_view: a #WebKitWebView
227 * @value: a #gboolean
228 *
229 * Pause or resume DOM objects, animations and media playback.
230 *
231 * Since: 2.30
232 */
233void webkit_web_view_set_is_rendering_paused(WebKitWebView *webView, gboolean value)
234{
235 g_return_if_fail(WEBKIT_IS_WEB_VIEW(webView));
236 auto& page = webkitWebViewGetPage(webView);
237
238 if (value) {
239 page.suspendActiveDOMObjectsAndAnimations();
240 page.suspendAllMediaPlayback();
241 } else {
242 page.resumeActiveDOMObjectsAndAnimations();
243 page.resumeAllMediaPlayback();
244 }
245}
246
247/**
248 * webkit_web_view_is_rendering_paused:
249 * @web_view: a #WebKitWebView
250 *
251 * Returns: a #gboolean indicating if DOM objects, animations and media playback
252 * rendering is enabled or not.
253 *
254 * Since: 2.30
255 */
256gboolean webkit_web_view_is_rendering_paused(WebKitWebView *webView)
257{
258 g_return_val_if_fail(WEBKIT_IS_WEB_VIEW(webView), FALSE);
259 auto& page = webkitWebViewGetPage(webView);
260 return page.areActiveDOMObjectsAndAnimationsSuspended();
261}