Graphics.UI.Gtk.WebKit.DOM.File

fileGetName

fileGetWebkitRelativePath

data File

class FileClass o

castToFile

gTypeFile

toFile