Graphics.UI.Gtk.WebKit.DOM.Navigator
navigatorJavaEnabled
navigatorGetStorageUpdates
navigatorGetAppCodeName
navigatorGetAppName
navigatorGetAppVersion
navigatorGetLanguage
navigatorGetUserAgent
navigatorGetPlatform
navigatorGetPlugins
navigatorGetMimeTypes
navigatorGetProduct
navigatorGetProductSub
navigatorGetVendor
navigatorGetVendorSub
navigatorGetCookieEnabled
navigatorGetOnLine