From: Arjan v. I. <af...@cs...> - 2006-01-13 16:37:15
|
> I am having some layout trouble building a widget whose size > changes dynamically. [...] > Is this supposed to happen? Can I do anything about it? Have you tried applying 'dynamic' to the layout? layout := dynamic $ widget st I thought buttons where always dynamic so this shouldn't be necessary... |