[GUI] Setting properties of a widget.
Sat, 29 Mar 2003 08:39:52 -0800 (PST)
--- Vincenzo Ciancia <email@example.com> wrote:
> e) ability to watch and filter the changes made to
> (implementing this as a derived feature would allow
> bypassing the
I'm not sure what you mean by filter? Something like
an onTitleChange callback?
> f) atomical modification of attributes (like
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