protected void enableMinMax(boolean enable) {
fMinOccurSpinner.setEnabled(enable);
fMaxOccurSpinner.setEnabled(!fUnboundSelect.getSelection() && enable);
fUnboundSelect.setEnabled(enable);
fMinLabel.setEnabled(enable);
fMaxLabel.setEnabled(enable);
}
protected Composite createMaxOccurComp(Composite parent, FormToolkit toolkit) {
fMaxLabel = toolkit.createLabel(parent, PDEUIMessages.AbstractSchemaDetails_maxOccurLabel);
fMaxLabel.setForeground(toolkit.getColors().getColor(IFormColors.TITLE));
Composite comp = toolkit.createComposite(parent);
GridData gd = new GridData(GridData.FILL_HORIZONTAL);
gd.horizontalSpan = 2;
GridLayout layout = new GridLayout(3, false);
layout.marginHeight = layout.marginWidth = 0;
comp.setLayout(layout);
comp.setLayoutData(gd);
fMaxOccurSpinner = new Spinner(comp, SWT.BORDER);
fMaxOccurSpinner.setMinimum(1);
fMaxOccurSpinner.setMaximum(999);
fMaxOccurSpinner.setIncrement(1);
fUnboundSelect =
toolkit.createButton(comp, PDEUIMessages.AbstractSchemaDetails_unboundedButton, SWT.CHECK);
gd = new GridData();
gd.horizontalIndent = 10;
fUnboundSelect.setLayoutData(gd);
fUnboundSelect.addSelectionListener(
new SelectionAdapter() {
@Override
public void widgetSelected(SelectionEvent e) {
if (blockListeners()) return;
fMaxOccurSpinner.setEnabled(!fUnboundSelect.getSelection() && isEditableElement());
}
});
return comp;
}
protected void updateMaxOccur(int max) {
if (fMaxOccurSpinner == null) return;
boolean isMax = max == Integer.MAX_VALUE;
fUnboundSelect.setSelection(isMax);
fMaxOccurSpinner.setEnabled(!isMax);
if (!isMax) fMaxOccurSpinner.setSelection(max);
}
protected Button[] createTrueFalseButtons(Composite parent, FormToolkit toolkit, int colSpan) {
Composite comp = toolkit.createComposite(parent, SWT.NONE);
GridLayout gl = new GridLayout(2, false);
gl.marginHeight = gl.marginWidth = 0;
comp.setLayout(gl);
GridData gd = new GridData(GridData.FILL_HORIZONTAL);
gd.horizontalSpan = colSpan;
gd.horizontalIndent = FormLayoutFactory.CONTROL_HORIZONTAL_INDENT;
comp.setLayoutData(gd);
Button tButton = toolkit.createButton(comp, BOOLS[0], SWT.RADIO);
Button fButton = toolkit.createButton(comp, BOOLS[1], SWT.RADIO);
gd = new GridData();
gd.horizontalIndent = 20;
fButton.setLayoutData(gd);
return new Button[] {tButton, fButton};
}
protected void hookMaxOccur(SelectionAdapter adapter) {
fUnboundSelect.addSelectionListener(adapter);
fMaxOccurSpinner.addSelectionListener(adapter);
fMaxOccurSpinner.addModifyListener(
new ModifyListener() {
@Override
public void modifyText(ModifyEvent e) {
if (blockListeners()) return;
int maxValue = fMaxOccurSpinner.getSelection();
if (maxValue < getMinOccur()) fMaxOccurSpinner.setSelection(maxValue + 1);
}
});
}
