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]

An event records its type and the widget-local position of the mouse when the event occurred.

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)