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