Graphics.UI.Gtk.WebKit.DOM.File

getName

data File

castToFile

gTypeFile

class FileClass o

toFile