wxhaskell-users

[wxhaskell-users] dynamic widgets (layout and size)

[Eric K. <eri...@gm...>]

Hello,

I am having some layout trouble building a widget whose size changes=20
dynamically.  Consider the example at the bottom of this mail.  When=20
you click on the text "no", it transforms into a larger piece of text,=20=

"yes\nyes".  On Mac OS X 10.3, I am experiencing the following problem:=20=

  when you resize the window, the widget seems to forget its new size. =20=

The widget only seems to allocate its original amount of space, enough=20=

for "no".

Is this supposed to happen?  Can I do anything about it?

Many thanks,

--eric

---8<--------------------

module Main where
import Graphics.UI.WX

main =3D start $
  do f <- frame [text :=3D "Layout testing"]
     st <- staticText f [ text :=3D "no" ]
     set st [ on click :=3D \_ -> set st [ text :=3D "yes\nyes" ] ]
     set f [ layout :=3D widget st ]

--=20
Eric Kow                     http://www.loria.fr/~kow
PGP Key ID: 08AC04F9         Merci de corriger mon fran=E7ais.=

Re: [wxhaskell-users] dynamic widgets (layout and size)

[Arjan v. I. <af...@cs...>]

> 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...

Re: [wxhaskell-users] dynamic widgets (layout and size)

[Eric K. <eri...@gm...>]

Hi,

Thanks for your response.

On 13 janv. 06, at 17:37, Arjan van IJzendoorn wrote:

>> I am having some layout trouble building a widget whose size changes=20=

>> dynamically.  [...]
>> Is this supposed to happen?  Can I do anything about it?
>
> Have you tried applying 'dynamic' to the layout?
>   layout :=3D dynamic $ widget st

I have tried that, and no it does not help.  For that matter, the API=20
says that StaticText is dynamic by default, so as you mentioned it=20
shouldn't make a difference anyway.

Just in case, I ought to clarify that the widget does resize correctly,=20=

but the problem is that it goes back to its original size the moment=20
the parent window gets resized.  It forgets its new "correct" size.

--=20
Eric Kow                     http://www.loria.fr/~kow
PGP Key ID: 08AC04F9         Merci de corriger mon fran=E7ais.