/** Creates the "Other" group. */
void createOtherGroup() {
super.createOtherGroup();
/* Create display controls specific to this example */
caretButton = new Button(otherGroup, SWT.CHECK);
caretButton.setText(ControlExample.getResourceString("Caret"));
fillDamageButton = new Button(otherGroup, SWT.CHECK);
fillDamageButton.setText(ControlExample.getResourceString("FillDamage"));
/* Add the listeners */
caretButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent event) {
setCaret();
}
});
}
