Graphics.UI.Gtk.WebKit.DOM.Navigator
navigatorJavaEnabled
navigatorGetStorageUpdates
navigatorGetAppCodeName
navigatorGetAppName
navigatorGetAppVersion
navigatorGetLanguage
navigatorGetUserAgent
navigatorGetPlatform
navigatorGetPlugins
navigatorGetMimeTypes
navigatorGetProduct
navigatorGetProductSub
navigatorGetVendor
navigatorGetVendorSub
navigatorGetCookieEnabled
navigatorGetOnLine
data Navigator
class NavigatorClass o
castToNavigator
gTypeNavigator
toNavigator