Graphics.UI.Gtk.WebKit.WebSettings
data WebSettings
class WebSettingsClass o
data EditingBehavior
webSettingsNew
webSettingsCopy
webSettingsGetUserAgent
webSettingsCursiveFontFamily
webSettingsDefaultFontFamily
webSettingsFantasyFontFamily
webSettingsMonospaceFontFamily
webSettingsSansFontFamily
webSettingsSerifFontFamily
webSettingsDefaultFontSize
webSettingsDefaultMonospaceFontSize
webSettingsMinimumFontSize
webSettingsMinimumLogicalFontSize
webSettingsAutoLoadImages
webSettingsAutoShrinkImages
webSettingsDefaultEncoding
webSettingsEditingBehavior
webSettingsEnableCaretBrowsing
webSettingsEnableDeveloperExtras
webSettingsEnableHtml5Database
webSettingsEnableHtml5LocalStorage
webSettingsEnableOfflineWebApplicationCache
webSettingsEnablePlugins
webSettingsEnablePrivateBrowsing
webSettingsEnableScripts
webSettingsEnableSpellChecking
webSettingsEnableUniversalAccessFromFileUris
webSettingsEnableXssAuditor
webSettingsEnableSiteSpecificQuirks
webSettingsEnableDomPaste
webSettingsEnableDefaultContextMenu
webSettingsEnablePageCache
webSettingsEnableSpatialNavigation
webSettingsEnforce96Dpi
webSettingsJSCanOpenWindowAuto
webSettingsPrintBackgrounds
webSettingsResizableTextAreas
webSettingsSpellCheckingLang
webSettingsTabKeyCyclesThroughElements
webSettingsUserAgent
webSettingsUserStylesheetUri
webSettingsZoomStep