projects/dwt-mac: dwt/custom/StyledTextRenderer.d annotate

annotate dwt/custom/StyledTextRenderer.d @ 156:969e7de37c3d default tip

Fixes to get dwt to work with dmd and ldc

author	Jacob Carlborg <doob@me.com>
date	Wed, 08 Jul 2009 21:56:44 +0200
parents	07399639c0c8
children

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

Mercurial > projects > dwt-mac

annotate dwt/custom/StyledTextRenderer.d @ 156:969e7de37c3d default tip