// gets a scroll bar.
// When in the life cycle to do this? Only need to do it once, but
// after the Grid Layout has happened. This can be the first resizing
// event (learned this by debugging)
sform.addListener(SWT.Resize, new Listener() {
public void handleEvent(Event event) {
float col1CurrentWidth = leftPanel.getSize().x;
float col2CurrentWidth = rightPanel.getSize().x;
final int minLeftPanelWidth = 250; // in pels
final int minRightPanelWidth = (int) (col2CurrentWidth * minLeftPanelWidth / col1CurrentWidth);