- /**
- * Create a new header which is labelled by headerLabel.
- *
- * @param parent
- * @return Label the label of the header
- */
- private Label createHeader(Composite parent) {
- Composite header = new Composite(parent, SWT.NONE);
- GridData gd_header = new GridData(SWT.CENTER, SWT.CENTER, false, false, 2, 1);
- gd_header.horizontalIndent = 5;
- gd_header.widthHint = 575;
- header.setLayoutData(gd_header);
-
- GridLayout layout = new GridLayout();
- layout.marginLeft = 5;
- layout.horizontalSpacing = 0;
- layout.verticalSpacing = 1;
- layout.marginWidth = 0;
- layout.marginHeight = 0;
- header.setLayout(layout);
- new Label(header, SWT.NONE);
- Label headerLabel = new Label(header, SWT.NONE);
- headerLabel.setText((getMessage() != null && getMessage().trim()
- .length() > 0) ? getMessage()
- : Messages.SearchDialog_patternLabel);
- headerLabel.addTraverseListener(new TraverseListener() {
- @Override
- public void keyTraversed(TraverseEvent e) {
- if (e.detail == SWT.TRAVERSE_MNEMONIC && e.doit) {
- e.detail = SWT.TRAVERSE_NONE;
- searchField.setFocus();
- }
+ protected abstract void search();
+
+
+ /**
+ * Create a new header which is labelled by headerLabel.
+ *
+ * @param parent
+ * @return Label the label of the header
+ */
+ private Label createHeader(Composite parent) {
+ Composite header = new Composite(parent, SWT.NONE);
+ GridData gd_header = new GridData(SWT.CENTER, SWT.CENTER, false, false, 2, 1);
+ gd_header.horizontalIndent = 5;
+ gd_header.widthHint = 575;
+ header.setLayoutData(gd_header);
+
+ GridLayout layout = new GridLayout();
+ layout.marginLeft = 5;
+ layout.horizontalSpacing = 0;
+ layout.verticalSpacing = 1;
+ layout.marginWidth = 0;
+ layout.marginHeight = 0;
+ header.setLayout(layout);
+ new Label(header, SWT.NONE);
+ Label headerLabel = new Label(header, SWT.NONE);
+ headerLabel.setText((getMessage() != null && getMessage().trim()
+ .length() > 0) ? getMessage()
+ : Messages.SearchDialog_patternLabel);
+ headerLabel.addTraverseListener(new TraverseListener() {
+ @Override
+ public void keyTraversed(TraverseEvent e) {
+ if (e.detail == SWT.TRAVERSE_MNEMONIC && e.doit) {
+ e.detail = SWT.TRAVERSE_NONE;
+ searchField.setFocus();