Graphics.UI.Gtk.WebKit.Download
data Download
class DownloadClass o
data DownloadError
data DownloadStatus
downloadNew
downloadStart
downloadCancel
downloadGetUri
downloadGetNetworkRequest
downloadGetNetworkResponse
downloadGetSuggestedFilename
downloadGetDestinationUri
downloadGetProgress
downloadGetElapsedTime
downloadGetTotalSize
downloadGetCurrentSize
downloadGetStatus
downloadSetDestinationUri
currentSize
destinationUri
networkRequest
networkResponse
progress
status
suggestedFilename
totalSize
downloadError