private void createSeparateLabel(Composite composite, int h_span) { PixelConverter pixelConverter= new PixelConverter(composite); int width= pixelConverter.convertWidthInCharsToPixels(40); Label label= new Label(composite, SWT.NONE | SWT.WRAP); label.setText(PreferencesMessages.CodeAssistAdvancedConfigurationBlock_separate_table_description); GridData gd= new GridData(GridData.FILL, GridData.FILL, false, false, h_span, 1); gd.widthHint= width; label.setLayoutData(gd); }
/** * Returns a width hint for a button control. */ public static int getButtonWidthHint(Button button) { /*button.setFont(JFaceResources.getDialogFont());*/ PixelConverter converter= new PixelConverter(button); int widthHint= converter.convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH); return Math.max(widthHint, button.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x); }
private void addFiller(Composite composite) { PixelConverter pixelConverter= new PixelConverter(composite); Label filler= new Label(composite, SWT.LEFT ); GridData gd= new GridData(SWT.FILL, SWT.CENTER, false, false); gd.horizontalSpan= 2; gd.heightHint= pixelConverter.convertHeightInCharsToPixels(1) / 2; filler.setLayoutData(gd); }
protected GridLayout createGridLayout(int numColumns, boolean margins) { final GridLayout layout= new GridLayout(numColumns, false); layout.verticalSpacing= fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_SPACING); layout.horizontalSpacing= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_SPACING); if (margins) { layout.marginHeight= fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); layout.marginWidth= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_MARGIN); } else { layout.marginHeight= 0; layout.marginWidth= 0; } return layout; }
protected static void createGridLayout(Composite composite, int numColumns, boolean margins) { final GridLayout layout= new GridLayout(numColumns, false); PixelConverter pixelConverter= new PixelConverter(composite); layout.verticalSpacing= pixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_SPACING); layout.horizontalSpacing= pixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_SPACING); if (margins) { layout.marginHeight= pixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); layout.marginWidth= pixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_MARGIN); } else { layout.marginHeight= 0; layout.marginWidth= 0; } composite.setLayout(layout); }
public static void openJavadocWizard(JavadocWizard wizard, Shell shell, IStructuredSelection selection ) { wizard.init(PlatformUI.getWorkbench(), selection); WizardDialog dialog= new WizardDialog(shell, wizard) { @Override protected IDialogSettings getDialogBoundsSettings() { // added so that the wizard can remember the last used size return JavaPlugin.getDefault().getDialogSettingsSection("JavadocWizardDialog"); //$NON-NLS-1$ } }; PixelConverter converter= new PixelConverter(JFaceResources.getDialogFont()); dialog.setMinimumPageSize(converter.convertWidthInCharsToPixels(100), converter.convertHeightInCharsToPixels(20)); dialog.open(); }
/** * Returns a height hint for a button control. * @deprecated * @see IDialogConstants#BUTTON_HEIGHT */ @Deprecated public static int getButtonHeigthHint(Button button) { if (button.getFont().equals(JFaceResources.getDefaultFont())) button.setFont(JFaceResources.getDialogFont()); PixelConverter converter= new PixelConverter(button); return converter.convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT); }
@Override protected Control createContents(Composite parent) { fPixelConverter= new PixelConverter(parent); setShell(parent.getShell()); Composite complianceComposite= createComplianceTabContent(parent); validateSettings(null, null, null); return complianceComposite; }
/** * Creates a spacer control with a pre-defined width. * * @param parent the parent composite */ // should be called "createSpacer" protected void intent(Composite parent) { Label l= new Label(parent, SWT.NONE); GridData gd= new GridData(); gd.widthHint= fPixelConverter.convertWidthInCharsToPixels(4); l.setLayoutData(gd); }
public static int openWizard(Shell shell, ClasspathContainerWizard wizard) { WizardDialog dialog= new WizardDialog(shell, wizard); PixelConverter converter= new PixelConverter(JFaceResources.getDialogFont()); dialog.setMinimumPageSize(converter.convertWidthInCharsToPixels(70), converter.convertHeightInCharsToPixels(20)); dialog.create(); return dialog.open(); }
@Override public final Composite createContents(Composite parent) { if (fPixelConverter == null) fPixelConverter= new PixelConverter(parent); Composite composite= new Composite(parent, SWT.NONE); composite.setLayoutData(new GridData()); final int numColumns= 2; GridLayout layout= new GridLayout(numColumns, false); layout.verticalSpacing= (int)(1.5 * fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_SPACING)); layout.horizontalSpacing= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_SPACING); layout.marginHeight= fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); layout.marginWidth= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_MARGIN); composite.setLayout(layout); doCreatePreferences(composite, numColumns); return composite; }
fEditButton.setText(RefactoringMessages.PushDownInputPage_Edit); final GridData data= new GridData(GridData.FILL_HORIZONTAL); data.verticalIndent= new PixelConverter(parent).convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); fEditButton.setLayoutData(data); fEditButton.setEnabled(false);
protected GridLayout createGridLayout(int numColumns, boolean margins) { final GridLayout layout= new GridLayout(numColumns, false); layout.verticalSpacing= fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_SPACING); layout.horizontalSpacing= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_SPACING); if (margins) { layout.marginHeight= fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); layout.marginWidth= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_MARGIN); } else { layout.marginHeight= 0; layout.marginWidth= 0; } return layout; }
@Override protected Control createContents(Composite parent) { fPixelConverter= new PixelConverter(parent); setShell(parent.getShell()); Composite javadocComposite= createJavadocTabContent(parent); validateSettings(null, null, null); return javadocComposite; }
/** * Creates a spacer control with a pre-defined width. * * @param parent the parent composite */ // should be called "createSpacer" protected void intent(Composite parent) { Label l= new Label(parent, SWT.NONE); GridData gd= new GridData(); gd.widthHint= fPixelConverter.convertWidthInCharsToPixels(4); l.setLayoutData(gd); }
public static int openWizard(Shell shell, ClasspathContainerWizard wizard) { WizardDialog dialog= new WizardDialog(shell, wizard); PixelConverter converter= new PixelConverter(JFaceResources.getDialogFont()); dialog.setMinimumPageSize(converter.convertWidthInCharsToPixels(70), converter.convertHeightInCharsToPixels(20)); dialog.create(); return dialog.open(); }
private void createSeparateLabel(Composite composite, int h_span) { PixelConverter pixelConverter= new PixelConverter(composite); int width= pixelConverter.convertWidthInCharsToPixels(40); Label label= new Label(composite, SWT.NONE | SWT.WRAP); label.setText(PreferencesMessages.CodeAssistAdvancedConfigurationBlock_separate_table_description); GridData gd= new GridData(GridData.FILL, GridData.FILL, false, false, h_span, 1); gd.widthHint= width; label.setLayoutData(gd); }
private void addFiller(Composite composite, int horizontalSpan) { PixelConverter pixelConverter= new PixelConverter(composite); Label filler= new Label(composite, SWT.LEFT ); GridData gd= new GridData(GridData.HORIZONTAL_ALIGN_FILL); gd.horizontalSpan= horizontalSpan; gd.heightHint= pixelConverter.convertHeightInCharsToPixels(1) / 2; filler.setLayoutData(gd); }
/** * Returns a width hint for a button control. */ public static int getButtonWidthHint(Button button) { /* button.setFont(JFaceResources.getDialogFont()); */ PixelConverter converter = new PixelConverter(button); int widthHint = converter .convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH); return Math.max(widthHint, button.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x); }
fPixelConverter= new PixelConverter(parent); layout.verticalSpacing= (int)(1.5 * fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_SPACING)); layout.horizontalSpacing= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_SPACING); layout.marginHeight= fPixelConverter.convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); layout.marginWidth= fPixelConverter.convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_MARGIN); settingsPane.setLayout(layout); doCreatePreferences(settingsPane, numColumns);