Graphics.UI.Gtk.WebKit.DOM.File

fileGetName

data File

class FileClass o

castToFile

gTypeFile

toFile