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