@Override
public boolean performOk() {
preferencesStoreWB.setValue(wbProp, workbenchPort.getIntegerValue());
// preferencesStoreWF.setValue(wfProp, workflowPort.getIntegerValue());
return super.performOk();
}
@Override
protected Control createContents(final Composite parent) {
final Composite comp = new Composite(parent, SWT.NONE);
comp.setLayout(new GridLayout(1, false));
this.workbenchPort = new RangeBox(comp, SWT.NONE);
workbenchPort.setIntegerBox(true);
workbenchPort.setLabel("Port for workbench service ");
workbenchPort.setToolTipText(
"The workbench service exposes the workbench as a local service for the workflow process to connect to. This allows the workflow to interact with the user interface.");
workbenchPort.setIntegerValue(preferencesStoreWB.getInt(wbProp));
workbenchPort.setMinimum(0);
workbenchPort.setMaximum(65000);
workbenchPort.setLayoutData(new GridData(SWT.FILL, SWT.LEFT, true, false));
workbenchPort.setButtonVisible(false);
// this.workflowPort = new RangeBox(comp, SWT.NONE);
// workflowPort.setIntegerBox(true);
// workflowPort.setLabel("Port for workflow service ");
// workflowPort.setToolTipText("The workflow service exposes the workflow as a local service
// for the workbench process to connect to. This allows the workbench to interact with the
// workflow process.");
// workflowPort.setIntegerValue(preferencesStoreWF.getInt(wfProp));
// workflowPort.setMinimum(0);
// workflowPort.setMaximum(65000);
// workflowPort.setLayoutData(new GridData(SWT.FILL, SWT.LEFT, true, false));
// workflowPort.setButtonVisible(false);
// HACK
parent
.getDisplay()
.asyncExec(
new Runnable() {
@Override
public void run() {
parent
.getShell()
.setSize(parent.getShell().getSize().x, parent.getShell().getSize().y + 1);
}
});
return comp;
}
@Override
protected void performDefaults() {
workbenchPort.setIntegerValue(preferencesStoreWB.getInt(wbProp));
// workflowPort.setIntegerValue(preferencesStoreWF.getInt(wfProp));
super.performDefaults();
}