import java.util.Map;
import net.sourceforge.phpdt.internal.ui.dialogs.StatusInfo;
-import net.sourceforge.phpdt.internal.ui.util.PixelConverter;
+//import net.sourceforge.phpdt.internal.ui.util.PixelConverter;
import net.sourceforge.phpdt.ui.PreferenceConstants;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
-import org.eclipse.swt.widgets.Label;
+//import org.eclipse.swt.widgets.Label;
/**
* Configures Java Editor hover preferences.
return composite;
}
- private void addFiller(Composite composite) {
- PixelConverter pixelConverter = new PixelConverter(composite);
-
- Label filler = new Label(composite, SWT.LEFT);
- GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- gd.horizontalSpan = 2;
- gd.heightHint = pixelConverter.convertHeightInCharsToPixels(1) / 2;
- filler.setLayoutData(gd);
- }
+// private void addFiller(Composite composite) {
+// PixelConverter pixelConverter = new PixelConverter(composite);
+//
+// Label filler = new Label(composite, SWT.LEFT);
+// GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
+// gd.horizontalSpan = 2;
+// gd.heightHint = pixelConverter.convertHeightInCharsToPixels(1) / 2;
+// filler.setLayoutData(gd);
+// }
private Button addCheckBox(Composite parent, String label, String key,
int indentation) {