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

annotate org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/StyledTextRenderer.d @ 36:d46287db17ed

rakefile reorg, swt win phobosification

author	Frank Benoit <benoit@tionex.de>
date	Tue, 24 Mar 2009 08:48:41 +0100
parents	950d84783eac
children	536e43f63c81

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.StyledTextRenderer;
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
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 import org.eclipse.swt.SWT;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	18 import org.eclipse.swt.graphics.Color;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	19 import org.eclipse.swt.graphics.Device;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	20 import org.eclipse.swt.graphics.Font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	21 import org.eclipse.swt.graphics.FontData;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	22 import org.eclipse.swt.graphics.FontMetrics;
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.GlyphMetrics;
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.Rectangle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	27 import org.eclipse.swt.graphics.TextLayout;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	28 import org.eclipse.swt.graphics.TextStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	29 import org.eclipse.swt.widgets.Display;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	30 import org.eclipse.swt.widgets.IME;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	31 import org.eclipse.swt.widgets.ScrollBar;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	32 import org.eclipse.swt.custom.StyledText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	33 import org.eclipse.swt.custom.Bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	34 import org.eclipse.swt.custom.StyleRange;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	35 import org.eclipse.swt.custom.StyledText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	36 import org.eclipse.swt.custom.StyledTextContent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	37 import org.eclipse.swt.custom.TextChangingEvent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	38 import org.eclipse.swt.custom.ST;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	39 import org.eclipse.swt.custom.StyledTextEvent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	40
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	41 import java.lang.all;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	42
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 * A StyledTextRenderer renders the content of a StyledText widget.
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	45 * This class can be used to render to the display or to a printer.
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 class StyledTextRenderer {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	48 Device device;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	49 StyledText styledText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	50 StyledTextContent content;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	51
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	52 /* Font info */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	53 Font regularFont, boldFont, italicFont, boldItalicFont;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	54 int tabWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	55 int ascent, descent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	56 int averageCharWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	57
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	58 /* Line data */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	59 int topIndex = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	60 TextLayout[] layouts;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	61 int lineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	62 int[] lineWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	63 int[] lineHeight;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	64 LineInfo[] lines;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	65 int maxWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	66 int maxWidthLineIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	67 bool idleRunning;
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 /* Bullet */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	70 Bullet[] bullets;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	71 int[] bulletsIndices;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	72 int[] redrawLines;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	73
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	74 /* Style data */
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	75 int[] ranges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	76 int styleCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	77 StyleRange[] styles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	78 StyleRange[] stylesSet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	79 int stylesSetCount = 0;
36 d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	80 const static int BULLET_MARGIN = 8;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	81
36 d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	82 const static bool COMPACT_STYLES = true;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	83 const static bool MERGE_STYLES = true;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	84
36 d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	85 const static int GROW = 32;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	86 const static int IDLE_TIME = 50;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	87 const static int CACHE_SIZE = 128;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	88
36 d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	89 const static int BACKGROUND = 1 << 0;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	90 const static int ALIGNMENT = 1 << 1;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	91 const static int INDENT = 1 << 2;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	92 const static int JUSTIFY = 1 << 3;
d46287db17ed rakefile reorg, swt win phobosification Frank Benoit <benoit@tionex.de> parents: 9 diff changeset	93 const static int SEGMENTS = 1 << 5;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	94
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	95 static class LineInfo {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	96 int flags;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	97 Color background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	98 int alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	99 int indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	100 bool justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	101 int[] segments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	102
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	103 public this() {
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 public this(LineInfo info) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	106 if (info !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	107 flags = info.flags;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	108 background = info.background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	109 alignment = info.alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	110 indent = info.indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	111 justify = info.justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	112 segments = info.segments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	113 }
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	116
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	117 this(Device device, StyledText styledText) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	118 this.device = device;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	119 this.styledText = styledText;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	120 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	121 int addMerge(int[] mergeRanges, StyleRange[] mergeStyles, int mergeCount, int modifyStart, int modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	122 int rangeCount = styleCount << 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	123 StyleRange endStyle = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	124 int endStart = 0, endLength = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	125 if (modifyEnd < rangeCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	126 endStyle = styles[modifyEnd >> 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	127 endStart = ranges[modifyEnd];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	128 endLength = ranges[modifyEnd + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	129 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	130 int grow = mergeCount - (modifyEnd - modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	131 if (rangeCount + grow >= ranges.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	132 int[] tmpRanges = new int[ranges.length + grow + (GROW << 1)];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	133 System.arraycopy(ranges, 0, tmpRanges, 0, modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	134 StyleRange[] tmpStyles = new StyleRange[styles.length + (grow >> 1) + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	135 System.arraycopy(styles, 0, tmpStyles, 0, modifyStart >> 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	136 if (rangeCount > modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	137 System.arraycopy(ranges, modifyEnd, tmpRanges, modifyStart + mergeCount, rangeCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	138 System.arraycopy(styles, modifyEnd >> 1, tmpStyles, (modifyStart + mergeCount) >> 1, styleCount - (modifyEnd >> 1));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	139 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	140 ranges = tmpRanges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	141 styles = tmpStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	142 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	143 if (rangeCount > modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	144 System.arraycopy(ranges, modifyEnd, ranges, modifyStart + mergeCount, rangeCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	145 System.arraycopy(styles, modifyEnd >> 1, styles, (modifyStart + mergeCount) >> 1, styleCount - (modifyEnd >> 1));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	146 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	147 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	148 if (MERGE_STYLES) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	149 int j = modifyStart;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	150 for (int i = 0; i < mergeCount; i += 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	151 if (j > 0 && ranges[j - 2] + ranges[j - 1] is mergeRanges[i] && mergeStyles[i >> 1].similarTo(styles[(j - 2) >> 1])) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	152 ranges[j - 1] += mergeRanges[i + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	153 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	154 styles[j >> 1] = mergeStyles[i >> 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	155 ranges[j++] = mergeRanges[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	156 ranges[j++] = mergeRanges[i + 1];
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	159 if (endStyle !is null && ranges[j - 2] + ranges[j - 1] is endStart && endStyle.similarTo(styles[(j - 2) >> 1])) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	160 ranges[j - 1] += endLength;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	161 modifyEnd += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	162 mergeCount += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	163 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	164 if (rangeCount > modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	165 System.arraycopy(ranges, modifyStart + mergeCount, ranges, j, rangeCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	166 System.arraycopy(styles, (modifyStart + mergeCount) >> 1, styles, j >> 1, styleCount - (modifyEnd >> 1));
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 grow = (j - modifyStart) - (modifyEnd - modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	169 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	170 System.arraycopy(mergeRanges, 0, ranges, modifyStart, mergeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	171 System.arraycopy(mergeStyles, 0, styles, modifyStart >> 1, mergeCount >> 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	172 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	173 styleCount += grow >> 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	174 return grow;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	175 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	176 int addMerge(StyleRange[] mergeStyles, int mergeCount, int modifyStart, int modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	177 int grow = mergeCount - (modifyEnd - modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	178 StyleRange endStyle = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	179 if (modifyEnd < styleCount) endStyle = styles[modifyEnd];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	180 if (styleCount + grow >= styles.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	181 StyleRange[] tmpStyles = new StyleRange[styles.length + grow + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	182 System.arraycopy(styles, 0, tmpStyles, 0, modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	183 if (styleCount > modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	184 System.arraycopy(styles, modifyEnd, tmpStyles, modifyStart + mergeCount, styleCount - modifyEnd);
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 styles = tmpStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	187 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	188 if (styleCount > modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	189 System.arraycopy(styles, modifyEnd, styles, modifyStart + mergeCount, styleCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	190 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	191 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	192 if (MERGE_STYLES) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	193 int j = modifyStart;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	194 for (int i = 0; i < mergeCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	195 StyleRange newStyle = mergeStyles[i], style;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	196 if (j > 0 && (style = styles[j - 1]).start + style.length is newStyle.start && newStyle.similarTo(style)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	197 style.length += newStyle.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	198 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	199 styles[j++] = newStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	200 }
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 StyleRange style = styles[j - 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	203 if (endStyle !is null && style.start + style.length is endStyle.start && endStyle.similarTo(style)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	204 style.length += endStyle.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	205 modifyEnd++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	206 mergeCount++;
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 if (styleCount > modifyEnd) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	209 System.arraycopy(styles, modifyStart + mergeCount, styles, j, styleCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	210 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	211 grow = (j - modifyStart) - (modifyEnd - modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	212 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	213 System.arraycopy(mergeStyles, 0, styles, modifyStart, mergeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	214 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	215 styleCount += grow;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	216 return grow;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	217 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	218 void calculate(int startLine, int lineCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	219 int endLine = startLine + lineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	220 if (startLine < 0 \|\| endLine > lineWidth.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	221 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	222 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	223 int hTrim = styledText.leftMargin + styledText.rightMargin + styledText.getCaretWidth();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	224 for (int i = startLine; i < endLine; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	225 if (lineWidth[i] is -1 \|\| lineHeight[i] is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	226 TextLayout layout = getTextLayout(i);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	227 Rectangle rect = layout.getBounds();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	228 lineWidth[i] = rect.width + hTrim;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	229 lineHeight[i] = rect.height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	230 disposeTextLayout(layout);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	231 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	232 if (lineWidth[i] > maxWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	233 maxWidth = lineWidth[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	234 maxWidthLineIndex = i;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	235 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	236 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	237 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	238 void calculateClientArea () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	239 int index = styledText.getTopIndex();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	240 int lineCount = content.getLineCount();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	241 int height = styledText.getClientArea().height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	242 int y = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	243 while (height > y && lineCount > index) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	244 calculate(index, 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	245 y += lineHeight[index++];
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	248 void calculateIdle () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	249 if (idleRunning) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	250 Runnable runnable = new class() Runnable {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	251 public void run() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	252 if (styledText is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	253 int i;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	254 long start = System.currentTimeMillis();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	255 for (i = 0; i < lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	256 if (lineHeight[i] is -1 \|\| lineWidth[i] is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	257 calculate(i, 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	258 if (System.currentTimeMillis() - start > IDLE_TIME) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	259 }
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 if (i < lineCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	262 Display display = styledText.getDisplay();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	263 display.asyncExec(this);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	264 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	265 idleRunning = false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	266 styledText.setScrollBars(true);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	267 ScrollBar bar = styledText.getVerticalBar();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	268 if (bar !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	269 bar.setSelection(styledText.getVerticalScrollOffset());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	270 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	271 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	272 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	273 };
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	274 Display display = styledText.getDisplay();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	275 display.asyncExec(runnable);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	276 idleRunning = true;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	277 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	278 void clearLineBackground(int startLine, int count) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	279 if (lines is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	280 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	281 LineInfo info = lines[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	282 if (info !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	283 info.flags &= ~BACKGROUND;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	284 info.background = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	285 if (info.flags is 0) lines[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	286 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	287 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	288 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	289 void clearLineStyle(int startLine, int count) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	290 if (lines is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	291 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	292 LineInfo info = lines[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	293 if (info !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	294 info.flags &= ~(ALIGNMENT \| INDENT \| JUSTIFY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	295 if (info.flags is 0) lines[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	296 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	297 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	298 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	299 void copyInto(StyledTextRenderer renderer) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	300 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	301 int[] newRanges = renderer.ranges = new int[styleCount << 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	302 System.arraycopy(ranges, 0, newRanges, 0, newRanges.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	303 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	304 if (styles !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	305 StyleRange[] newStyles = renderer.styles = new StyleRange[styleCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	306 for (int i = 0; i < newStyles.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	307 newStyles[i] = cast(StyleRange)styles[i].clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	308 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	309 renderer.styleCount = styleCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	310 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	311 if (lines !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	312 LineInfo[] newLines = renderer.lines = new LineInfo[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	313 for (int i = 0; i < newLines.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	314 newLines[i] = new LineInfo(lines[i]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	315 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	316 renderer.lineCount = lineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	317 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	318 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	319 void dispose() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	320 if (boldFont !is null) boldFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	321 if (italicFont !is null) italicFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	322 if (boldItalicFont !is null) boldItalicFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	323 boldFont = italicFont = boldItalicFont = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	324 reset();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	325 content = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	326 device = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	327 styledText = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	328 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	329 void disposeTextLayout (TextLayout layout) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	330 if (layouts !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	331 for (int i = 0; i < layouts.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	332 if (layouts[i] is layout) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	333 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	334 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	335 layout.dispose();
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 void drawBullet(Bullet bullet, GC gc, int paintX, int paintY, int index, int lineAscent, int lineDescent) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	338 StyleRange style = bullet.style;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	339 GlyphMetrics metrics = style.metrics;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	340 Color color = style.foreground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	341 if (color !is null) gc.setForeground(color);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	342 if ((bullet.type & ST.BULLET_DOT) !is 0 && StyledText.IS_MOTIF) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	343 int size = Math.max(4, (lineAscent + lineDescent) / 4);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	344 if ((size & 1) is 0) size++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	345 if (color is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	346 Display display = styledText.getDisplay();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	347 color = display.getSystemColor(SWT.COLOR_BLACK);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	348 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	349 gc.setBackground(color);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	350 int x = paintX + Math.max(0, metrics.width - size - BULLET_MARGIN);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	351 gc.fillArc(x, paintY + size, size + 1, size + 1, 0, 360);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	352 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	353 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	354 Font font = style.font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	355 if (font !is null) gc.setFont(font);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	356 String string = "";
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	357 int type = bullet.type & (ST.BULLET_DOT\|ST.BULLET_NUMBER\|ST.BULLET_LETTER_LOWER\|ST.BULLET_LETTER_UPPER);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	358 switch (type) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	359 case ST.BULLET_DOT: string = "\u2022"; break;
9 950d84783eac Removing direct tango deps. Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	360 case ST.BULLET_NUMBER: string = String_valueOf(index); break;
0 6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	361 case ST.BULLET_LETTER_LOWER: string = [cast(char) (index % 26 + 97)]; break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	362 case ST.BULLET_LETTER_UPPER: string = [cast(char) (index % 26 + 65)]; break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	363 default:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	364 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	365 if ((bullet.type & ST.BULLET_TEXT) !is 0) string ~= bullet.text;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	366 Display display = styledText.getDisplay();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	367 TextLayout layout = new TextLayout(display);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	368 layout.setText(string);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	369 layout.setAscent(lineAscent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	370 layout.setDescent(lineDescent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	371 style = cast(StyleRange)style.clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	372 style.metrics = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	373 if (style.font is null) style.font = getFont(style.fontStyle);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	374 layout.setStyle(style, 0, string.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	375 int x = paintX + Math.max(0, metrics.width - layout.getBounds().width - BULLET_MARGIN);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	376 layout.draw(gc, x, paintY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	377 layout.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	378 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	379 int drawLine(int lineIndex, int paintX, int paintY, GC gc, Color widgetBackground, Color widgetForeground) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	380 TextLayout layout = getTextLayout(lineIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	381 String line = content.getLine(lineIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	382 int lineOffset = content.getOffsetAtLine(lineIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	383 int lineLength = line.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	384 Point selection = styledText.getSelection();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	385 int selectionStart = selection.x - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	386 int selectionEnd = selection.y - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	387 Rectangle client = styledText.getClientArea();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	388 Color lineBackground = getLineBackground(lineIndex, null);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	389 StyledTextEvent event = styledText.getLineBackgroundData(lineOffset, line);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	390 if (event !is null && event.lineBackground !is null) lineBackground = event.lineBackground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	391
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	392 int height = layout.getBounds().height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	393 if (lineBackground !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	394 gc.setBackground(lineBackground);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	395 gc.fillRectangle(client.x, paintY, client.width, height);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	396 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	397 gc.setBackground(widgetBackground);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	398 styledText.drawBackground(gc, client.x, paintY, client.width, height);
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 gc.setForeground(widgetForeground);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	401 if (selectionStart is selectionEnd \|\| (selectionEnd <= 0 && selectionStart > lineLength - 1)) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	402 layout.draw(gc, paintX, paintY);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	403 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	404 int start = Math.max(0, selectionStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	405 int end = Math.min(lineLength, selectionEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	406 Color selectionFg = styledText.getSelectionForeground();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	407 Color selectionBg = styledText.getSelectionBackground();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	408 int flags;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	409 if ((styledText.getStyle() & SWT.FULL_SELECTION) !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	410 flags = SWT.FULL_SELECTION;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	411 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	412 flags = SWT.DELIMITER_SELECTION;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	413 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	414 if (selectionStart <= lineLength && lineLength < selectionEnd ) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	415 flags \|= SWT.LAST_LINE_SELECTION;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	416 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	417 layout.draw(gc, paintX, paintY, start, end - 1, selectionFg, selectionBg, flags);
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 // draw objects
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	421 Bullet bullet = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	422 int bulletIndex = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	423 if (bullets !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	424 if (bulletsIndices !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	425 int index = lineIndex - topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	426 if (0 <= index && index < CACHE_SIZE) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	427 bullet = bullets[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	428 bulletIndex = bulletsIndices[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	429 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	430 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	431 for (int i = 0; i < bullets.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	432 bullet = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	433 bulletIndex = bullet.indexOf(lineIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	434 if (bulletIndex !is -1) break;
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	437 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	438 if (bulletIndex !is -1 && bullet !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	439 FontMetrics metrics = layout.getLineMetrics(0);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	440 int lineAscent = metrics.getAscent() + metrics.getLeading();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	441 if (bullet.type is ST.BULLET_CUSTOM) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	442 bullet.style.start = lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	443 styledText.paintObject(gc, paintX, paintY, lineAscent, metrics.getDescent(), bullet.style, bullet, bulletIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	444 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	445 drawBullet(bullet, gc, paintX, paintY, bulletIndex, lineAscent, metrics.getDescent());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	446 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	447 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	448 TextStyle[] styles = layout.getStyles();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	449 int[] ranges = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	450 for (int i = 0; i < styles.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	451 if (styles[i].metrics !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	452 if (ranges is null) ranges = layout.getRanges();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	453 int start = ranges[i << 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	454 int length = ranges[(i << 1) + 1] - start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	455 Point point = layout.getLocation(start, false);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	456 FontMetrics metrics = layout.getLineMetrics(layout.getLineIndex(start));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	457 StyleRange style = cast(StyleRange)(cast(StyleRange)styles[i]).clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	458 style.start = start + lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	459 style.length = length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	460 int lineAscent = metrics.getAscent() + metrics.getLeading();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	461 styledText.paintObject(gc, point.x + paintX, point.y + paintY, lineAscent, metrics.getDescent(), style, null, 0);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	462 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	463 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	464 disposeTextLayout(layout);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	465 return height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	466 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	467 int getBaseline() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	468 return ascent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	469 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	470 Font getFont(int style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	471 switch (style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	472 case SWT.BOLD:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	473 if (boldFont !is null) return boldFont;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	474 return boldFont = new Font(device, getFontData(style));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	475 case SWT.ITALIC:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	476 if (italicFont !is null) return italicFont;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	477 return italicFont = new Font(device, getFontData(style));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	478 case SWT.BOLD \| SWT.ITALIC:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	479 if (boldItalicFont !is null) return boldItalicFont;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	480 return boldItalicFont = new Font(device, getFontData(style));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	481 default:
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	482 return regularFont;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	483 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	484 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	485 FontData[] getFontData(int style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	486 FontData[] fontDatas = regularFont.getFontData();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	487 for (int i = 0; i < fontDatas.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	488 fontDatas[i].setStyle(style);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	489 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	490 return fontDatas;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	491 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	492 int getHeight () {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	493 int defaultLineHeight = getLineHeight();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	494 if (styledText.isFixedLineHeight()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	495 return lineCount * defaultLineHeight;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	496 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	497 int totalHeight = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	498 int width = styledText.getWrapWidth();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	499 for (int i = 0; i < lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	500 int height = lineHeight[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	501 if (height is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	502 if (width > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	503 int length = content.getLine(i).length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	504 height = ((length * averageCharWidth / width) + 1) * defaultLineHeight;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	505 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	506 height = defaultLineHeight;
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 totalHeight += height;
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 return totalHeight + styledText.topMargin + styledText.bottomMargin;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	512 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	513 int getLineAlignment(int index, int defaultAlignment) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	514 if (lines is null) return defaultAlignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	515 LineInfo info = lines[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	516 if (info !is null && (info.flags & ALIGNMENT) !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	517 return info.alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	518 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	519 return defaultAlignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	520 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	521 Color getLineBackground(int index, Color defaultBackground) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	522 if (lines is null) return defaultBackground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	523 LineInfo info = lines[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	524 if (info !is null && (info.flags & BACKGROUND) !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	525 return info.background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	526 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	527 return defaultBackground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	528 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	529 Bullet getLineBullet (int index, Bullet defaultBullet) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	530 if (bullets is null) return defaultBullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	531 if (bulletsIndices !is null) return defaultBullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	532 for (int i = 0; i < bullets.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	533 Bullet bullet = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	534 if (bullet.indexOf(index) !is -1) return bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	535 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	536 return defaultBullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	537 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	538 int getLineHeight() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	539 return ascent + descent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	540 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	541 int getLineHeight(int lineIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	542 if (lineHeight[lineIndex] is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	543 calculate(lineIndex, 1);
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 return lineHeight[lineIndex];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	546 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	547 int getLineIndent(int index, int defaultIndent) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	548 if (lines is null) return defaultIndent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	549 LineInfo info = lines[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	550 if (info !is null && (info.flags & INDENT) !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	551 return info.indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	552 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	553 return defaultIndent;
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 bool getLineJustify(int index, bool defaultJustify) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	556 if (lines is null) return defaultJustify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	557 LineInfo info = lines[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	558 if (info !is null && (info.flags & JUSTIFY) !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	559 return info.justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	560 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	561 return defaultJustify;
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 int[] getLineSegments(int index, int[] defaultSegments) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	564 if (lines is null) return defaultSegments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	565 LineInfo info = lines[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	566 if (info !is null && (info.flags & SEGMENTS) !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	567 return info.segments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	568 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	569 return defaultSegments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	570 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	571 int getRangeIndex(int offset, int low, int high) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	572 if (styleCount is 0) return 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	573 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	574 while (high - low > 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	575 int index = ((high + low) / 2) / 2 * 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	576 int end = ranges[index] + ranges[index + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	577 if (end > offset) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	578 high = index;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	579 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	580 low = index;
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	583 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	584 while (high - low > 1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	585 int index = ((high + low) / 2);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	586 int end = styles[index].start + styles[index].length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	587 if (end > offset) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	588 high = index;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	589 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	590 low = index;
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 }
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 return high;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	595 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	596 int[] getRanges(int start, int length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	597 int[] newRanges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	598 int end = start + length - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	599 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	600 int rangeCount = styleCount << 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	601 int rangeStart = getRangeIndex(start, -1, rangeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	602 if (rangeStart >= rangeCount) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	603 if (ranges[rangeStart] > end) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	604 int rangeEnd = Math.min(rangeCount - 2, getRangeIndex(end, rangeStart - 1, rangeCount) + 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	605 newRanges = new int[rangeEnd - rangeStart + 2];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	606 System.arraycopy(ranges, rangeStart, newRanges, 0, newRanges.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	607 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	608 int rangeStart = getRangeIndex(start, -1, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	609 if (rangeStart >= styleCount) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	610 if (styles[rangeStart].start > end) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	611 int rangeEnd = Math.min(styleCount - 1, getRangeIndex(end, rangeStart - 1, styleCount));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	612 newRanges = new int[(rangeEnd - rangeStart + 1) << 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	613 for (int i = rangeStart, j = 0; i <= rangeEnd; i++, j += 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	614 StyleRange style = styles[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	615 newRanges[j] = style.start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	616 newRanges[j + 1] = style.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	617 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	618 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	619 if (start > newRanges[0]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	620 newRanges[1] = newRanges[0] + newRanges[1] - start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	621 newRanges[0] = start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	622 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	623 if (end < newRanges[newRanges.length - 2] + newRanges[newRanges.length - 1] - 1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	624 newRanges[newRanges.length - 1] = end - newRanges[newRanges.length - 2] + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	625 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	626 return newRanges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	627 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	628 StyleRange[] getStyleRanges(int start, int length, bool includeRanges) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	629 StyleRange[] newStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	630 int end = start + length - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	631 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	632 int rangeCount = styleCount << 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	633 int rangeStart = getRangeIndex(start, -1, rangeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	634 if (rangeStart >= rangeCount) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	635 if (ranges[rangeStart] > end) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	636 int rangeEnd = Math.min(rangeCount - 2, getRangeIndex(end, rangeStart - 1, rangeCount) + 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	637 newStyles = new StyleRange[((rangeEnd - rangeStart) >> 1) + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	638 if (includeRanges) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	639 for (int i = rangeStart, j = 0; i <= rangeEnd; i += 2, j++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	640 newStyles[j] = cast(StyleRange)styles[i >> 1].clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	641 newStyles[j].start = ranges[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	642 newStyles[j].length = ranges[i + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	643 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	644 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	645 System.arraycopy(styles, rangeStart >> 1, newStyles, 0, newStyles.length);
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 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	648 int rangeStart = getRangeIndex(start, -1, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	649 if (rangeStart >= styleCount) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	650 if (styles[rangeStart].start > end) return null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	651 int rangeEnd = Math.min(styleCount - 1, getRangeIndex(end, rangeStart - 1, styleCount));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	652 newStyles = new StyleRange[rangeEnd - rangeStart + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	653 System.arraycopy(styles, rangeStart, newStyles, 0, newStyles.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	654 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	655 StyleRange style = newStyles[0];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	656 if (start > style.start) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	657 if (!includeRanges \|\| ranges is null) newStyles[0] = style = cast(StyleRange)style.clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	658 style.length = style.start + style.length - start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	659 style.start = start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	660 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	661 style = newStyles[newStyles.length - 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	662 if (end < style.start + style.length - 1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	663 if (end < style.start) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	664 StyleRange[] tmp = new StyleRange[newStyles.length - 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	665 System.arraycopy(newStyles, 0, tmp, 0, newStyles.length - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	666 newStyles = tmp;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	667 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	668 if (!includeRanges \|\| ranges is null) newStyles[newStyles.length - 1] = style = cast(StyleRange)style.clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	669 style.length = end - style.start + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	670 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	671 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	672 return newStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	673 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	674 StyleRange getStyleRange(StyleRange style) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	675 if (style.start is 0 && style.length is 0 && style.fontStyle is SWT.NORMAL) return style;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	676 StyleRange clone = cast(StyleRange)style.clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	677 clone.start = clone.length = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	678 clone.fontStyle = SWT.NORMAL;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	679 if (clone.font is null) clone.font = getFont(style.fontStyle);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	680 return clone;
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 TextLayout getTextLayout(int lineIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	683 return getTextLayout(lineIndex, styledText.getOrientation(), styledText.getWrapWidth(), styledText.lineSpacing);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	684 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	685 TextLayout getTextLayout(int lineIndex, int orientation, int width, int lineSpacing) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	686 TextLayout layout = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	687 if (styledText !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	688 int topIndex = styledText.topIndex > 0 ? styledText.topIndex - 1 : 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	689 if (layouts is null \|\| topIndex !is this.topIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	690 TextLayout[] newLayouts = new TextLayout[CACHE_SIZE];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	691 if (layouts !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	692 for (int i = 0; i < layouts.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	693 if (layouts[i] !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	694 int layoutIndex = (i + this.topIndex) - topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	695 if (0 <= layoutIndex && layoutIndex < newLayouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	696 newLayouts[layoutIndex] = layouts[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	697 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	698 layouts[i].dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	699 }
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	702 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	703 if (bullets !is null && bulletsIndices !is null && topIndex !is this.topIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	704 int delta = topIndex - this.topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	705 if (delta > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	706 if (delta < bullets.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	707 System.arraycopy(bullets, delta, bullets, 0, bullets.length - delta);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	708 System.arraycopy(bulletsIndices, delta, bulletsIndices, 0, bulletsIndices.length - delta);
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 int startIndex = Math.max(0, bullets.length - delta);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	711 for (int i = startIndex; i < bullets.length; i++) bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	712 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	713 if (-delta < bullets.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	714 System.arraycopy(bullets, 0, bullets, -delta, bullets.length + delta);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	715 System.arraycopy(bulletsIndices, 0, bulletsIndices, -delta, bulletsIndices.length + delta);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	716 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	717 int endIndex = Math.min(bullets.length, -delta);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	718 for (int i = 0; i < endIndex; i++) bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	719 }
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 this.topIndex = topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	722 layouts = newLayouts;
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 if (layouts !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	725 int layoutIndex = lineIndex - topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	726 if (0 <= layoutIndex && layoutIndex < layouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	727 layout = layouts[layoutIndex];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	728 if (layout !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	729 if (lineWidth[lineIndex] !is -1) return layout;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	730 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	731 layout = layouts[layoutIndex] = new TextLayout(device);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	732 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	733 }
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 if (layout is null) layout = new TextLayout(device);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	737 String line = content.getLine(lineIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	738 int lineOffset = content.getOffsetAtLine(lineIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	739 int[] segments = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	740 int indent = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	741 int alignment = SWT.LEFT;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	742 bool justify = false;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	743 Bullet bullet = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	744 int[] ranges = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	745 StyleRange[] styles = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	746 int rangeStart = 0, styleCount = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	747 StyledTextEvent event = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	748 if (styledText !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	749 event = styledText.getLineStyleData(lineOffset, line);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	750 segments = styledText.getBidiSegments(lineOffset, line);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	751 indent = styledText.indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	752 alignment = styledText.alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	753 justify = styledText.justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	754 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	755 if (event !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	756 indent = event.indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	757 alignment = event.alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	758 justify = event.justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	759 bullet = event.bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	760 ranges = event.ranges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	761 styles = event.styles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	762 if (styles !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	763 styleCount = styles.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	764 if (styledText.isFixedLineHeight()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	765 for (int i = 0; i < styleCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	766 if (styles[i].isVariableHeight()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	767 styledText.verticalScrollOffset = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	768 styledText.setVariableLineHeight();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	769 styledText.redraw();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	770 break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	771 }
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	774 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	775 if (bullets is null \|\| bulletsIndices is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	776 bullets = new Bullet[CACHE_SIZE];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	777 bulletsIndices = new int[CACHE_SIZE];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	778 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	779 int index = lineIndex - topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	780 if (0 <= index && index < CACHE_SIZE) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	781 bullets[index] = bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	782 bulletsIndices[index] = event.bulletIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	783 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	784 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	785 if (lines !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	786 LineInfo info = lines[lineIndex];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	787 if (info !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	788 if ((info.flags & INDENT) !is 0) indent = info.indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	789 if ((info.flags & ALIGNMENT) !is 0) alignment = info.alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	790 if ((info.flags & JUSTIFY) !is 0) justify = info.justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	791 if ((info.flags & SEGMENTS) !is 0) segments = info.segments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	792 }
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 if (bulletsIndices !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	795 bullets = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	796 bulletsIndices = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	797 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	798 if (bullets !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	799 for (int i = 0; i < bullets.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	800 if (bullets[i].indexOf(lineIndex) !is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	801 bullet = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	802 break;
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 }
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 ranges = this.ranges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	807 styles = this.styles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	808 styleCount = this.styleCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	809 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	810 rangeStart = getRangeIndex(lineOffset, -1, styleCount << 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	811 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	812 rangeStart = getRangeIndex(lineOffset, -1, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	813 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	814 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	815 if (bullet !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	816 StyleRange style = bullet.style;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	817 GlyphMetrics metrics = style.metrics;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	818 indent += metrics.width;
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 layout.setFont(regularFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	821 layout.setAscent(ascent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	822 layout.setDescent(descent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	823 layout.setText(line);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	824 layout.setOrientation(orientation);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	825 layout.setSegments(segments);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	826 layout.setWidth(width);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	827 layout.setSpacing(lineSpacing);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	828 layout.setTabs([tabWidth]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	829 layout.setIndent(indent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	830 layout.setAlignment(alignment);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	831 layout.setJustify(justify);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	832
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	833 int lastOffset = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	834 int length = line.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	835 if (styles !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	836 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	837 int rangeCount = styleCount << 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	838 for (int i = rangeStart; i < rangeCount; i += 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	839 int start, end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	840 if (lineOffset > ranges[i]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	841 start = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	842 end = Math.min (length, ranges[i + 1] - lineOffset + ranges[i]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	843 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	844 start = ranges[i] - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	845 end = Math.min(length, start + ranges[i + 1]);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	846 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	847 if (start >= length) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	848 if (lastOffset < start) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	849 layout.setStyle(null, lastOffset, start - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	850 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	851 layout.setStyle(getStyleRange(styles[i >> 1]), start, end);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	852 lastOffset = Math.max(lastOffset, end);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	853 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	854 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	855 for (int i = rangeStart; i < styleCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	856 int start, end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	857 if (lineOffset > styles[i].start) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	858 start = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	859 end = Math.min (length, styles[i].length - lineOffset + styles[i].start);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	860 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	861 start = styles[i].start - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	862 end = Math.min(length, start + styles[i].length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	863 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	864 if (start >= length) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	865 if (lastOffset < start) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	866 layout.setStyle(null, lastOffset, start - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	867 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	868 layout.setStyle(getStyleRange(styles[i]), start, end);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	869 lastOffset = Math.max(lastOffset, end);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	870 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	871 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	872 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	873 if (lastOffset < length) layout.setStyle(null, lastOffset, length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	874 if (styledText !is null && styledText.ime !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	875 IME ime = styledText.ime;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	876 int compositionOffset = ime.getCompositionOffset();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	877 if (compositionOffset !is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	878 int commitCount = ime.getCommitCount();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	879 int compositionLength = ime.getText().length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	880 if (compositionLength !is commitCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	881 int compositionLine = content.getLineAtOffset(compositionOffset);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	882 if (compositionLine is lineIndex) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	883 int[] imeRanges = ime.getRanges();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	884 TextStyle[] imeStyles = ime.getStyles();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	885 if (imeRanges.length > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	886 for (int i = 0; i < imeStyles.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	887 int start = imeRanges[i*2] - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	888 int end = imeRanges[i*2+1] - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	889 TextStyle imeStyle = imeStyles[i], userStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	890 for (int j = start; j <= end; j++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	891 userStyle = layout.getStyle(j);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	892 if (userStyle is null && j > 0) userStyle = layout.getStyle(j - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	893 if (userStyle is null && j + 1 < length) userStyle = layout.getStyle(j + 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	894 if (userStyle is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	895 layout.setStyle(imeStyle, j, j);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	896 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	897 TextStyle newStyle = new TextStyle(imeStyle);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	898 if (newStyle.font is null) newStyle.font = userStyle.font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	899 if (newStyle.foreground is null) newStyle.foreground = userStyle.foreground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	900 if (newStyle.background is null) newStyle.background = userStyle.background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	901 layout.setStyle(newStyle, j, j);
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	904 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	905 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	906 int start = compositionOffset - lineOffset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	907 int end = start + compositionLength - 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	908 TextStyle userStyle = layout.getStyle(start);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	909 if (userStyle is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	910 if (start > 0) userStyle = layout.getStyle(start - 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	911 if (userStyle is null && end + 1 < length) userStyle = layout.getStyle(end + 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	912 if (userStyle !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	913 TextStyle newStyle = new TextStyle();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	914 newStyle.font = userStyle.font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	915 newStyle.foreground = userStyle.foreground;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	916 newStyle.background = userStyle.background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	917 layout.setStyle(newStyle, start, end);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	918 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	919 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	920 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	921 }
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	924 }
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 if (styledText !is null && styledText.isFixedLineHeight()) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	927 int index = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	928 int lineCount = layout.getLineCount();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	929 int height = getLineHeight();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	930 for (int i = 0; i < lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	931 int lineHeight = layout.getLineBounds(i).height;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	932 if (lineHeight > height) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	933 height = lineHeight;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	934 index = i;
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 if (index !is -1) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	938 FontMetrics metrics = layout.getLineMetrics(index);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	939 ascent = metrics.getAscent() + metrics.getLeading();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	940 descent = metrics.getDescent();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	941 if (layouts !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	942 for (int i = 0; i < layouts.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	943 if (layouts[i] !is null && layouts[i] !is layout) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	944 layouts[i].setAscent(ascent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	945 layouts[i].setDescent(descent);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	946 }
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	949 if (styledText.verticalScrollOffset !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	950 int topIndex = styledText.topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	951 int topIndexY = styledText.topIndexY;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	952 int lineHeight = getLineHeight();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	953 if (topIndexY >= 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	954 styledText.verticalScrollOffset = (topIndex - 1) * lineHeight + lineHeight - topIndexY;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	955 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	956 styledText.verticalScrollOffset = topIndex * lineHeight - topIndexY;
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 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	959 styledText.calculateScrollBars();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	960 if (styledText.isBidiCaret()) styledText.createCaretBitmaps();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	961 styledText.caretDirection = SWT.NULL;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	962 styledText.setCaretLocation();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	963 styledText.redraw();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	964 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	965 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	966 return layout;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	967 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	968 int getWidth() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	969 return maxWidth;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	970 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	971 void reset() {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	972 if (layouts !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	973 for (int i = 0; i < layouts.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	974 TextLayout layout = layouts[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	975 if (layout !is null) layout.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	976 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	977 layouts = null;
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 topIndex = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	980 stylesSetCount = styleCount = lineCount = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	981 ranges = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	982 styles = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	983 stylesSet = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	984 lines = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	985 lineWidth = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	986 lineHeight = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	987 bullets = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	988 bulletsIndices = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	989 redrawLines = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	990 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	991 void reset(int startLine, int lineCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	992 int endLine = startLine + lineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	993 if (startLine < 0 \|\| endLine > lineWidth.length) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	994 for (int i = startLine; i < endLine; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	995 lineWidth[i] = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	996 lineHeight[i] = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	997 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	998 if (startLine <= maxWidthLineIndex && maxWidthLineIndex < endLine) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	999 maxWidth = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1000 maxWidthLineIndex = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1001 if (lineCount !is this.lineCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1002 for (int i = 0; i < this.lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1003 if (lineWidth[i] > maxWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1004 maxWidth = lineWidth[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1005 maxWidthLineIndex = i;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1006 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1007 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1008 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1009 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1010 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1011 void setContent(StyledTextContent content) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1012 reset();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1013 this.content = content;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1014 lineCount = content.getLineCount();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1015 lineWidth = new int[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1016 lineHeight = new int[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1017 reset(0, lineCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1018 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1019 void setFont(Font font, int tabs) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1020 TextLayout layout = new TextLayout(device);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1021 layout.setFont(regularFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1022 if (font !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1023 if (boldFont !is null) boldFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1024 if (italicFont !is null) italicFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1025 if (boldItalicFont !is null) boldItalicFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1026 boldFont = italicFont = boldItalicFont = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1027 regularFont = font;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1028 layout.setText(" ");
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1029 layout.setFont(font);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1030 layout.setStyle(new TextStyle(getFont(SWT.NORMAL), null, null), 0, 0);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1031 layout.setStyle(new TextStyle(getFont(SWT.BOLD), null, null), 1, 1);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1032 layout.setStyle(new TextStyle(getFont(SWT.ITALIC), null, null), 2, 2);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1033 layout.setStyle(new TextStyle(getFont(SWT.BOLD \| SWT.ITALIC), null, null), 3, 3);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1034 FontMetrics metrics = layout.getLineMetrics(0);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1035 ascent = metrics.getAscent() + metrics.getLeading();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1036 descent = metrics.getDescent();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1037 boldFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1038 italicFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1039 boldItalicFont.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1040 boldFont = italicFont = boldItalicFont = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1041 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1042 layout.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1043 layout = new TextLayout(device);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1044 layout.setFont(regularFont);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1045 StringBuffer tabBuffer = new StringBuffer(tabs);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1046 for (int i = 0; i < tabs; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1047 tabBuffer.append(' ');
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1048 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1049 layout.setText(tabBuffer.toString());
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1050 tabWidth = layout.getBounds().width;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1051 layout.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1052 if (styledText !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1053 GC gc = new GC(styledText);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1054 averageCharWidth = gc.getFontMetrics().getAverageCharWidth();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1055 gc.dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1056 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1057 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1058 void setLineAlignment(int startLine, int count, int alignment) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1059 if (lines is null) lines = new LineInfo[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1060 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1061 if (lines[i] is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1062 lines[i] = new LineInfo();
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 lines[i].flags \|= ALIGNMENT;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1065 lines[i].alignment = alignment;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1066 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1067 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1068 void setLineBackground(int startLine, int count, Color background) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1069 if (lines is null) lines = new LineInfo[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1070 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1071 if (lines[i] is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1072 lines[i] = new LineInfo();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1073 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1074 lines[i].flags \|= BACKGROUND;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1075 lines[i].background = background;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1076 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1077 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1078 void setLineBullet(int startLine, int count, Bullet bullet) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1079 if (bulletsIndices !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1080 bulletsIndices = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1081 bullets = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1082 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1083 if (bullets is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1084 if (bullet is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1085 bullets = new Bullet[1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1086 bullets[0] = bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1087 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1088 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1089 while (index < bullets.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1090 if (bullet is bullets[index]) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1091 index++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1092 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1093 if (bullet !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1094 if (index is bullets.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1095 Bullet[] newBulletsList = new Bullet[bullets.length + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1096 System.arraycopy(bullets, 0, newBulletsList, 0, bullets.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1097 newBulletsList[index] = bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1098 bullets = newBulletsList;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1099 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1100 bullet.addIndices(startLine, count);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1101 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1102 updateBullets(startLine, count, 0, false);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1103 styledText.redrawLinesBullet(redrawLines);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1104 redrawLines = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1105 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1106 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1107 void setLineIndent(int startLine, int count, int indent) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1108 if (lines is null) lines = new LineInfo[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1109 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1110 if (lines[i] is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1111 lines[i] = new LineInfo();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1112 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1113 lines[i].flags \|= INDENT;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1114 lines[i].indent = indent;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1115 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1116 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1117 void setLineJustify(int startLine, int count, bool justify) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1118 if (lines is null) lines = new LineInfo[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1119 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1120 if (lines[i] is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1121 lines[i] = new LineInfo();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1122 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1123 lines[i].flags \|= JUSTIFY;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1124 lines[i].justify = justify;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1125 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1126 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1127 void setLineSegments(int startLine, int count, int[] segments) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1128 if (lines is null) lines = new LineInfo[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1129 for (int i = startLine; i < startLine + count; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1130 if (lines[i] is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1131 lines[i] = new LineInfo();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1132 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1133 lines[i].flags \|= SEGMENTS;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1134 lines[i].segments = segments;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1135 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1136 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1137 void setStyleRanges (int[] newRanges, StyleRange[] newStyles) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1138 if (newStyles is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1139 stylesSetCount = styleCount = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1140 ranges = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1141 styles = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1142 stylesSet = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1143 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1144 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1145 if (newRanges is null && COMPACT_STYLES) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1146 newRanges = new int[newStyles.length << 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1147 StyleRange[] tmpStyles = new StyleRange[newStyles.length];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1148 if (stylesSet is null) stylesSet = new StyleRange[4];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1149 for (int i = 0, j = 0; i < newStyles.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1150 StyleRange newStyle = newStyles[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1151 newRanges[j++] = newStyle.start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1152 newRanges[j++] = newStyle.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1153 int index = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1154 while (index < stylesSetCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1155 if (stylesSet[index].similarTo(newStyle)) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1156 index++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1157 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1158 if (index is stylesSetCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1159 if (stylesSetCount is stylesSet.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1160 StyleRange[] tmpStylesSet = new StyleRange[stylesSetCount + 4];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1161 System.arraycopy(stylesSet, 0, tmpStylesSet, 0, stylesSetCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1162 stylesSet = tmpStylesSet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1163 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1164 stylesSet[stylesSetCount++] = newStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1165 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1166 tmpStyles[i] = stylesSet[index];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1167 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1168 newStyles = tmpStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1169 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1170
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1171 if (styleCount is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1172 if (newRanges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1173 ranges = new int[newRanges.length];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1174 System.arraycopy(newRanges, 0, ranges, 0, ranges.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1175 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1176 styles = new StyleRange[newStyles.length];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1177 System.arraycopy(newStyles, 0, styles, 0, styles.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1178 styleCount = newStyles.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1179 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1180 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1181 if (newRanges !is null && ranges is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1182 ranges = new int[styles.length << 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1183 for (int i = 0, j = 0; i < styleCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1184 ranges[j++] = styles[i].start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1185 ranges[j++] = styles[i].length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1186 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1187 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1188 if (newRanges is null && ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1189 newRanges = new int[newStyles.length << 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1190 for (int i = 0, j = 0; i < newStyles.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1191 newRanges[j++] = newStyles[i].start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1192 newRanges[j++] = newStyles[i].length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1193 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1194 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1195 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1196 int rangeCount = styleCount << 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1197 int start = newRanges[0];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1198 int modifyStart = getRangeIndex(start, -1, rangeCount), modifyEnd;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1199 bool insert = modifyStart is rangeCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1200 if (!insert) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1201 int end = newRanges[newRanges.length - 2] + newRanges[newRanges.length - 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1202 modifyEnd = getRangeIndex(end, modifyStart - 1, rangeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1203 insert = modifyStart is modifyEnd && ranges[modifyStart] >= end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1204 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1205 if (insert) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1206 addMerge(newRanges, newStyles, newRanges.length, modifyStart, modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1207 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1208 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1209 modifyEnd = modifyStart;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1210 int[] mergeRanges = new int[6];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1211 StyleRange[] mergeStyles = new StyleRange[3];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1212 for (int i = 0; i < newRanges.length; i += 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1213 int newStart = newRanges[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1214 int newEnd = newStart + newRanges[i + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1215 if (newStart is newEnd) continue;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1216 int modifyLast = 0, mergeCount = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1217 while (modifyEnd < rangeCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1218 if (newStart >= ranges[modifyStart] + ranges[modifyStart + 1]) modifyStart += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1219 if (ranges[modifyEnd] + ranges[modifyEnd + 1] > newEnd) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1220 modifyEnd += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1221 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1222 if (ranges[modifyStart] < newStart && newStart < ranges[modifyStart] + ranges[modifyStart + 1]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1223 mergeStyles[mergeCount >> 1] = styles[modifyStart >> 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1224 mergeRanges[mergeCount] = ranges[modifyStart];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1225 mergeRanges[mergeCount + 1] = newStart - ranges[modifyStart];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1226 mergeCount += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1227 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1228 mergeStyles[mergeCount >> 1] = newStyles[i >> 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1229 mergeRanges[mergeCount] = newStart;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1230 mergeRanges[mergeCount + 1] = newRanges[i + 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1231 mergeCount += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1232 if (modifyEnd < rangeCount && ranges[modifyEnd] < newEnd && newEnd < ranges[modifyEnd] + ranges[modifyEnd + 1]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1233 mergeStyles[mergeCount >> 1] = styles[modifyEnd >> 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1234 mergeRanges[mergeCount] = newEnd;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1235 mergeRanges[mergeCount + 1] = ranges[modifyEnd] + ranges[modifyEnd + 1] - newEnd;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1236 mergeCount += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1237 modifyLast = 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1238 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1239 int grow = addMerge(mergeRanges, mergeStyles, mergeCount, modifyStart, modifyEnd + modifyLast);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1240 rangeCount += grow;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1241 modifyStart = modifyEnd += grow;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1242 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1243 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1244 int start = newStyles[0].start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1245 int modifyStart = getRangeIndex(start, -1, styleCount), modifyEnd;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1246 bool insert = modifyStart is styleCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1247 if (!insert) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1248 int end = newStyles[newStyles.length - 1].start + newStyles[newStyles.length - 1].length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1249 modifyEnd = getRangeIndex(end, modifyStart - 1, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1250 insert = modifyStart is modifyEnd && styles[modifyStart].start >= end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1251 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1252 if (insert) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1253 addMerge(newStyles, newStyles.length, modifyStart, modifyStart);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1254 return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1255 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1256 modifyEnd = modifyStart;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1257 StyleRange[] mergeStyles = new StyleRange[3];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1258 for (int i = 0; i < newStyles.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1259 StyleRange newStyle = newStyles[i], style;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1260 int newStart = newStyle.start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1261 int newEnd = newStart + newStyle.length;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1262 if (newStart is newEnd) continue;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1263 int modifyLast = 0, mergeCount = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1264 while (modifyEnd < styleCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1265 if (newStart >= styles[modifyStart].start + styles[modifyStart].length) modifyStart++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1266 if (styles[modifyEnd].start + styles[modifyEnd].length > newEnd) break;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1267 modifyEnd++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1268 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1269 style = styles[modifyStart];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1270 if (style.start < newStart && newStart < style.start + style.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1271 style = mergeStyles[mergeCount++] = cast(StyleRange)style.clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1272 style.length = newStart - style.start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1273 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1274 mergeStyles[mergeCount++] = newStyle;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1275 if (modifyEnd < styleCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1276 style = styles[modifyEnd];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1277 if (style.start < newEnd && newEnd < style.start + style.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1278 style = mergeStyles[mergeCount++] = cast(StyleRange)style.clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1279 style.length += style.start - newEnd;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1280 style.start = newEnd;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1281 modifyLast = 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1282 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1283 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1284 int grow = addMerge(mergeStyles, mergeCount, modifyStart, modifyEnd + modifyLast);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1285 modifyStart = modifyEnd += grow;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1286 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1287 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1288 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1289 void textChanging(TextChangingEvent event) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1290 int start = event.start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1291 int newCharCount = event.newCharCount, replaceCharCount = event.replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1292 int newLineCount = event.newLineCount, replaceLineCount = event.replaceLineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1293
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1294 updateRanges(start, replaceCharCount, newCharCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1295
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1296 int startLine = content.getLineAtOffset(start);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1297 if (replaceCharCount is content.getCharCount()) lines = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1298 if (replaceLineCount is lineCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1299 lineCount = newLineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1300 lineWidth = new int[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1301 lineHeight = new int[lineCount];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1302 reset(0, lineCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1303 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1304 int delta = newLineCount - replaceLineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1305 if (lineCount + delta > lineWidth.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1306 int[] newWidths = new int[lineCount + delta + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1307 System.arraycopy(lineWidth, 0, newWidths, 0, lineCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1308 lineWidth = newWidths;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1309 int[] newHeights = new int[lineCount + delta + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1310 System.arraycopy(lineHeight, 0, newHeights, 0, lineCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1311 lineHeight = newHeights;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1312 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1313 if (lines !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1314 if (lineCount + delta > lines.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1315 LineInfo[] newLines = new LineInfo[lineCount + delta + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1316 System.arraycopy(lines, 0, newLines, 0, lineCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1317 lines = newLines;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1318 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1319 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1320 int startIndex = startLine + replaceLineCount + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1321 int endIndex = startLine + newLineCount + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1322 System.arraycopy(lineWidth, startIndex, lineWidth, endIndex, lineCount - startIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1323 System.arraycopy(lineHeight, startIndex, lineHeight, endIndex, lineCount - startIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1324 for (int i = startLine; i < endIndex; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1325 lineWidth[i] = lineHeight[i] = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1326 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1327 for (int i = lineCount + delta; i < lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1328 lineWidth[i] = lineHeight[i] = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1329 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1330 if (layouts !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1331 int layoutStartLine = startLine - topIndex;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1332 int layoutEndLine = layoutStartLine + replaceLineCount + 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1333 for (int i = layoutStartLine; i < layoutEndLine; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1334 if (0 <= i && i < layouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1335 if (layouts[i] !is null) layouts[i].dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1336 layouts[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1337 if (bullets !is null && bulletsIndices !is null) bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1338 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1339 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1340 if (delta > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1341 for (int i = layouts.length - 1; i >= layoutEndLine; i--) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1342 if (0 <= i && i < layouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1343 endIndex = i + delta;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1344 if (0 <= endIndex && endIndex < layouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1345 layouts[endIndex] = layouts[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1346 layouts[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1347 if (bullets !is null && bulletsIndices !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1348 bullets[endIndex] = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1349 bulletsIndices[endIndex] = bulletsIndices[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1350 bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1351 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1352 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1353 if (layouts[i] !is null) layouts[i].dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1354 layouts[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1355 if (bullets !is null && bulletsIndices !is null) bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1356 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1357 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1358 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1359 } else if (delta < 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1360 for (int i = layoutEndLine; i < layouts.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1361 if (0 <= i && i < layouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1362 endIndex = i + delta;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1363 if (0 <= endIndex && endIndex < layouts.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1364 layouts[endIndex] = layouts[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1365 layouts[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1366 if (bullets !is null && bulletsIndices !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1367 bullets[endIndex] = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1368 bulletsIndices[endIndex] = bulletsIndices[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1369 bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1370 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1371 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1372 if (layouts[i] !is null) layouts[i].dispose();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1373 layouts[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1374 if (bullets !is null && bulletsIndices !is null) bullets[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1375 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1376 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1377 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1378 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1379 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1380 if (replaceLineCount !is 0 \|\| newLineCount !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1381 int startLineOffset = content.getOffsetAtLine(startLine);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1382 if (startLineOffset !is start) startLine++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1383 updateBullets(startLine, replaceLineCount, newLineCount, true);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1384 if (lines !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1385 startIndex = startLine + replaceLineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1386 endIndex = startLine + newLineCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1387 System.arraycopy(lines, startIndex, lines, endIndex, lineCount - startIndex);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1388 for (int i = startLine; i < endIndex; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1389 lines[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1390 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1391 for (int i = lineCount + delta; i < lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1392 lines[i] = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1393 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1394 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1395 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1396 lineCount += delta;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1397 if (maxWidthLineIndex !is -1 && startLine <= maxWidthLineIndex && maxWidthLineIndex <= startLine + replaceLineCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1398 maxWidth = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1399 maxWidthLineIndex = -1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1400 for (int i = 0; i < lineCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1401 if (lineWidth[i] > maxWidth) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1402 maxWidth = lineWidth[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1403 maxWidthLineIndex = i;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1404 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1405 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1406 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1407 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1408 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1409 void updateBullets(int startLine, int replaceLineCount, int newLineCount, bool update) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1410 if (bullets is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1411 if (bulletsIndices !is null) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1412 for (int i = 0; i < bullets.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1413 Bullet bullet = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1414 int[] lines = bullet.removeIndices(startLine, replaceLineCount, newLineCount, update);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1415 if (lines !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1416 if (redrawLines is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1417 redrawLines = lines;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1418 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1419 int[] newRedrawBullets = new int[redrawLines.length + lines.length];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1420 System.arraycopy(redrawLines, 0, newRedrawBullets, 0, redrawLines.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1421 System.arraycopy(lines, 0, newRedrawBullets, redrawLines.length, lines.length);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1422 redrawLines = newRedrawBullets;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1423 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1424 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1425 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1426 int removed = 0;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1427 for (int i = 0; i < bullets.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1428 if (bullets[i].size() is 0) removed++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1429 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1430 if (removed > 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1431 if (removed is bullets.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1432 bullets = null;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1433 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1434 Bullet[] newBulletsList = new Bullet[bullets.length - removed];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1435 for (int i = 0, j = 0; i < bullets.length; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1436 Bullet bullet = bullets[i];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1437 if (bullet.size() > 0) newBulletsList[j++] = bullet;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1438 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1439 bullets = newBulletsList;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1440 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1441 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1442 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1443 void updateRanges(int start, int replaceCharCount, int newCharCount) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1444 if (styleCount is 0 \|\| (replaceCharCount is 0 && newCharCount is 0)) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1445 if (ranges !is null) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1446 int rangeCount = styleCount << 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1447 int modifyStart = getRangeIndex(start, -1, rangeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1448 if (modifyStart is rangeCount) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1449 int end = start + replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1450 int modifyEnd = getRangeIndex(end, modifyStart - 1, rangeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1451 int offset = newCharCount - replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1452 if (modifyStart is modifyEnd && ranges[modifyStart] < start && end < ranges[modifyEnd] + ranges[modifyEnd + 1]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1453 if (newCharCount is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1454 ranges[modifyStart + 1] -= replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1455 modifyEnd += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1456 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1457 if (rangeCount + 2 > ranges.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1458 int[] newRanges = new int[ranges.length + (GROW << 1)];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1459 System.arraycopy(ranges, 0, newRanges, 0, rangeCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1460 ranges = newRanges;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1461 StyleRange[] newStyles = new StyleRange[styles.length + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1462 System.arraycopy(styles, 0, newStyles, 0, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1463 styles = newStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1464 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1465 System.arraycopy(ranges, modifyStart + 2, ranges, modifyStart + 4, rangeCount - (modifyStart + 2));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1466 System.arraycopy(styles, (modifyStart + 2) >> 1, styles, (modifyStart + 4) >> 1, styleCount - ((modifyStart + 2) >> 1));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1467 ranges[modifyStart + 3] = ranges[modifyStart] + ranges[modifyStart + 1] - end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1468 ranges[modifyStart + 2] = start + newCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1469 ranges[modifyStart + 1] = start - ranges[modifyStart];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1470 styles[(modifyStart >> 1) + 1] = styles[modifyStart >> 1];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1471 rangeCount += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1472 styleCount++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1473 modifyEnd += 4;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1474 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1475 if (offset !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1476 for (int i = modifyEnd; i < rangeCount; i += 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1477 ranges[i] += offset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1478 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1479 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1480 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1481 if (ranges[modifyStart] < start && start < ranges[modifyStart] + ranges[modifyStart + 1]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1482 ranges[modifyStart + 1] = start - ranges[modifyStart];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1483 modifyStart += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1484 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1485 if (modifyEnd < rangeCount && ranges[modifyEnd] < end && end < ranges[modifyEnd] + ranges[modifyEnd + 1]) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1486 ranges[modifyEnd + 1] = ranges[modifyEnd] + ranges[modifyEnd + 1] - end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1487 ranges[modifyEnd] = end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1488 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1489 if (offset !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1490 for (int i = modifyEnd; i < rangeCount; i += 2) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1491 ranges[i] += offset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1492 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1493 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1494 System.arraycopy(ranges, modifyEnd, ranges, modifyStart, rangeCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1495 System.arraycopy(styles, modifyEnd >> 1, styles, modifyStart >> 1, styleCount - (modifyEnd >> 1));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1496 styleCount -= (modifyEnd - modifyStart) >> 1;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1497 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1498 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1499 int modifyStart = getRangeIndex(start, -1, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1500 if (modifyStart is styleCount) return;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1501 int end = start + replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1502 int modifyEnd = getRangeIndex(end, modifyStart - 1, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1503 int offset = newCharCount - replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1504 if (modifyStart is modifyEnd && styles[modifyStart].start < start && end < styles[modifyEnd].start + styles[modifyEnd].length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1505 if (newCharCount is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1506 styles[modifyStart].length -= replaceCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1507 modifyEnd++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1508 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1509 if (styleCount + 1 > styles.length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1510 StyleRange[] newStyles = new StyleRange[styles.length + GROW];
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1511 System.arraycopy(styles, 0, newStyles, 0, styleCount);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1512 styles = newStyles;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1513 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1514 System.arraycopy(styles, modifyStart + 1, styles, modifyStart + 2, styleCount - (modifyStart + 1));
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1515 styles[modifyStart + 1] = cast(StyleRange)styles[modifyStart].clone();
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1516 styles[modifyStart + 1].length = styles[modifyStart].start + styles[modifyStart].length - end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1517 styles[modifyStart + 1].start = start + newCharCount;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1518 styles[modifyStart].length = start - styles[modifyStart].start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1519 styleCount++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1520 modifyEnd += 2;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1521 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1522 if (offset !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1523 for (int i = modifyEnd; i < styleCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1524 styles[i].start += offset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1525 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1526 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1527 } else {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1528 if (styles[modifyStart].start < start && start < styles[modifyStart].start + styles[modifyStart].length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1529 styles[modifyStart].length = start - styles[modifyStart].start;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1530 modifyStart++;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1531 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1532 if (modifyEnd < styleCount && styles[modifyEnd].start < end && end < styles[modifyEnd].start + styles[modifyEnd].length) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1533 styles[modifyEnd].length = styles[modifyEnd].start + styles[modifyEnd].length - end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1534 styles[modifyEnd].start = end;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1535 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1536 if (offset !is 0) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1537 for (int i = modifyEnd; i < styleCount; i++) {
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1538 styles[i].start += offset;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1539 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1540 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1541 System.arraycopy(styles, modifyEnd, styles, modifyStart, styleCount - modifyEnd);
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1542 styleCount -= modifyEnd - modifyStart;
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1543 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1544 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1545 }
6dd524f61e62 add dwt win and basic java stuff Frank Benoit <benoit@tionex.de> parents: diff changeset	1546 }

Mercurial > projects > dwt2

annotate org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/StyledTextRenderer.d @ 36:d46287db17ed