Index of types


C
color [Gctx]
A type for colors, specified by red, green and blue values in the range 0 .. 255 inclusive

D
deque [Deque]
dimension [Gctx]
A width and height paired together.

E
event [Gctx]
Events produced by the user-interface.
event_listener [Widget]
An event listener processes events as they "flow" through the widget hierarchy.
event_type [Gctx]
Types of events that could occur

G
gctx [Gctx]
The main (abstract) type of graphics contexts.

L
label_controller [Widget]
A record of functions that allows us to read and write the string associated with a label.

N
notifier_controller [Widget]
A notifier_controller is associated with a notifier widget.

P
position [Gctx]
A widget-relative position

V
value_controller [Widget]
A controller for a value associated with a widget.

W
widget [Widget]
A widget is an object that provides three services: it can repaint itself (given an appropriate graphics context), it can handle events, it knows its dimensions (relative to a graphics context)