hmm - ok i'll have a try, but setting all size policies by hand is a lot of work..

i tried to use a scollarea, but this doesn't work either (or is a scrollarea just the wrong widget?)