public Button newPushButton(Composite parent, String label, String tip, boolean enabled, int style) {
Button button = toolkit.createButton(parent, label, SWT.PUSH | style);
GridData gd = new GridData(GridData.VERTICAL_ALIGN_BEGINNING | GridData.FILL_HORIZONTAL);
button.setLayoutData(gd);
button.pack(false);
button.setToolTipText(tip);
button.setEnabled(enabled);
button.addListener(SWT.Selection, this);
Point buttonSize = button.getSize();
gd.heightHint = buttonSize.y - 2;