WebKit.Settings.set_enable_dns_prefetching – webkit2gtk-4.0 Reference Manual
set_enable_dns_prefetching
Description:
public
void
set_enable_dns_prefetching
(
bool
enabled)
Set the
enable_dns_prefetching
property.
Parameters:
this
a
Settings
enabled
Value to be set
2022 vala-language.org