Graphics.UI.Editor.Basics
Types
type
Getter
alpha beta
type
Setter
alpha beta
type
Injector
beta
type
Extractor
beta
type
Applicator
beta gamma
type
Editor
alpha
getStandardRegFunction
emptyNotifier
data
GUIEvent
data
GUIEventSelector
type
GtkRegFunc
data
Notifier
type
GtkHandler
activateEvent
propagateEvent
allGUIEvents