WebKit.Settings.get_enable_developer_extras – webkit2gtk-4.0 Reference Manual

get_enable_developer_extras

Description:

public bool get_enable_developer_extras ()

Get the enable_developer_extras property.

Parameters:

this

a Settings

Returns:

true If developer extras is enabled or false otherwise.


2022 vala-language.org