[GUI] Setting properties of a widget.

Vincenzo Ciancia ciancia@cli.di.unipi.it
Fri, 28 Mar 2003 19:02:04 +0100


On Fri, 28 Mar 2003 09:43:14 +0000
Axel Simon <A.Simon@ukc.ac.uk> wrote:

> 
>  d) setting a property and getting a result

also:

e) ability to watch and filter the changes made to attributes
(implementing this as a derived feature would allow bypassing the
filters)

f) atomical modification of attributes (like modifyMVar)

g) default values for unspecified attributes

V.