projects/dwt2: org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/CTabItem.d annotate

annotate org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/CTabItem.d @ 125:c43718956f21 default tip

Updated the snippets status.

author	Jacob Carlborg <doob@me.com>
date	Thu, 11 Aug 2011 19:55:14 +0200
parents	536e43f63c81
children

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.custom.CTabItem;
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 java.lang.all;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	16
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	17
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	18
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	19 import org.eclipse.swt.SWT;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	20 import org.eclipse.swt.SWTException;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	21 import org.eclipse.swt.graphics.Color;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	22 import org.eclipse.swt.graphics.Font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	23 import org.eclipse.swt.graphics.GC;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	24 import org.eclipse.swt.graphics.Image;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	25 import org.eclipse.swt.graphics.Point;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	26 import org.eclipse.swt.graphics.RGB;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	27 import org.eclipse.swt.graphics.Rectangle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	28 import org.eclipse.swt.graphics.TextLayout;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	29 import org.eclipse.swt.widgets.Control;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	30 import org.eclipse.swt.widgets.Display;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	31 import org.eclipse.swt.widgets.Item;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	32 import org.eclipse.swt.widgets.Widget;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	33 import org.eclipse.swt.custom.CTabFolder;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	34
112 9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	35 version(Tango){
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	36 import tango.text.convert.Utf;
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	37 } else {
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	38 import std.conv;
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	39 alias to!(string) toString;
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	40 alias to!(dstring) toString32;
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	41 }
9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	42
0 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 * Instances of this class represent a selectable user interface object
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	45 * that represent a page in a notebook widget.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	46 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	47 * <dl>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	48 * <dt><b>Styles:</b></dt>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	49 * <dd>SWT.CLOSE</dd>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	50 * <dt><b>Events:</b></dt>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	51 * <dd>(none)</dd>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	52 * </dl>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	53 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	54 * IMPORTANT: This class is <em>not</em> intended to be subclassed.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	55 * </p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	56 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	57 * @see <a href="http://www.eclipse.org/swt/snippets/#ctabfolder">CTabFolder, CTabItem snippets</a>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	58 * @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	59 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	60 public class CTabItem : Item {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	61 CTabFolder parent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	62 int x,y,width,height = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	63 Control control; // the tab page
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	64
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	65 String toolTipText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	66 String shortenedText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	67 int shortenedTextWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	68
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	69 // Appearance
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	70 Font font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	71 Image disabledImage;
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 Rectangle closeRect;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	74 int closeImageState = CTabFolder.NONE;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	75 bool showClose = false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	76 bool showing = false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	77
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	78 // internal constants
36 d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	79 static const int TOP_MARGIN = 2;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	80 static const int BOTTOM_MARGIN = 2;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	81 static const int LEFT_MARGIN = 4;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	82 static const int RIGHT_MARGIN = 4;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	83 static const int INTERNAL_SPACING = 4;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	84 static const int FLAGS = SWT.DRAW_TRANSPARENT \| SWT.DRAW_MNEMONIC;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	85 static const String ELLIPSIS = "..."; //$NON-NLS-1$ // could use the ellipsis glyph on some platforms "\u2026"
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	86
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 * Constructs a new instance of this class given its parent
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	89 * (which must be a <code>CTabFolder</code>) and a style value
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	90 * describing its behavior and appearance. The item is added
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	91 * to the end of the items maintained by its parent.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	92 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	93 * The style value is either one of the style constants defined in
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	94 * class <code>SWT</code> which is applicable to instances of this
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	95 * class, or must be built by <em>bitwise OR</em>'ing together
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	96 * (that is, using the <code>int</code> "\|" operator) two or more
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	97 * of those <code>SWT</code> style constants. The class description
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	98 * lists the style constants that are applicable to the class.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	99 * Style bits are also inherited from superclasses.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	100 * </p>
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 * @param parent a CTabFolder which will be the parent of the new instance (cannot be null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	103 * @param style the style of control to construct
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 * @exception IllegalArgumentException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	106 * <li>ERROR_NULL_ARGUMENT - if the parent is null</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	107 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	108 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	109 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	110 * </ul>
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 * @see SWT
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	113 * @see Widget#getStyle()
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	114 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	115 public this (CTabFolder parent, int style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	116 this(parent, style, parent.getItemCount());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	117 }
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 * Constructs a new instance of this class given its parent
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	120 * (which must be a <code>CTabFolder</code>), a style value
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	121 * describing its behavior and appearance, and the index
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	122 * at which to place it in the items maintained by its parent.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	123 * <p>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	124 * The style value is either one of the style constants defined in
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	125 * class <code>SWT</code> which is applicable to instances of this
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	126 * class, or must be built by <em>bitwise OR</em>'ing together
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	127 * (that is, using the <code>int</code> "\|" operator) two or more
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	128 * of those <code>SWT</code> style constants. The class description
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	129 * lists the style constants that are applicable to the class.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	130 * Style bits are also inherited from superclasses.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	131 * </p>
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 * @param parent a CTabFolder which will be the parent of the new instance (cannot be null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	134 * @param style the style of control to construct
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	135 * @param index the zero-relative index to store the receiver in its parent
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	136 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	137 * @exception IllegalArgumentException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	138 * <li>ERROR_NULL_ARGUMENT - if the parent is null</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	139 * <li>ERROR_INVALID_RANGE - if the index is not between 0 and the number of elements in the parent (inclusive)</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	140 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	141 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	142 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	143 * </ul>
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 * @see SWT
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	146 * @see Widget#getStyle()
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	147 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	148 public this (CTabFolder parent, int style, int index) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	149 closeRect = new Rectangle(0, 0, 0, 0);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	150 super (parent, style);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	151 showClose = (style & SWT.CLOSE) !is 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	152 parent.createItem (this, index);
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
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 * Return whether to use ellipses or just truncate labels
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 bool useEllipses() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	159 return parent.simple;
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
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	162 String shortenText(GC gc, String text, int width) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	163 return useEllipses()
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	164 ? shortenText(gc, text, width, ELLIPSIS)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	165 : shortenText(gc, text, width, ""); //$NON-NLS-1$
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	166 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	167
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	168 String shortenText(GC gc, String text, int width, String ellipses) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	169 if (gc.textExtent(text, FLAGS).x <= width) return text;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	170 int ellipseWidth = gc.textExtent(ellipses, FLAGS).x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	171 int length = text.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	172 TextLayout layout = new TextLayout(getDisplay());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	173 layout.setText(text);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	174 int end = layout.getPreviousOffset(length, SWT.MOVEMENT_CLUSTER);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	175 while (end > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	176 text = text[ 0 .. end ];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	177 int l = gc.textExtent(text, FLAGS).x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	178 if (l + ellipseWidth <= width) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	179 break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	180 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	181 end = layout.getPreviousOffset(end, SWT.MOVEMENT_CLUSTER);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	182 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	183 layout.dispose();
112 9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	184 return end is 0 ? .toString(toString32(text)[0 .. 1]) : text ~ ellipses;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	185 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	186
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	187 public override void dispose() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	188 if (isDisposed ()) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	189 //if (!isValidThread ()) error (SWT.ERROR_THREAD_INVALID_ACCESS);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	190 parent.destroyItem(this);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	191 super.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	192 parent = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	193 control = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	194 toolTipText = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	195 shortenedText = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	196 font = null;
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 void drawClose(GC gc) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	199 if (closeRect.width is 0 \|\| closeRect.height is 0) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	200 Display display = getDisplay();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	201
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	202 // draw X 9x9
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	203 int indent = Math.max(1, (CTabFolder.BUTTON_SIZE-9)/2);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	204 int x = closeRect.x + indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	205 int y = closeRect.y + indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	206 y += parent.onBottom ? -1 : 1;
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 Color closeBorder = display.getSystemColor(CTabFolder.BUTTON_BORDER);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	209 switch (closeImageState) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	210 case CTabFolder.NORMAL: {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	211 int[] shape = [x,y, x+2,y, x+4,y+2, x+5,y+2, x+7,y, x+9,y,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	212 x+9,y+2, x+7,y+4, x+7,y+5, x+9,y+7, x+9,y+9,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	213 x+7,y+9, x+5,y+7, x+4,y+7, x+2,y+9, x,y+9,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	214 x,y+7, x+2,y+5, x+2,y+4, x,y+2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	215 gc.setBackground(display.getSystemColor(CTabFolder.BUTTON_FILL));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	216 gc.fillPolygon(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	217 gc.setForeground(closeBorder);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	218 gc.drawPolygon(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	219 break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	220 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	221 case CTabFolder.HOT: {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	222 int[] shape = [x,y, x+2,y, x+4,y+2, x+5,y+2, x+7,y, x+9,y,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	223 x+9,y+2, x+7,y+4, x+7,y+5, x+9,y+7, x+9,y+9,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	224 x+7,y+9, x+5,y+7, x+4,y+7, x+2,y+9, x,y+9,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	225 x,y+7, x+2,y+5, x+2,y+4, x,y+2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	226 Color fill = new Color(display, CTabFolder.CLOSE_FILL);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	227 gc.setBackground(fill);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	228 gc.fillPolygon(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	229 fill.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	230 gc.setForeground(closeBorder);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	231 gc.drawPolygon(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	232 break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	233 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	234 case CTabFolder.SELECTED: {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	235 int[] shape = [x+1,y+1, x+3,y+1, x+5,y+3, x+6,y+3, x+8,y+1, x+10,y+1,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	236 x+10,y+3, x+8,y+5, x+8,y+6, x+10,y+8, x+10,y+10,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	237 x+8,y+10, x+6,y+8, x+5,y+8, x+3,y+10, x+1,y+10,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	238 x+1,y+8, x+3,y+6, x+3,y+5, x+1,y+3];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	239 Color fill = new Color(display, CTabFolder.CLOSE_FILL);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	240 gc.setBackground(fill);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	241 gc.fillPolygon(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	242 fill.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	243 gc.setForeground(closeBorder);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	244 gc.drawPolygon(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	245 break;
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 case CTabFolder.NONE: {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	248 int[] shape = [x,y, x+10,y, x+10,y+10, x,y+10];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	249 if (parent.gradientColors !is null && !parent.gradientVertical) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	250 parent.drawBackground(gc, shape, false);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	251 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	252 Color defaultBackground = parent.getBackground();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	253 Image image = parent.bgImage;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	254 Color[] colors = parent.gradientColors;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	255 int[] percents = parent.gradientPercents;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	256 bool vertical = parent.gradientVertical;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	257 parent.drawBackground(gc, shape, x, y, 10, 10, defaultBackground, image, colors, percents, vertical);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	258 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	259 break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	260 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	261 default:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	262 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	263 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	264 void drawSelected(GC gc ) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	265 Point size = parent.getSize();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	266 int rightEdge = Math.min (x + width, parent.getRightItemEdge());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	267
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	268 // Draw selection border across all tabs
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	269 int xx = parent.borderLeft;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	270 int yy = parent.onBottom ? size.y - parent.borderBottom - parent.tabHeight - parent.highlight_header : parent.borderTop + parent.tabHeight + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	271 int ww = size.x - parent.borderLeft - parent.borderRight;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	272 int hh = parent.highlight_header - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	273 int[] shape = [xx,yy, xx+ww,yy, xx+ww,yy+hh, xx,yy+hh];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	274 if (parent.selectionGradientColors !is null && !parent.selectionGradientVertical) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	275 parent.drawBackground(gc, shape, true);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	276 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	277 gc.setBackground(parent.selectionBackground);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	278 gc.fillRectangle(xx, yy, ww, hh);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	279 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	280
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	281 if (parent.single) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	282 if (!showing) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	283 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	284 // if selected tab scrolled out of view or partially out of view
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	285 // just draw bottom line
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	286 if (!showing){
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	287 int x1 = Math.max(0, parent.borderLeft - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	288 int y1 = (parent.onBottom) ? y - 1 : y + height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	289 int x2 = size.x - parent.borderRight;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	290 gc.setForeground(CTabFolder.borderColor);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	291 gc.drawLine(x1, y1, x2, y1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	292 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	293 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	294
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	295 // draw selected tab background and outline
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	296 shape = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	297 if (this.parent.onBottom) {
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	298 TryConst!(int)[] left = parent.simple ? CTabFolder.SIMPLE_BOTTOM_LEFT_CORNER : CTabFolder.BOTTOM_LEFT_CORNER;
536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	299 TryConst!(int[]) right = parent.simple ? CTabFolder.SIMPLE_BOTTOM_RIGHT_CORNER : parent.curve;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	300 if (parent.borderLeft is 0 && parent.indexOf(this) is parent.firstIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	301 left = [x, y+height];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	302 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	303 shape = new int[left.length+right.length+8];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	304 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	305 shape[index++] = x; // first point repeated here because below we reuse shape to draw outline
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	306 shape[index++] = y - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	307 shape[index++] = x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	308 shape[index++] = y - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	309 for (int i = 0; i < left.length/2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	310 shape[index++] = x + left[2*i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	311 shape[index++] = y + height + left[2*i+1] - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	312 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	313 for (int i = 0; i < right.length/2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	314 shape[index++] = parent.simple ? rightEdge - 1 + right[2i] : rightEdge - parent.curveIndent + right[2i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	315 shape[index++] = parent.simple ? y + height + right[2i+1] - 1 : y + right[2i+1] - 2;
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 shape[index++] = parent.simple ? rightEdge - 1 : rightEdge + parent.curveWidth - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	318 shape[index++] = y - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	319 shape[index++] = parent.simple ? rightEdge - 1 : rightEdge + parent.curveWidth - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	320 shape[index++] = y - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	321 } else {
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	322 TryConst!(int)[] left = parent.simple ? CTabFolder.SIMPLE_TOP_LEFT_CORNER : CTabFolder.TOP_LEFT_CORNER;
536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	323 TryConst!(int[]) right = parent.simple ? CTabFolder.SIMPLE_TOP_RIGHT_CORNER : parent.curve;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	324 if (parent.borderLeft is 0 && parent.indexOf(this) is parent.firstIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	325 left = [x, y];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	326 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	327 shape = new int[left.length+right.length+8];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	328 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	329 shape[index++] = x; // first point repeated here because below we reuse shape to draw outline
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	330 shape[index++] = y + height + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	331 shape[index++] = x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	332 shape[index++] = y + height + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	333 for (int i = 0; i < left.length/2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	334 shape[index++] = x + left[2*i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	335 shape[index++] = y + left[2*i+1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	336 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	337 for (int i = 0; i < right.length/2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	338 shape[index++] = parent.simple ? rightEdge - 1 + right[2i] : rightEdge - parent.curveIndent + right[2i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	339 shape[index++] = y + right[2*i+1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	340 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	341 shape[index++] = parent.simple ? rightEdge - 1 : rightEdge + parent.curveWidth - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	342 shape[index++] = y + height + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	343 shape[index++] = parent.simple ? rightEdge - 1 : rightEdge + parent.curveWidth - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	344 shape[index++] = y + height + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	345 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	346
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	347 Rectangle clipping = gc.getClipping();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	348 Rectangle bounds = getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	349 bounds.height += 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	350 if (parent.onBottom) bounds.y -= 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	351 bool tabInPaint = clipping.intersects(bounds);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	352
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	353 if (tabInPaint) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	354 // fill in tab background
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	355 if (parent.selectionGradientColors !is null && !parent.selectionGradientVertical) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	356 parent.drawBackground(gc, shape, true);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	357 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	358 Color defaultBackground = parent.selectionBackground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	359 Image image = parent.selectionBgImage;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	360 Color[] colors = parent.selectionGradientColors;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	361 int[] percents = parent.selectionGradientPercents;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	362 bool vertical = parent.selectionGradientVertical;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	363 xx = x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	364 yy = parent.onBottom ? y -1 : y + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	365 ww = width;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	366 hh = height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	367 if (!parent.single && !parent.simple) ww += parent.curveWidth - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	368 parent.drawBackground(gc, shape, xx, yy, ww, hh, defaultBackground, image, colors, percents, vertical);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	369 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	370 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	371
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	372 //Highlight MUST be drawn before the outline so that outline can cover it in the right spots (start of swoop)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	373 //otherwise the curve looks jagged
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	374 drawHighlight(gc, rightEdge);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	375
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	376 // draw outline
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	377 shape[0] = Math.max(0, parent.borderLeft - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	378 if (parent.borderLeft is 0 && parent.indexOf(this) is parent.firstIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	379 shape[1] = parent.onBottom ? y + height - 1 : y;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	380 shape[5] = shape[3] = shape[1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	381 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	382 shape[shape.length - 2] = size.x - parent.borderRight + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	383 for (int i = 0; i < shape.length/2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	384 if (shape[2i + 1] is y + height + 1) shape[2i + 1] -= 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	385 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	386 RGB inside = parent.selectionBackground.getRGB();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	387 if (parent.selectionBgImage !is null \|\|
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	388 (parent.selectionGradientColors !is null && parent.selectionGradientColors.length > 1)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	389 inside = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	390 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	391 RGB outside = parent.getBackground().getRGB();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	392 if (parent.bgImage !is null \|\|
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	393 (parent.gradientColors !is null && parent.gradientColors.length > 1)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	394 outside = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	395 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	396 parent.antialias(shape, CTabFolder.borderColor.getRGB(), inside, outside, gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	397 gc.setForeground(CTabFolder.borderColor);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	398 gc.drawPolyline(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	399
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	400 if (!tabInPaint) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	401 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	402
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	403 // draw Image
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	404 int xDraw = x + LEFT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	405 if (parent.single && (parent.showClose \|\| showClose)) xDraw += CTabFolder.BUTTON_SIZE;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	406 Image image = getImage();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	407 if (image !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	408 Rectangle imageBounds = image.getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	409 // only draw image if it won't overlap with close button
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	410 int maxImageWidth = rightEdge - xDraw - RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	411 if (!parent.single && closeRect.width > 0) maxImageWidth -= closeRect.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	412 if (imageBounds.width < maxImageWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	413 int imageX = xDraw;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	414 int imageY = y + (height - imageBounds.height) / 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	415 imageY += parent.onBottom ? -1 : 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	416 gc.drawImage(image, imageX, imageY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	417 xDraw += imageBounds.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	418 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	419 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	420
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	421 // draw Text
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	422 int textWidth = rightEdge - xDraw - RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	423 if (!parent.single && closeRect.width > 0) textWidth -= closeRect.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	424 if (textWidth > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	425 Font gcFont = gc.getFont();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	426 gc.setFont(font is null ? parent.getFont() : font);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	427
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	428 if (shortenedText is null \|\| shortenedTextWidth !is textWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	429 shortenedText = shortenText(gc, getText(), textWidth);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	430 shortenedTextWidth = textWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	431 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	432 Point extent = gc.textExtent(shortenedText, FLAGS);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	433 int textY = y + (height - extent.y) / 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	434 textY += parent.onBottom ? -1 : 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	435
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	436 gc.setForeground(parent.selectionForeground);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	437 gc.drawText(shortenedText, xDraw, textY, FLAGS);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	438 gc.setFont(gcFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	439
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	440 // draw a Focus rectangle
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	441 if (parent.isFocusControl()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	442 Display display = getDisplay();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	443 if (parent.simple \|\| parent.single) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	444 gc.setBackground(display.getSystemColor(SWT.COLOR_BLACK));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	445 gc.setForeground(display.getSystemColor(SWT.COLOR_WHITE));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	446 gc.drawFocus(xDraw-1, textY-1, extent.x+2, extent.y+2);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	447 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	448 gc.setForeground(display.getSystemColor(CTabFolder.BUTTON_BORDER));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	449 gc.drawLine(xDraw, textY+extent.y+1, xDraw+extent.x+1, textY+extent.y+1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	450 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	451 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	452 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	453 if (parent.showClose \|\| showClose) drawClose(gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	454 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	455
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	456 /*
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	457 * Draw a highlight effect along the left, top, and right edges of the tab.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	458 * Only for curved tabs, on top.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	459 * Do not draw if insufficient colors.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	460 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	461 void drawHighlight(GC gc, int rightEdge) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	462 //only draw for curvy tabs and only draw for top tabs
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	463 if(parent.simple \|\| this.parent.onBottom)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	464 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	465
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	466 if(parent.selectionHighlightGradientBegin is null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	467 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	468
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	469 Color[] gradients = parent.selectionHighlightGradientColorsCache;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	470 if(gradients is null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	471 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	472 int gradientsSize = gradients.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	473 if(gradientsSize is 0)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	474 return; //shouldn't happen but just to be tidy
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	475
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	476 gc.setForeground(gradients[0]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	477
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	478 //draw top horizontal line
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	479 gc.drawLine(
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	480 CTabFolder.TOP_LEFT_CORNER_HILITE[0] + x + 1, //rely on fact that first pair is top/right of curve
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	481 1 + y,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	482 rightEdge - parent.curveIndent,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	483 1 + y);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	484
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	485 const int[] leftHighlightCurve = CTabFolder.TOP_LEFT_CORNER_HILITE;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	486
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	487 int d = parent.tabHeight - parent.topCurveHighlightEnd.length /2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	488
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	489 int lastX = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	490 int lastY = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	491 int lastColorIndex = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	492
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	493 //draw upper left curve highlight
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	494 for (int i = 0; i < leftHighlightCurve.length /2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	495 int rawX = leftHighlightCurve[i * 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	496 int rawY = leftHighlightCurve[i * 2 + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	497 lastX = rawX + x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	498 lastY = rawY + y;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	499 lastColorIndex = rawY - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	500 gc.setForeground(gradients[lastColorIndex]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	501 gc.drawPoint(lastX, lastY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	502 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	503 //draw left vertical line highlight
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	504 for(int i = lastColorIndex; i < gradientsSize; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	505 gc.setForeground(gradients[i]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	506 gc.drawPoint(lastX, 1 + lastY++);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	507 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	508
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	509 int rightEdgeOffset = rightEdge - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	510
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	511 //draw right swoop highlight up to diagonal portion
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	512 for (int i = 0; i < parent.topCurveHighlightStart.length /2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	513 int rawX = parent.topCurveHighlightStart[i * 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	514 int rawY = parent.topCurveHighlightStart[i * 2 + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	515 lastX = rawX + rightEdgeOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	516 lastY = rawY + y;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	517 lastColorIndex = rawY - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	518 if(lastColorIndex >= gradientsSize)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	519 break; //can happen if tabs are unusually short and cut off the curve
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	520 gc.setForeground(gradients[lastColorIndex]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	521 gc.drawPoint(lastX, lastY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	522 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	523 //draw right diagonal line highlight
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	524 for(int i = lastColorIndex; i < lastColorIndex + d; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	525 if(i >= gradientsSize)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	526 break; //can happen if tabs are unusually short and cut off the curve
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	527 gc.setForeground(gradients[i]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	528 gc.drawPoint(1 + lastX++, 1 + lastY++);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	529 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	530
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	531 //draw right swoop highlight from diagonal portion to end
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	532 for (int i = 0; i < parent.topCurveHighlightEnd.length /2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	533 int rawX = parent.topCurveHighlightEnd[i * 2]; //d is already encoded in this value
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	534 int rawY = parent.topCurveHighlightEnd[i * 2 + 1]; //d already encoded
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	535 lastX = rawX + rightEdgeOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	536 lastY = rawY + y;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	537 lastColorIndex = rawY - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	538 if(lastColorIndex >= gradientsSize)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	539 break; //can happen if tabs are unusually short and cut off the curve
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	540 gc.setForeground(gradients[lastColorIndex]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	541 gc.drawPoint(lastX, lastY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	542 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	543 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	544
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	545 /*
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	546 * Draw the unselected border for the receiver on the right.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	547 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	548 * @param gc
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	549 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	550 void drawRightUnselectedBorder(GC gc) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	551
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	552 int[] shape = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	553 int startX = x + width - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	554
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	555 if (this.parent.onBottom) {
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	556 TryConst!(int[]) right = parent.simple
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	557 ? CTabFolder.SIMPLE_UNSELECTED_INNER_CORNER
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	558 : CTabFolder.BOTTOM_RIGHT_CORNER;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	559
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	560 shape = new int[right.length + 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	561 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	562
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	563 for (int i = 0; i < right.length / 2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	564 shape[index++] = startX + right[2 * i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	565 shape[index++] = y + height + right[2 * i + 1] - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	566 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	567 shape[index++] = startX;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	568 shape[index++] = y - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	569 } else {
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	570 TryConst!(int[]) right = parent.simple
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	571 ? CTabFolder.SIMPLE_UNSELECTED_INNER_CORNER
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	572 : CTabFolder.TOP_RIGHT_CORNER;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	573
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	574 shape = new int[right.length + 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	575 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	576
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	577 for (int i = 0; i < right.length / 2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	578 shape[index++] = startX + right[2 * i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	579 shape[index++] = y + right[2 * i + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	580 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	581
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	582 shape[index++] = startX;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	583 shape[index++] = y + height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	584
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	585 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	586
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	587 drawBorder(gc, shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	588
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	589 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	590
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	591 /*
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	592 * Draw the border of the tab
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	593 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	594 * @param gc
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	595 * @param shape
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	596 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	597 void drawBorder(GC gc, int[] shape) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	598
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	599 gc.setForeground(CTabFolder.borderColor);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	600 gc.drawPolyline(shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	601 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	602
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	603 /*
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	604 * Draw the unselected border for the receiver on the left.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	605 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	606 * @param gc
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	607 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	608 void drawLeftUnselectedBorder(GC gc) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	609
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	610 int[] shape = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	611 if (this.parent.onBottom) {
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	612 TryConst!(int[]) left = parent.simple
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	613 ? CTabFolder.SIMPLE_UNSELECTED_INNER_CORNER
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	614 : CTabFolder.BOTTOM_LEFT_CORNER;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	615
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	616 shape = new int[left.length + 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	617 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	618 shape[index++] = x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	619 shape[index++] = y - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	620 for (int i = 0; i < left.length / 2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	621 shape[index++] = x + left[2 * i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	622 shape[index++] = y + height + left[2 * i + 1] - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	623 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	624 } else {
120 536e43f63c81 Comprehensive update for Win32/Linux32 dmd-2.053/dmd-1.068+Tango-r5661 Denis Shelomovskij <verylonglogin.reg@gmail.com> parents: 112 diff changeset	625 TryConst!(int[]) left = parent.simple
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	626 ? CTabFolder.SIMPLE_UNSELECTED_INNER_CORNER
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	627 : CTabFolder.TOP_LEFT_CORNER;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	628
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	629 shape = new int[left.length + 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	630 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	631 shape[index++] = x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	632 shape[index++] = y + height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	633 for (int i = 0; i < left.length / 2; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	634 shape[index++] = x + left[2 * i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	635 shape[index++] = y + left[2 * i + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	636 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	637
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	638 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	639
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	640 drawBorder(gc, shape);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	641 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	642
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	643 void drawUnselected(GC gc) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	644 // Do not draw partial items
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	645 if (!showing) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	646
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	647 Rectangle clipping = gc.getClipping();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	648 Rectangle bounds = getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	649 if (!clipping.intersects(bounds)) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	650
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	651 // draw border
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	652 int index = parent.indexOf(this);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	653
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	654 if (index > 0 && index < parent.selectedIndex)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	655 drawLeftUnselectedBorder(gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	656 // If it is the last one then draw a line
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	657 if (index > parent.selectedIndex)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	658 drawRightUnselectedBorder(gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	659
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	660 // draw Image
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	661 int xDraw = x + LEFT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	662 Image image = getImage();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	663 if (image !is null && parent.showUnselectedImage) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	664 Rectangle imageBounds = image.getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	665 // only draw image if it won't overlap with close button
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	666 int maxImageWidth = x + width - xDraw - RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	667 if (parent.showUnselectedClose && (parent.showClose \|\| showClose)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	668 maxImageWidth -= closeRect.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	669 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	670 if (imageBounds.width < maxImageWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	671 int imageX = xDraw;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	672 int imageHeight = imageBounds.height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	673 int imageY = y + (height - imageHeight) / 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	674 imageY += parent.onBottom ? -1 : 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	675 int imageWidth = imageBounds.width * imageHeight / imageBounds.height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	676 gc.drawImage(image,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	677 imageBounds.x, imageBounds.y, imageBounds.width, imageBounds.height,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	678 imageX, imageY, imageWidth, imageHeight);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	679 xDraw += imageWidth + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	680 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	681 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	682 // draw Text
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	683 int textWidth = x + width - xDraw - RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	684 if (parent.showUnselectedClose && (parent.showClose \|\| showClose)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	685 textWidth -= closeRect.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	686 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	687 if (textWidth > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	688 Font gcFont = gc.getFont();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	689 gc.setFont(font is null ? parent.getFont() : font);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	690 if (shortenedText is null \|\| shortenedTextWidth !is textWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	691 shortenedText = shortenText(gc, getText(), textWidth);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	692 shortenedTextWidth = textWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	693 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	694 Point extent = gc.textExtent(shortenedText, FLAGS);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	695 int textY = y + (height - extent.y) / 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	696 textY += parent.onBottom ? -1 : 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	697 gc.setForeground(parent.getForeground());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	698 gc.drawText(shortenedText, xDraw, textY, FLAGS);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	699 gc.setFont(gcFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	700 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	701 // draw close
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	702 if (parent.showUnselectedClose && (parent.showClose \|\| showClose)) drawClose(gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	703 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	704 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	705 * Returns a rectangle describing the receiver's size and location
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	706 * relative to its parent.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	707 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	708 * @return the receiver's bounding column rectangle
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	709 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	710 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	711 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	712 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	713 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	714 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	715 public Rectangle getBounds () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	716 //checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	717 int w = width;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	718 if (!parent.simple && !parent.single && parent.indexOf(this) is parent.selectedIndex) w += parent.curveWidth - parent.curveIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	719 return new Rectangle(x, y, w, height);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	720 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	721 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	722 * Gets the control that is displayed in the content area of the tab item.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	723 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	724 * @return the control
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	725 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	726 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	727 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	728 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	729 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	730 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	731 public Control getControl () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	732 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	733 return control;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	734 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	735 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	736 * Get the image displayed in the tab if the tab is disabled.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	737 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	738 * @return the disabled image or null
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	739 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	740 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	741 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	742 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	743 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	744 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	745 * @deprecated the disabled image is not used
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	746 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	747 public Image getDisabledImage(){
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	748 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	749 return disabledImage;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	750 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	751 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	752 * Returns the font that the receiver will use to paint textual information.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	753 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	754 * @return the receiver's font
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	755 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	756 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	757 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	758 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	759 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	760 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	761 * @since 3.0
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	762 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	763 public Font getFont() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	764 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	765 if (font !is null) return font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	766 return parent.getFont();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	767 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	768 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	769 * Returns the receiver's parent, which must be a <code>CTabFolder</code>.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	770 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	771 * @return the receiver's parent
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	772 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	773 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	774 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	775 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	776 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	777 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	778 public CTabFolder getParent () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	779 //checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	780 return parent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	781 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	782 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	783 * Returns <code>true</code> to indicate that the receiver's close button should be shown.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	784 * Otherwise return <code>false</code>. The initial value is defined by the style (SWT.CLOSE)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	785 * that was used to create the receiver.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	786 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	787 * @return <code>true</code> if the close button should be shown
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	788 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	789 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	790 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	791 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	792 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	793 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	794 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	795 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	796 public bool getShowClose() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	797 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	798 return showClose;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	799 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	800 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	801 * Returns the receiver's tool tip text, or null if it has
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	802 * not been set.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	803 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	804 * @return the receiver's tool tip text
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	805 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	806 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	807 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	808 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	809 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	810 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	811 public String getToolTipText () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	812 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	813 if (toolTipText is null && shortenedText !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	814 String text = getText();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	815 if (shortenedText!=text) return text;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	816 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	817 return toolTipText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	818 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	819 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	820 * Returns <code>true</code> if the item will be rendered in the visible area of the CTabFolder. Returns false otherwise.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	821 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	822 * @return <code>true</code> if the item will be rendered in the visible area of the CTabFolder. Returns false otherwise.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	823 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	824 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	825 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	826 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	827 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	828 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	829 * @since 3.0
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	830 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	831 public bool isShowing () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	832 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	833 return showing;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	834 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	835 void onPaint(GC gc, bool isSelected) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	836 if (width is 0 \|\| height is 0) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	837 if (isSelected) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	838 drawSelected(gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	839 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	840 drawUnselected(gc);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	841 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	842 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	843 int preferredHeight(GC gc) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	844 Image image = getImage();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	845 int h = (image is null) ? 0 : image.getBounds().height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	846 String text = getText();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	847 if (font is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	848 h = Math.max(h, gc.textExtent(text, FLAGS).y);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	849 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	850 Font gcFont = gc.getFont();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	851 gc.setFont(font);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	852 h = Math.max(h, gc.textExtent(text, FLAGS).y);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	853 gc.setFont(gcFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	854 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	855 return h + TOP_MARGIN + BOTTOM_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	856 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	857 int preferredWidth(GC gc, bool isSelected, bool minimum) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	858 // NOTE: preferred width does not include the "dead space" caused
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	859 // by the curve.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	860 if (isDisposed()) return 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	861 int w = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	862 Image image = getImage();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	863 if (image !is null && (isSelected \|\| parent.showUnselectedImage)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	864 w += image.getBounds().width;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	865 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	866 String text = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	867 if (minimum) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	868 int minChars = parent.minChars;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	869 text = minChars is 0 ? null : getText();
112 9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	870 if (text !is null && toString32(text).length > minChars) {
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	871 if (useEllipses()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	872 int end = minChars < ELLIPSIS.length + 1 ? minChars : minChars - ELLIPSIS.length;
112 9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	873 text = .toString(toString32(text)[ 0 .. end ]);
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	874 if (minChars > ELLIPSIS.length + 1) text ~= ELLIPSIS;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	875 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	876 int end = minChars;
112 9f4c18c268b2 Update to compile and execute with dmd 2.052. kntroh parents: 43 diff changeset	877 text = .toString(toString32(text)[ 0 .. end ]);
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	878 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	879 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	880 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	881 text = getText();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	882 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	883 if (text !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	884 if (w > 0) w += INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	885 if (font is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	886 w += gc.textExtent(text, FLAGS).x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	887 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	888 Font gcFont = gc.getFont();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	889 gc.setFont(font);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	890 w += gc.textExtent(text, FLAGS).x;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	891 gc.setFont(gcFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	892 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	893 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	894 if (parent.showClose \|\| showClose) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	895 if (isSelected \|\| parent.showUnselectedClose) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	896 if (w > 0) w += INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	897 w += CTabFolder.BUTTON_SIZE;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	898 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	899 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	900 return w + LEFT_MARGIN + RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	901 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	902 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	903 * Sets the control that is used to fill the client area of
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	904 * the tab folder when the user selects the tab item.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	905 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	906 * @param control the new control (or null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	907 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	908 * @exception IllegalArgumentException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	909 * <li>ERROR_INVALID_ARGUMENT - if the control has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	910 * <li>ERROR_INVALID_PARENT - if the control is not in the same widget tree</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	911 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	912 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	913 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	914 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	915 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	916 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	917 public void setControl (Control control) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	918 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	919 if (control !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	920 if (control.isDisposed()) SWT.error (SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	921 if (control.getParent() !is parent) SWT.error (SWT.ERROR_INVALID_PARENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	922 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	923 if (this.control !is null && !this.control.isDisposed()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	924 this.control.setVisible(false);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	925 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	926 this.control = control;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	927 if (this.control !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	928 int index = parent.indexOf (this);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	929 if (index is parent.getSelectionIndex ()){
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	930 this.control.setBounds(parent.getClientArea ());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	931 this.control.setVisible(true);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	932 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	933 this.control.setVisible(false);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	934 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	935 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	936 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	937 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	938 * Sets the image that is displayed if the tab item is disabled.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	939 * Null will clear the image.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	940 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	941 * @param image the image to be displayed when the item is disabled or null
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	942 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	943 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	944 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	945 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	946 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	947 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	948 * @deprecated This image is not used
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	949 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	950 public void setDisabledImage (Image image) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	951 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	952 if (image !is null && image.isDisposed ()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	953 SWT.error(SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	954 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	955 this.disabledImage = image;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	956 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	957 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	958 * Sets the font that the receiver will use to paint textual information
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	959 * for this item to the font specified by the argument, or to the default font
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	960 * for that kind of control if the argument is null.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	961 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	962 * @param font the new font (or null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	963 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	964 * @exception IllegalArgumentException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	965 * <li>ERROR_INVALID_ARGUMENT - if the argument has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	966 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	967 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	968 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	969 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	970 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	971 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	972 * @since 3.0
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	973 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	974 public void setFont (Font font){
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	975 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	976 if (font !is null && font.isDisposed ()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	977 SWT.error(SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	978 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	979 if (font is null && this.font is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	980 if (font !is null && font==this.font) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	981 this.font = font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	982 if (!parent.updateTabHeight(false)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	983 parent.updateItems();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	984 parent.redrawTabs();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	985 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	986 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	987 public override void setImage (Image image) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	988 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	989 if (image !is null && image.isDisposed ()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	990 SWT.error(SWT.ERROR_INVALID_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	991 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	992 Image oldImage = getImage();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	993 if (image is null && oldImage is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	994 if (image !is null && image==oldImage) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	995 super.setImage(image);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	996 if (!parent.updateTabHeight(false)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	997 // If image is the same size as before,
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	998 // redraw only the image
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	999 if (oldImage !is null && image !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1000 Rectangle oldBounds = oldImage.getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1001 Rectangle bounds = image.getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1002 if (bounds.width is oldBounds.width && bounds.height is oldBounds.height) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1003 if (showing) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1004 bool selected = parent.indexOf(this) is parent.selectedIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1005 if (selected \|\| parent.showUnselectedImage) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1006 int imageX = x + LEFT_MARGIN, maxImageWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1007 if (selected) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1008 if (parent.single && (parent.showClose \|\| showClose)) imageX += CTabFolder.BUTTON_SIZE;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1009 int rightEdge = Math.min (x + width, parent.getRightItemEdge());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1010 maxImageWidth = rightEdge - imageX - RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1011 if (!parent.single && closeRect.width > 0) maxImageWidth -= closeRect.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1012 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1013 maxImageWidth = x + width - imageX - RIGHT_MARGIN;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1014 if (parent.showUnselectedClose && (parent.showClose \|\| showClose)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1015 maxImageWidth -= closeRect.width + INTERNAL_SPACING;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1016 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1017 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1018 if (bounds.width < maxImageWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1019 int imageY = y + (height - bounds.height) / 2 + (parent.onBottom ? -1 : 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1020 parent.redraw(imageX, imageY, bounds.width, bounds.height, false);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1021 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1022 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1023 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1024 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1025 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1026 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1027 parent.updateItems();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1028 parent.redrawTabs();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1029 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1030 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1031 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1032 * Sets to <code>true</code> to indicate that the receiver's close button should be shown.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1033 * If the parent (CTabFolder) was created with SWT.CLOSE style, changing this value has
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1034 * no effect.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1035 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1036 * @param close the new state of the close button
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1037 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1038 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1039 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1040 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1041 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1042 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1043 * @since 3.4
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1044 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1045 public void setShowClose(bool close) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1046 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1047 if (showClose is close) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1048 showClose = close;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1049 parent.updateItems();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1050 parent.redrawTabs();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1051 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1052 public override void setText (String string) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1053 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1054 // SWT extension: allow null for zero length string
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1055 //if (string is null) SWT.error (SWT.ERROR_NULL_ARGUMENT);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1056 if (string.equals (getText())) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1057 super.setText(string);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1058 shortenedText = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1059 shortenedTextWidth = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1060 if (!parent.updateTabHeight(false)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1061 parent.updateItems();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1062 parent.redrawTabs();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1063 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1064 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1065 /**
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1066 * Sets the receiver's tool tip text to the argument, which
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1067 * may be null indicating that no tool tip text should be shown.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1068 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1069 * @param string the new tool tip text (or null)
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1070 *
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1071 * @exception SWTException <ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1072 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1073 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1074 * </ul>
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1075 */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1076 public void setToolTipText (String string) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1077 checkWidget();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1078 toolTipText = string;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1079 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1080
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1081 }

Mercurial > projects > dwt2

annotate org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/CTabItem.d @ 125:c43718956f21 default tip