Re: [GUI] Setting properties of a widget.

--- Vincenzo Ciancia 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 :~ operator. set button [ title :~ (\a -> "Prefix: " ++ title) ]

g) default values for unspecified attributes

I think GIO attributes handels this elegantly as well. David J. Sankel