Searched refs:enable_developer_extras (Results 1 – 1 of 1) sorted by relevance
84 gboolean enable_developer_extras; member722 priv->enable_developer_extras = g_value_get_boolean(value); in webkit_web_settings_set_property()855 g_value_set_boolean(value, priv->enable_developer_extras); in webkit_web_settings_get_property()937 "enable-developer-extras", priv->enable_developer_extras, in webkit_web_settings_copy()