Property
WebKit2Settings:enable-developer-extras
Description [src]
Determines whether or not developer tools, such as the Web Inspector, are enabled.
Type: | gboolean |
Setter method | webkit_settings_set_enable_developer_extras() |
Getter method | webkit_settings_get_enable_developer_extras() |