/** 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(); } }); }