Package org.erlide.ui.util

Examples of org.erlide.ui.util.PixelConverter


        fPreviewViewer.invalidateTextPresentation();
        return colorComposite;
    }

    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);
    }
View Full Code Here


        GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_CENTER
                | 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

        assertThat(button, is(not(nullValue())));
        final Object o = button.getLayoutData();
        if (o instanceof GridData) {
            final GridData gd = (GridData) o;
            button.setFont(JFaceResources.getDialogFont());
            final PixelConverter converter = new PixelConverter(button);
            final int widthHint1 = converter
                    .convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
            gd.widthHint = Math.max(widthHint1,
                    button.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
            gd.horizontalAlignment = GridData.FILL;
        }
View Full Code Here

    /*
     * @see DialogField#doFillIntoGrid
     */
    @Override
    public Control[] doFillIntoGrid(final Composite parent, final int nColumns) {
        final PixelConverter converter = new PixelConverter(parent);

        assertEnoughColumns(nColumns);

        final Label label = getLabelControl(parent);
        GridData gd = gridDataForLabel(1);
        gd.verticalAlignment = GridData.BEGINNING;
        label.setLayoutData(gd);

        final Control list = getListControl(parent);
        gd = new GridData();
        gd.horizontalAlignment = GridData.FILL;
        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

Related Classes of org.erlide.ui.util.PixelConverter

Copyright © 2018 www.massapicom. All rights reserved.
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.