Examples of org.erlide.ui.util.PixelConverter.convertHeightInCharsToPixels()

org.erlide.ui.util.PixelConverter.convertHeightInCharsToPixels()
@see org.eclipse.jface.dialogs.DialogPage#convertHeightInCharsToPixels(int)

    private void addFiller(final Composite composite, final int horizontalSpan) {
        final PixelConverter pixelConverter = new PixelConverter(composite);
        final Label filler = new Label(composite, SWT.LEFT);
        final GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
        gd.horizontalSpan = horizontalSpan;
        gd.heightHint = pixelConverter.convertHeightInCharsToPixels(1) / 2;
        filler.setLayoutData(gd);
    }


    public static String loadPreviewContentFromFile(final Class<?> clazz,
            final String filename) {

View Full Code Here

                | GridData.VERTICAL_ALIGN_FILL);
        composite.setLayoutData(gd);
        final GridLayout layout = new GridLayout();
        layout.numColumns = 2;
        final PixelConverter pc = new PixelConverter(composite);
        layout.verticalSpacing = pc.convertHeightInCharsToPixels(1) / 2;
        composite.setLayout(layout);


        /* check box for new editors */
        fFoldingCheckbox = new Button(composite, SWT.CHECK);
        fFoldingCheckbox.setText(PreferencesMessages.FoldingConfigurationBlock_enable);

View Full Code Here

        gd.grabExcessHorizontalSpace = false;
        gd.verticalAlignment = GridData.FILL;
        gd.grabExcessVerticalSpace = true;
        gd.horizontalSpan = nColumns - 2;
        gd.widthHint = converter.convertWidthInCharsToPixels(50);
        gd.heightHint = converter.convertHeightInCharsToPixels(6);


        list.setLayoutData(gd);


        final Composite buttons = getButtonBox(parent);
        gd = new GridData();

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.