[GUI] Setting properties of a widget.

[Vincenzo Ciancia]

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 ()

where the result of a lock operation is an attribute wich is a
representation of the original one, and the only one allowed to make
modifications until release, or perhaps in a simpler way with

putList :: Attribute a -> [a] -> IO ()

Someone wants to comment on this?

V.