WebKit.Settings.enable_developer_extras – webkit2gtk-4.0 Reference Manual
enable_developer_extras
Description:
public
bool
enable_developer_extras
{
get
;
set
construct
; }
Determines whether or not developer tools, such as the Web Inspector, are enabled.
2022 vala-language.org