projects/dwt2: org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/graphics/TextStyle.d annotate

author	Frank Benoit <benoit@tionex.de>
date	Mon, 02 Mar 2009 14:44:16 +0100
parents
children	950d84783eac

rev	line source
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1 /*******************************************************************************
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	2 * Copyright (c) 2000, 2008 IBM Corporation and others.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	3 * All rights reserved. This program and the accompanying materials
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	4 * are made available under the terms of the Eclipse Public License v1.0
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	5 * which accompanies this distribution, and is available at
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	6 * http://www.eclipse.org/legal/epl-v10.html
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	7 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	8 * Contributors:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	9 * IBM Corporation - initial API and implementation
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	10 * Port to the D programming language:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	11 * Frank Benoit <benoit@tionex.de>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	12 *******************************************************************************/
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	13 module org.eclipse.swt.graphics.TextStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	14
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	15 import org.eclipse.swt.SWT;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	16 import org.eclipse.swt.graphics.Font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	17 import org.eclipse.swt.graphics.Color;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	18 import org.eclipse.swt.graphics.GlyphMetrics;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	19
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	20 import tango.util.Convert;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	21 import java.lang.all;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	22
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	23 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	24 * <code>TextStyle</code> defines a set of styles that can be applied
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	25 * to a range of text.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	26 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	27 * The hashCode() method in this class uses the values of the public
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	28 * fields to compute the hash value. When storing instances of the
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	29 * class in hashed collections, do not modify these fields after the
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	30 * object has been inserted.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	31 * </p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	32 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	33 * Application code does <em>not</em> need to explicitly release the
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	34 * resources managed by each instance when those instances are no longer
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	35 * required, and thus no <code>dispose()</code> method is provided.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	36 * </p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	37 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	38 * @see TextLayout
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	39 * @see Font
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	40 * @see Color
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	41 * @see <a href="http://www.eclipse.org/swt/snippets/#textlayout">TextLayout, TextStyle snippets</a>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	42 * @see <a href="http://www.eclipse.org/swt/">Sample code and further information</a>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	43 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	44 * @since 3.0
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	45 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	46 public class TextStyle {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	47
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	48 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	49 * the font of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	50 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	51 public Font font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	52
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	53 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	54 * the foreground of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	55 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	56 public Color foreground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	57
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	58 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	59 * the background of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	60 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	61 public Color background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	62
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	63 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	64 * the underline flag of the style. The default underline
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	65 * style is <code>SWT.UNDERLINE_SINGLE</code>.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	66 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	67 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	68 * @since 3.1
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	69 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	70 public bool underline;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	71
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	72 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	73 * the underline color of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	74 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	75 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	76 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	77 public Color underlineColor;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	78
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	79 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	80 * the underline style. This style is ignored when
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	81 * <code>underline</code> is false.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	82 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	83 * This value should be one of <code>SWT.UNDERLINE_SINGLE</code>,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	84 * <code>SWT.UNDERLINE_DOUBLE</code>, <code>SWT.UNDERLINE_ERROR</code>,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	85 * or <code>SWT.UNDERLINE_SQUIGGLE</code>.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	86 * </p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	87 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	88 * @see SWT#UNDERLINE_SINGLE
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	89 * @see SWT#UNDERLINE_DOUBLE
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	90 * @see SWT#UNDERLINE_ERROR
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	91 * @see SWT#UNDERLINE_SQUIGGLE
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	92 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	93 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	94 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	95 public int underlineStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	96
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	97 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	98 * the strikeout flag of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	99 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	100 * @since 3.1
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	101 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	102 public bool strikeout;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	103
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	104 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	105 * the strikeout color of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	106 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	107 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	108 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	109 public Color strikeoutColor;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	110
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	111 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	112 * the border style. The default border style is <code>SWT.NONE</code>.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	113 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	114 * This value should be one of <code>SWT.BORDER_SOLID</code>,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	115 * <code>SWT.BORDER_DASH</code>,<code>SWT.BORDER_DOT</code> or
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	116 * <code>SWT.NONE</code>.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	117 * </p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	118 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	119 * @see SWT#BORDER_SOLID
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	120 * @see SWT#BORDER_DASH
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	121 * @see SWT#BORDER_DOT
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	122 * @see SWT#NONE
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	123 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	124 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	125 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	126 public int borderStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	127
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	128 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	129 * the border color of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	130 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	131 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	132 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	133 public Color borderColor;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	134
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	135 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	136 * the GlyphMetrics of the style
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	137 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	138 * @since 3.2
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	139 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	140 public GlyphMetrics metrics;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	141
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	142 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	143 * the baseline rise of the style.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	144 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	145 * @since 3.2
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	146 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	147 public int rise;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	148
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	149 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	150 * Create an empty text style.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	151 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	152 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	153 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	154 public this () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	155 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	156
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	157 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	158 * Create a new text style with the specified font, foreground
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	159 * and background.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	160 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	161 * @param font the font of the style, <code>null</code> if none
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	162 * @param foreground the foreground color of the style, <code>null</code> if none
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	163 * @param background the background color of the style, <code>null</code> if none
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	164 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	165 public this (Font font, Color foreground, Color background) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	166 if (font !is null && font.isDisposed()) SWT.error (SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	167 if (foreground !is null && foreground.isDisposed()) SWT.error (SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	168 if (background !is null && background.isDisposed()) SWT.error (SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	169 this.font = font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	170 this.foreground = foreground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	171 this.background = background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	172 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	173
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	174
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	175 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	176 * Create a new text style from an existing text style.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	177 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	178 * @param style the style to copy
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	179 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	180 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	181 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	182 public this (TextStyle style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	183 if (style is null) SWT.error (SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	184 font = style.font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	185 foreground = style.foreground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	186 background = style.background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	187 underline = style.underline;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	188 underlineColor = style.underlineColor;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	189 underlineStyle = style.underlineStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	190 strikeout = style.strikeout;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	191 strikeoutColor = style.strikeoutColor;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	192 borderStyle = style.borderStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	193 borderColor = style.borderColor;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	194 metrics = style.metrics;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	195 rise = style.rise;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	196 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	197
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	198 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	199 * Compares the argument to the receiver, and returns true
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	200 * if they represent the <em>same</em> object using a class
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	201 * specific comparison.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	202 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	203 * @param object the object to compare with this object
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	204 * @return <code>true</code> if the object is the same as this object and <code>false</code> otherwise
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	205 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	206 * @see #hashCode()
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	207 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	208 public override int opEquals(Object object) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	209 if (object is this) return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	210 if (object is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	211 if (!(cast(TextStyle)object)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	212 TextStyle style = cast(TextStyle)object;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	213 if (foreground !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	214 if ( foreground !is style.foreground ) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	215 } else if (style.foreground !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	216 if (background !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	217 if ( background !is style.background ) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	218 } else if (style.background !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	219 if (font !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	220 if (font !is style.font) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	221 } else if (style.font !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	222 if (metrics !is null \|\| style.metrics !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	223 if (underline !is style.underline) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	224 if (underlineStyle !is style.underlineStyle) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	225 if (borderStyle !is style.borderStyle) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	226 if (strikeout !is style.strikeout) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	227 if (rise !is style.rise) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	228 if (underlineColor !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	229 if (!underlineColor.equals(style.underlineColor)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	230 } else if (style.underlineColor !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	231 if (strikeoutColor !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	232 if (!strikeoutColor.equals(style.strikeoutColor)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	233 } else if (style.strikeoutColor !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	234 if (underlineStyle !is style.underlineStyle) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	235 if (borderColor !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	236 if (!borderColor.equals(style.borderColor)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	237 } else if (style.borderColor !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	238 return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	239 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	240
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	241 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	242 * Returns an integer hash code for the receiver. Any two
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	243 * objects that return <code>true</code> when passed to
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	244 * <code>equals</code> must return the same value for this
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	245 * method.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	246 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	247 * @return the receiver's hash
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	248 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	249 * @see #equals(Object)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	250 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	251 public override hash_t toHash() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	252 int hash = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	253 if (foreground !is null) hash ^= foreground.toHash();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	254 if (background !is null) hash ^= background.toHash();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	255 if (font !is null) hash ^= font.toHash();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	256 if (metrics !is null) hash ^= metrics.toHash();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	257 if (underline) hash ^= hash;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	258 if (strikeout) hash ^= hash;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	259 hash ^= rise;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	260 if (underlineColor !is null) hash ^= underlineColor.hashCode();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	261 if (strikeoutColor !is null) hash ^= strikeoutColor.hashCode();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	262 if (borderColor !is null) hash ^= borderColor.hashCode();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	263 hash ^= underlineStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	264 return hash;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	265 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	266
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	267 bool isAdherentBorder(TextStyle style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	268 if (this is style) return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	269 if (style is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	270 if (borderStyle !is style.borderStyle) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	271 if (borderColor !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	272 if (!borderColor.equals(style.borderColor)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	273 } else if (style.borderColor !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	274 return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	275 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	276
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	277 bool isAdherentUnderline(TextStyle style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	278 if (this is style) return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	279 if (style is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	280 if (underline !is style.underline) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	281 if (underlineStyle !is style.underlineStyle) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	282 if (underlineColor !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	283 if (!underlineColor.equals(style.underlineColor)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	284 } else if (style.underlineColor !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	285 return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	286 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	287
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	288 bool isAdherentStrikeout(TextStyle style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	289 if (this is style) return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	290 if (style is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	291 if (strikeout !is style.strikeout) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	292 if (strikeoutColor !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	293 if (!strikeoutColor.equals(style.strikeoutColor)) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	294 } else if (style.strikeoutColor !is null) return false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	295 return true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	296 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	297
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	298 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	299 * Returns a string containing a concise, human-readable
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	300 * description of the receiver.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	301 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	302 * @return a string representation of the <code>TextStyle</code>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	303 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	304 override public String toString () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	305 String buffer = "TextStyle {";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	306 int startLength = buffer.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	307 if (font !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	308 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	309 buffer ~= "font=";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	310 buffer ~= font.toString;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	311 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	312 if (foreground !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	313 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	314 buffer ~= "foreground=";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	315 buffer ~= foreground.toString;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	316 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	317 if (background !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	318 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	319 buffer ~= "background=";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	320 buffer ~= background.toString;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	321 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	322 if (underline) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	323 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	324 buffer ~= "underlined";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	325 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	326 if (strikeout) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	327 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	328 buffer ~= "striked out";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	329 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	330 if (rise !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	331 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	332 buffer ~= "rise=";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	333 buffer ~= to!(String)(rise);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	334 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	335 if (metrics !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	336 if (buffer.length > startLength) buffer ~= ", ";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	337 buffer ~= "metrics=";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	338 buffer ~= metrics.toString;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	339 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	340 buffer ~= "}";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	341 return buffer;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	342 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	343
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	344 }

0

6dd524f61e62 add dwt win and basic java stuff