Graphics.UI.Gtk.WebKit.DOM.File
fileGetName
fileGetWebkitRelativePath
data File
class FileClass o
castToFile
gTypeFile
toFile