GI.GtkSource.Objects.File

Exported types

data File

class IsFile o

toFile

noFile

Methods

checkFileOnDisk

fileCheckFileOnDisk

getCompressionType

fileGetCompressionType

getEncoding

fileGetEncoding

getLocation

fileGetLocation

getNewlineType

fileGetNewlineType

isDeleted

fileIsDeleted

isExternallyModified

fileIsExternallyModified

isLocal

fileIsLocal

isReadonly

fileIsReadonly

new

fileNew

setLocation

fileSetLocation

Properties

compressionType

getFileCompressionType

encoding

getFileEncoding

location

clearFileLocation

constructFileLocation

getFileLocation

setFileLocation

newlineType

getFileNewlineType

readOnly

getFileReadOnly