Selector interface description

Functionality provided by the `Selector' abstraction:

Selector a

the abstract type of a Selector handle.

SelectorResources

a list of (attribute,value) pairs specifying what default configuration values you want to override when creating a Selector.

SelFeedback

resource value giving the visual feedback functions to use.

SelFbackFunction

the feedback function for one interaction state of a Selector.

SelFbackStyle

Iaction

function that maps user events to possible changes in interaction state.

mkSelector resources val

create a selector instance that each time the user completes interaction with it, will output value through the Selector handle the function returns.

getSelectorClick sel

wait until the user next time hits the button.

setSelectorLabel sel lab

set the current Selector's current label to the lab::Picture.

combineSelectors sel_ls

Merge a collection of Selectors into one, such that selections performed on any of the combined ones will get reported to the Selector handle returned by this operation. Used to implement one-from-many choice.

disableSelector sel

Disable interaction with sel, (normally) greying out its label to indicate so.

enableSelector sel

If the selector was in a disabled state, turn interaction back on again.

activateSelector sel nm flg

generic function for enabling and disabling a selector.

isEnabledSelector sel nm

return a flag indicating if interaction is currently possible on sel.

getSelectorName sel

return the current name for sel. Names are used to distinguish between selectors merged together with combineSelectors (more on naming later).

setSelectorName sel

changing the name of a Selector.

mapSelector f sel

return a new selector that signals the values output by sel by first mapping the function f over them.

getSelectorTrigger sel

returns the Trigger device that underlies it all.