view dwtx/draw2d/ScalableLayeredPane.d @ 98:95307ad235d9

Added Draw2d code, still work in progress
author Frank Benoit <benoit@tionex.de>
date Sun, 03 Aug 2008 00:52:14 +0200
parents
children
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 2000, 2005 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.draw2d.ScalableLayeredPane;

import dwt.dwthelper.utils;

import dwtx.draw2d.geometry.Dimension;
import dwtx.draw2d.geometry.Rectangle;
import dwtx.draw2d.geometry.Translatable;
import dwtx.draw2d.LayeredPane;
import dwtx.draw2d.ScalableFigure;
import dwtx.draw2d.Graphics;
import dwtx.draw2d.ScaledGraphics;

/**
 * A non-freeform, scalable layered pane.
 * @author Eric Bordeau
 * @since 2.1.1
 */
public class ScalableLayeredPane
    : LayeredPane
    , ScalableFigure
{

private double scale = 1.0;

/**
 * @see IFigure#getClientArea(Rectangle)
 */
public Rectangle getClientArea(Rectangle rect) {
    super.getClientArea(rect);
    rect.width /= scale;
    rect.height /= scale;
    rect.x /= scale;
    rect.y /= scale;
    return rect;
}

/**
 * @see Figure#getPreferredSize(int, int)
 */
public Dimension getMinimumSize(int wHint, int hHint) {
    Dimension d = super.getMinimumSize(cast(int) (wHint / getScale()), cast(int)(hHint / getScale()));
    int w = getInsets().getWidth();
    int h = getInsets().getHeight();
    return d.getExpanded(-w, -h)
        .scale(scale)
        .expand(w, h);
}

/**
 * @see Figure#getPreferredSize(int, int)
 */
public Dimension getPreferredSize(int wHint, int hHint) {
    Dimension d = super.getPreferredSize(cast(int) (wHint / getScale()), cast(int)(hHint / getScale()));
    int w = getInsets().getWidth();
    int h = getInsets().getHeight();
    return d.getExpanded(-w, -h)
        .scale(scale)
        .expand(w, h);
}

/**
 * Returns the scale level, default is 1.0.
 * @return the scale level
 */
public double getScale() {
    return scale;
}

/**
 * @see dwtx.draw2d.IFigure#isCoordinateSystem()
 */
public bool isCoordinateSystem() {
    return true;
}

/**
 * @see dwtx.draw2d.Figure#paintClientArea(Graphics)
 */
protected void paintClientArea(Graphics graphics) {
    if (getChildren().isEmpty())
        return;
    if (scale is 1.0) {
        super.paintClientArea(graphics);
    } else {
        ScaledGraphics g = new ScaledGraphics(graphics);
        bool optimizeClip = getBorder() is null || getBorder().isOpaque();
        if (!optimizeClip)
            g.clipRect(getBounds().getCropped(getInsets()));
        g.scale(scale);
        g.pushState();
        paintChildren(g);
        g.dispose();
        graphics.restoreState();
    }
}

/**
 * Sets the zoom level
 * @param newZoom The new zoom level
 */
public void setScale(double newZoom) {
    if (scale is newZoom)
        return;
    scale = newZoom;
    fireMoved(); //for AncestorListener compatibility
    revalidate();
    repaint();
}

/**
 * @see dwtx.draw2d.Figure#translateFromParent(Translatable)
 */
public void translateFromParent(Translatable t) {
    t.performScale(1 / scale);
}

/**
 * @see dwtx.draw2d.Figure#translateToParent(Translatable)
 */
public void translateToParent(Translatable t) {
    t.performScale(scale);
}

}