API Version: 4.1
Library Version: 2.38.5
gboolean webkit_settings_get_enable_developer_extras ( WebKitSettings* settings )
Get the WebKitSettings:enable-developer-extras property.
WebKitSettings:enable-developer-extras
gboolean
TRUE If developer extras is enabled or FALSE otherwise.
TRUE
FALSE