[GUI] Setting properties of a widget.

Axel Simon A.Simon@ukc.ac.uk
Mon, 31 Mar 2003 16:16:12 +0100


On Mon, Mar 31, 2003 at 04:43:49PM +0200, Vincenzo Ciancia wrote:
> On Fri, 28 Mar 2003 19:02:04 +0100
> Vincenzo Ciancia <ciancia@cli.di.unipi.it> wrote:
> 
> > 
> >  g) default values for unspecified attributes
> 
> Another thing that comes to my mind is that sometimes one could need to
> atomically give a sequence of values to an attribute. This could be done
> with a function to lock an attribute:
> 
> lock :: Attribute a -> IO (Attribute a)
> 
> release :: Attribute a -> IO ()
 I can think of an example for filter, but where would this be useful?

Axel.