These functions facilitate interaction with the user. We will eventually need a fairly sophisticated mechanism divorcing what is presented from how to present it; For now, we provide only a few essential low-level functions.
My past experience has indicated that the ability to compose a display out of the following four basic classes of widgets is sufficient to build simple but effective interfaces:
Additional specialized widgets, such as to allow selection of a color from a color from a saturation hue intensity colorspace, can certainly be welcome on occasion, but the above four seem to suffice in general.
Thus first four functions in this section implement
these abilities in a form appropriate for use in
an :interactiveFunction
for a restart
.
(See section withRestartDo.)
Go to the first, previous, next, last section, table of contents.