Graphics.UI.Gtk.General.Selection
type InfoId
data Atom
type TargetTag
type SelectionTag
type SelectionTypeTag
data TargetList
type SelectionDataM a
data TargetFlags
targetString
selectionTypeAtom
selectionTypeInteger
selectionTypeString
atomNew
targetListNew
targetListAdd
targetListAddTextTargets
targetListAddImageTargets
targetListAddUriTargets
targetListAddRichTextTargets
targetListRemove
selectionAddTarget
selectionClearTargets
selectionOwnerSet
selectionOwnerSetForDisplay
selectionRemoveAll
selectionDataSet
selectionDataGet
selectionDataIsValid
selectionDataSetText
selectionDataGetText
selectionDataSetPixbuf
selectionDataGetPixbuf
selectionDataSetURIs
selectionDataGetURIs
selectionDataTargetsIncludeImage
selectionDataGetTarget
selectionDataSetTarget
selectionDataGetTargets
selectionDataTargetsIncludeText
selectionDataTargetsIncludeUri
selectionDataTargetsIncludeRichText
selectionGet
selectionReceived