changeset 49:a67796650ad4

FillData and FillLayout
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Jan 2008 10:21:36 +0100
parents 8e9ea24111fd
children d48f7334742c
files dwt/layout/FillData.d dwt/layout/FillLayout.d
diffstat 2 files changed, 288 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dwt/layout/FillData.d	Fri Jan 11 10:21:36 2008 +0100
@@ -0,0 +1,45 @@
+/*******************************************************************************
+ * 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.SWT;
+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 SWT.DEFAULT && hHint is SWT.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;
+}
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dwt/layout/FillLayout.d	Fri Jan 11 10:21:36 2008 +0100
@@ -0,0 +1,243 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 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
+ *******************************************************************************/
+module dwt.layout.FillLayout;
+
+import dwt.SWT;
+import dwt.graphics.Point;
+import dwt.graphics.Rectangle;
+import dwt.widgets.Control;
+import dwt.widgets.Layout;
+import dwt.widgets.Composite;
+import dwt.widgets.Scrollable;
+import dwt.layout.FillData;
+
+import tango.text.Util;
+import tango.util.Convert;
+
+/**
+ * <code>FillLayout</code> is the simplest layout class. It lays out
+ * controls in a single row or column, forcing them to be the same size.
+ * <p>
+ * Initially, the controls will all be as tall as the tallest control,
+ * and as wide as the widest. <code>FillLayout</code> does not wrap,
+ * but you can specify margins and spacing. You might use it to
+ * lay out buttons in a task bar or tool bar, or to stack checkboxes
+ * in a <code>Group</code>. <code>FillLayout</code> can also be used
+ * when a <code>Composite</code> only has one child. For example,
+ * if a <code>Shell</code> has a single <code>Group</code> child,
+ * <code>FillLayout</code> will cause the <code>Group</code> to
+ * completely fill the <code>Shell</code> (if margins are 0).
+ * </p>
+ * <p>
+ * Example code: first a <code>FillLayout</code> is created and
+ * its type field is set, and then the layout is set into the
+ * <code>Composite</code>. Note that in a <code>FillLayout</code>,
+ * children are always the same size, and they fill all available space.
+ * <pre>
+ * 		FillLayout fillLayout = new FillLayout();
+ * 		fillLayout.type = SWT.VERTICAL;
+ * 		shell.setLayout(fillLayout);
+ * </pre>
+ * </p>
+ */
+public final class FillLayout : Layout {
+	/**
+	 * type specifies how controls will be positioned
+	 * within the layout.
+	 *
+	 * The default value is HORIZONTAL.
+	 *
+	 * Possible values are: <ul>
+	 *    <li>HORIZONTAL: Position the controls horizontally from left to right</li>
+	 *    <li>VERTICAL: Position the controls vertically from top to bottom</li>
+	 * </ul>
+	 */
+	public int type = SWT.HORIZONTAL;
+
+	/**
+	 * marginWidth specifies the number of pixels of horizontal margin
+	 * that will be placed along the left and right edges of the layout.
+	 *
+	 * The default value is 0.
+	 *
+	 * @since 3.0
+	 */
+ 	public int marginWidth = 0;
+
+	/**
+	 * marginHeight specifies the number of pixels of vertical margin
+	 * that will be placed along the top and bottom edges of the layout.
+	 *
+	 * The default value is 0.
+	 *
+	 * @since 3.0
+	 */
+ 	public int marginHeight = 0;
+
+ 	/**
+	 * spacing specifies the number of pixels between the edge of one cell
+	 * and the edge of its neighbouring cell.
+	 *
+	 * The default value is 0.
+	 *
+	 * @since 3.0
+	 */
+	public int spacing = 0;
+
+/**
+ * Constructs a new instance of this class.
+ */
+public this () {
+}
+
+/**
+ * Constructs a new instance of this class given the type.
+ *
+ * @param type the type of fill layout
+ *
+ * @since 2.0
+ */
+public this (int type) {
+	this.type = type;
+}
+
+protected Point computeSize (Composite composite, int wHint, int hHint, bool flushCache) {
+	Control [] children = composite.getChildren ();
+	int count = children.length;
+	int maxWidth = 0, maxHeight = 0;
+	for (int i=0; i<count; i++) {
+		Control child = children [i];
+		int w = wHint, h = hHint;
+		if (count > 0) {
+			if (type is SWT.HORIZONTAL && wHint !is SWT.DEFAULT) {
+				w = Math.max (0, (wHint - (count - 1) * spacing) / count);
+			}
+			if (type is SWT.VERTICAL && hHint !is SWT.DEFAULT) {
+				h = Math.max (0, (hHint - (count - 1) * spacing) / count);
+			}
+		}
+		Point size = computeChildSize (child, w, h, flushCache);
+		maxWidth = Math.max (maxWidth, size.x);
+		maxHeight = Math.max (maxHeight, size.y);
+	}
+	int width = 0, height = 0;
+	if (type is SWT.HORIZONTAL) {
+		width = count * maxWidth;
+		if (count !is 0) width += (count - 1) * spacing;
+		height = maxHeight;
+	} else {
+		width = maxWidth;
+		height = count * maxHeight;
+		if (count !is 0) height += (count - 1) * spacing;
+	}
+	width += marginWidth * 2;
+	height += marginHeight * 2;
+	if (wHint !is SWT.DEFAULT) width = wHint;
+	if (hHint !is SWT.DEFAULT) height = hHint;
+	return new Point (width, height);
+}
+
+Point computeChildSize (Control control, int wHint, int hHint, bool flushCache) {
+	FillData data = cast(FillData)control.getLayoutData ();
+	if (data is null) {
+		data = new FillData ();
+		control.setLayoutData (data);
+	}
+	Point size = null;
+	if (wHint is SWT.DEFAULT && hHint is SWT.DEFAULT) {
+		size = data.computeSize (control, wHint, hHint, flushCache);
+	} else {
+		// TEMPORARY CODE
+		int trimX, trimY;
+		if ( auto sa = cast(Scrollable)control ) {
+			Rectangle rect = sa.computeTrim (0, 0, 0, 0);
+			trimX = rect.width;
+			trimY = rect.height;
+		} else {
+			trimX = trimY = control.getBorderWidth () * 2;
+		}
+		int w = wHint is SWT.DEFAULT ? wHint : Math.max (0, wHint - trimX);
+		int h = hHint is SWT.DEFAULT ? hHint : Math.max (0, hHint - trimY);
+		size = data.computeSize (control, w, h, flushCache);
+	}
+	return size;
+}
+
+protected bool flushCache (Control control) {
+	Object data = control.getLayoutData();
+	if (data !is null) (cast(FillData)data).flushCache();
+	return true;
+}
+
+char[] getName () {
+	char[] string = this.classinfo.name;
+	int index = locatePrior( string, '.');
+	if (index is string.length ) return string;
+	return string[ index + 1 .. string.length ];
+}
+
+protected void layout (Composite composite, bool flushCache) {
+	Rectangle rect = composite.getClientArea ();
+	Control [] children = composite.getChildren ();
+	int count = children.length;
+	if (count is 0) return;
+	int width = rect.width - marginWidth * 2;
+	int height = rect.height - marginHeight * 2;
+	if (type is SWT.HORIZONTAL) {
+		width -= (count - 1) * spacing;
+		int x = rect.x + marginWidth, extra = width % count;
+		int y = rect.y + marginHeight, cellWidth = width / count;
+		for (int i=0; i<count; i++) {
+			Control child = children [i];
+			int childWidth = cellWidth;
+			if (i is 0) {
+				childWidth += extra / 2;
+			} else {
+				if (i is count - 1) childWidth += (extra + 1) / 2;
+			}
+			child.setBounds (x, y, childWidth, height);
+			x += childWidth + spacing;
+		}
+	} else {
+		height -= (count - 1) * spacing;
+		int x = rect.x + marginWidth, cellHeight = height / count;
+		int y = rect.y + marginHeight, extra = height % count;
+		for (int i=0; i<count; i++) {
+			Control child = children [i];
+			int childHeight = cellHeight;
+			if (i is 0) {
+				childHeight += extra / 2;
+			} else {
+				if (i is count - 1) childHeight += (extra + 1) / 2;
+			}
+			child.setBounds (x, y, width, childHeight);
+			y += childHeight + spacing;
+		}
+	}
+}
+
+/**
+ * Returns a string containing a concise, human-readable
+ * description of the receiver.
+ *
+ * @return a string representation of the layout
+ */
+public char[] toString () {
+ 	char[] string = getName () ~ " {";
+ 	string ~= "type="~((type is SWT.VERTICAL) ? "SWT.VERTICAL" : "SWT.HORIZONTAL")~" ";
+ 	if (marginWidth !is 0) string ~= "marginWidth="~to!(char[])(marginWidth)~" ";
+ 	if (marginHeight !is 0) string ~= "marginHeight="~to!(char[])(marginHeight)~" ";
+ 	if (spacing !is 0) string ~= "spacing="~to!(char[])(spacing)~" ";
+ 	string = trim( string );
+ 	string ~= "}";
+ 	return string;
+}
+}