[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


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

f) atomical modification of attributes (like modifyMVar)

g) default values for unspecified attributes