view dwtx/jface/layout/LayoutConstants.d @ 13:6886832e1ed8

ErrorDialog
author Frank Benoit <benoit@tionex.de>
date Mon, 31 Mar 2008 01:41:52 +0200
parents
children
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 2005, 2006 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 * Port to the D programming language:
 *     Frank Benoit <benoit@tionex.de>
 *******************************************************************************/
module dwtx.jface.layout.LayoutConstants;


import dwt.graphics.FontMetrics;
import dwt.graphics.GC;
import dwt.graphics.Point;
import dwt.widgets.Display;
import dwtx.jface.dialogs.Dialog;
import dwtx.jface.dialogs.IDialogConstants;
import dwtx.jface.resource.JFaceResources;

/**
 * Contains various layout constants
 *
 * @since 3.2
 */
public final class LayoutConstants {
    private static Point dialogMargins = null;
    private static Point dialogSpacing = null;
    private static Point minButtonSize = null;

    private static void initializeConstants() {
        if (dialogMargins !is null) {
            return;
        }

        GC gc = new GC(Display.getCurrent());
        gc.setFont(JFaceResources.getDialogFont());
        FontMetrics fontMetrics = gc.getFontMetrics();

        dialogMargins = new Point(Dialog.convertHorizontalDLUsToPixels(fontMetrics, IDialogConstants.HORIZONTAL_MARGIN),
                Dialog.convertVerticalDLUsToPixels(fontMetrics, IDialogConstants.VERTICAL_MARGIN));

        dialogSpacing = new Point(Dialog.convertHorizontalDLUsToPixels(fontMetrics, IDialogConstants.HORIZONTAL_SPACING),
                Dialog.convertVerticalDLUsToPixels(fontMetrics, IDialogConstants.VERTICAL_SPACING));

        minButtonSize  = new Point(Dialog.convertHorizontalDLUsToPixels(fontMetrics, IDialogConstants.BUTTON_WIDTH), 0);

        gc.dispose();
    }

    /**
     * Returns the default dialog margins, in pixels
     *
     * @return the default dialog margins, in pixels
     */
    public static final Point getMargins() {
        initializeConstants();
        return dialogMargins;
    }

    /**
     * Returns the default dialog spacing, in pixels
     *
     * @return the default dialog spacing, in pixels
     */
    public static final Point getSpacing() {
        initializeConstants();
        return dialogSpacing;
    }

    /**
     * Returns the default minimum button size, in pixels
     *
     * @return the default minimum button size, in pixels
     */
    public static final Point getMinButtonSize() {
        initializeConstants();
        return minButtonSize;
    }
}