[GUI] Setting properties of a widget.

David Sankel camio@yahoo.com
Sat, 29 Mar 2003 08:39:52 -0800 (PST)

--- Vincenzo Ciancia <ciancia@cli.di.unipi.it> wrote:
> also:
> e) ability to watch and filter the changes made to
> attributes
> (implementing this as a derived feature would allow
> bypassing the
> filters)

I'm not sure what you mean by filter?  Something like
an onTitleChange callback?

> f) atomical modification of attributes (like
> modifyMVar)

I think GIO handles this pretty well with the :~

set button [ title :~ (\a -> "Prefix: " ++ title) ]

> g) default values for unspecified attributes

I think GIO attributes handels this elegantly as well.

David J. Sankel