splitter

The Java splitter has the nasty tendency of resizing both panels when the form or splitter parent is resized. I think it is a better behaviour when we have one fixed panel and one flexible panel, so when you resize the form, one panel keeps its size and only the other one changes. Fighting this...