view dwt/layout/FillData.d @ 0:380af2bdd8e5

Upload of whole dwt tree
author Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com>
date Sat, 09 Aug 2008 17:00:02 +0200
parents
children fbe68c33eeee
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 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
 *******************************************************************************/
module dwt.layout.FillData;

import dwt.dwthelper.utils;

import dwt.DWT;
import dwt.graphics.Point;
import dwt.widgets.Control;

class FillData {

    int defaultWidth = -1, defaultHeight = -1;
    int currentWhint, currentHhint, currentWidth = -1, currentHeight = -1;
    
Point computeSize (Control control, int wHint, int hHint, bool flushCache) {
    if (flushCache) flushCache();
    if (wHint is DWT.DEFAULT && hHint is DWT.DEFAULT) {
        if (defaultWidth is -1 || defaultHeight is -1) {
            Point size = control.computeSize (wHint, hHint, flushCache);
            defaultWidth = size.x;
            defaultHeight = size.y;
        }
        return new Point(defaultWidth, defaultHeight);
    }
    if (currentWidth is -1 || currentHeight is -1 || wHint !is currentWhint || hHint !is currentHhint) {
        Point size = control.computeSize (wHint, hHint, flushCache);
        currentWhint = wHint;
        currentHhint = hHint;
        currentWidth = size.x;
        currentHeight = size.y;
    }
    return new Point(currentWidth, currentHeight);
}
void flushCache () {
    defaultWidth = defaultHeight = -1;
    currentWidth = currentHeight = -1;
}
}