comparison 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
comparison
equal deleted inserted replaced
-1:000000000000 0:380af2bdd8e5
1 /*******************************************************************************
2 * Copyright (c) 2005 IBM Corporation and others.
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
7 *
8 * Contributors:
9 * IBM Corporation - initial API and implementation
10 *******************************************************************************/
11 module dwt.layout.FillData;
12
13 import dwt.dwthelper.utils;
14
15 import dwt.DWT;
16 import dwt.graphics.Point;
17 import dwt.widgets.Control;
18
19 class FillData {
20
21 int defaultWidth = -1, defaultHeight = -1;
22 int currentWhint, currentHhint, currentWidth = -1, currentHeight = -1;
23
24 Point computeSize (Control control, int wHint, int hHint, bool flushCache) {
25 if (flushCache) flushCache();
26 if (wHint is DWT.DEFAULT && hHint is DWT.DEFAULT) {
27 if (defaultWidth is -1 || defaultHeight is -1) {
28 Point size = control.computeSize (wHint, hHint, flushCache);
29 defaultWidth = size.x;
30 defaultHeight = size.y;
31 }
32 return new Point(defaultWidth, defaultHeight);
33 }
34 if (currentWidth is -1 || currentHeight is -1 || wHint !is currentWhint || hHint !is currentHhint) {
35 Point size = control.computeSize (wHint, hHint, flushCache);
36 currentWhint = wHint;
37 currentHhint = hHint;
38 currentWidth = size.x;
39 currentHeight = size.y;
40 }
41 return new Point(currentWidth, currentHeight);
42 }
43 void flushCache () {
44 defaultWidth = defaultHeight = -1;
45 currentWidth = currentHeight = -1;
46 }
47 }