Graphics.UI.Gtk.WebKit.DOM.DOMPlugin

domPluginItem

domPluginNamedItem

domPluginGetName

domPluginGetFilename

domPluginGetDescription

domPluginGetLength

data DOMPlugin

class DOMPluginClass o

castToDOMPlugin

gTypeDOMPlugin

toDOMPlugin