WebKit.Settings.enable_developer_extras – webkit2gtk-4.1 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.