diff options
Diffstat (limited to 'Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h')
-rw-r--r-- | Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h b/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h index fda7089d0..53ebda299 100644 --- a/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h +++ b/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h @@ -334,6 +334,12 @@ webkit_settings_get_media_playback_allows_inline (WebKitSettings * WEBKIT_API void webkit_settings_set_media_playback_allows_inline (WebKitSettings *settings, gboolean enabled); +WEBKIT_API gboolean +webkit_settings_get_draw_compositing_indicators (WebKitSettings *settings); + +WEBKIT_API void +webkit_settings_set_draw_compositing_indicators (WebKitSettings *settings, + gboolean enabled); G_END_DECLS #endif /* WebKitSettings_h */ |