Am Samstag, 6. September 2008 13:22:12 schrieb Andreas Pakulat: > PS: Buildset widget is now a lot smaller, I pondered at adding another > splitter to make it resizeable, but am not sure wether/how to do that > best. Wouldn't it be best if it just automatically resized to the size of the content? Greetings, David