}
public void createControl(Composite parent) {
final ScrolledComposite scrollingContainer =
new ScrolledComposite(parent, SWT.V_SCROLL);
final SetupPlatformsPanel setupPlatformsPanel =
new SetupPlatformsPanel(scrollingContainer,
SWT.NONE,
this.executableNameOption,
this.platformOptionProvider);
this.setupPlatformsPanel = setupPlatformsPanel;
// TODO: This control listener should maybe be on setupPlatformsPanel?
scrollingContainer.addControlListener(new ControlAdapter() {
public void controlResized(ControlEvent controlEvent) {
scrollingContainer.setMinSize(
setupPlatformsPanel.computeSize(SWT.DEFAULT, SWT.DEFAULT));
}
});
scrollingContainer.setContent(setupPlatformsPanel);
scrollingContainer.setExpandHorizontal(true);