Gets the #WebKitSettings currently applied to web_view.
If no other #WebKitSettings have been explicitly applied to
web_view with webkit.web_view.WebView.setSettings, the default
#WebKitSettings will be returned. This method always returns
a valid #WebKitSettings object.
To modify any of the web_view settings, you can either create
a new #WebKitSettings object with webkit.settings.Settings.new_, setting
the desired preferences, and then replace the existing web_view
settings with webkit.web_view.WebView.setSettings or get the existing
web_view settings and update it directly. #WebKitSettings objects
can be shared by multiple #WebKitWebView<!-- -->s, so modifying
the settings of a #WebKitWebView would affect other
#WebKitWebView<!-- -->s using the same #WebKitSettings.
Gets the #WebKitSettings currently applied to web_view.
If no other #WebKitSettings have been explicitly applied to web_view with webkit.web_view.WebView.setSettings, the default #WebKitSettings will be returned. This method always returns a valid #WebKitSettings object. To modify any of the web_view settings, you can either create a new #WebKitSettings object with webkit.settings.Settings.new_, setting the desired preferences, and then replace the existing web_view settings with webkit.web_view.WebView.setSettings or get the existing web_view settings and update it directly. #WebKitSettings objects can be shared by multiple #WebKitWebView<!-- -->s, so modifying the settings of a #WebKitWebView would affect other #WebKitWebView<!-- -->s using the same #WebKitSettings.