package org.eclipse.swt.custom; /* * Copyright (c) 2000, 2003 IBM Corp. All rights reserved. * This file is made available under the terms of the Common Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/cpl-v10.html */ import java.util.*; import org.eclipse.swt.*; import org.eclipse.swt.dnd.*; import org.eclipse.swt.events.*; import org.eclipse.swt.graphics.*; import org.eclipse.swt.internal.*; import org.eclipse.swt.printing.*; import org.eclipse.swt.widgets.*; /** * A StyledText is an editable user interface object that displays lines * of text. The following style attributes can be defined for the text: *
* In addition to text style attributes, the background color of a line may * be specified. *
** There are two ways to use this widget when specifying text style information. * You may use the API that is defined for StyledText or you may define your own * LineStyleListener. If you define your own listener, you will be responsible * for maintaining the text style information for the widget. IMPORTANT: You may * not define your own listener and use the StyledText API. The following * StyledText API is not supported if you have defined a LineStyleListener: *
* There are two ways to use this widget when specifying line background colors. * You may use the API that is defined for StyledText or you may define your own * LineBackgroundListener. If you define your own listener, you will be responsible * for maintaining the line background color information for the widget. * IMPORTANT: You may not define your own listener and use the StyledText API. * The following StyledText API is not supported if you have defined a * LineBackgroundListener: *
* The content implementation for this widget may also be user-defined. To do so, * you must implement the StyledTextContent interface and use the StyledText API * setContent(StyledTextContent) to initialize the widget. *
** IMPORTANT: This class is not intended to be subclassed. *
*RTFWriter
class is used to write widget content as
* rich text. The implementation complies with the RTF specification
* version 1.5.
* * toString() is guaranteed to return a valid RTF string only after * close() has been called. *
** Whole and partial lines and line breaks can be written. Lines will be * formatted using the styles queried from the LineStyleListener, if * set, or those set directly in the widget. All styles are applied to * the RTF stream like they are rendered by the widget. In addition, the * widget font name and size is used for the whole text. *
*/ class RTFWriter extends TextWriter { final int DEFAULT_FOREGROUND = 0; final int DEFAULT_BACKGROUND = 1; Vector colorTable = new Vector(); boolean WriteUnicode; /** * Creates a RTF writer that writes content starting at offset "start" * in the document.start
and length
can be set to specify partial
* lines.
*
*
* @param start start offset of content to write, 0 based from
* beginning of document
* @param length length of content to write
*/
public RTFWriter(int start, int length) {
super(start, length);
colorTable.addElement(getForeground());
colorTable.addElement(getBackground());
setUnicode();
}
/**
* Closes the RTF writer. Once closed no more content can be written.
* NOTE: toString()
does not return a valid RTF string until
* close()
has been called.
*/
public void close() {
if (isClosed() == false) {
writeHeader();
write("\n}}\0");
super.close();
}
}
/**
* Returns the index of the specified color in the RTF color table.
*
*
* @param color the color
* @param defaultIndex return value if color is null
* @return the index of the specified color in the RTF color table
* or "defaultIndex" if "color" is null.
*/
int getColorIndex(Color color, int defaultIndex) {
int index;
if (color == null) {
index = defaultIndex;
}
else {
index = colorTable.indexOf(color);
if (index == -1) {
index = colorTable.size();
colorTable.addElement(color);
}
}
return index;
}
/**
* Determines if Unicode RTF should be written.
* Don't write Unicode RTF on Windows 95/98/ME or NT.
*/
void setUnicode() {
final String Win95 = "windows 95";
final String Win98 = "windows 98";
final String WinME = "windows me";
final String WinNT = "windows nt";
String osName = System.getProperty("os.name").toLowerCase();
String osVersion = System.getProperty("os.version");
int majorVersion = 0;
if (osName.startsWith(WinNT) && osVersion != null) {
int majorIndex = osVersion.indexOf('.');
if (majorIndex != -1) {
osVersion = osVersion.substring(0, majorIndex);
try {
majorVersion = Integer.parseInt(osVersion);
}
catch (NumberFormatException exception) {
// ignore exception. version number remains unknown.
// will write without Unicode
}
}
}
if (osName != null &&
osName.startsWith(Win95) == false &&
osName.startsWith(Win98) == false &&
osName.startsWith(WinME) == false &&
(osName.startsWith(WinNT) == false || majorVersion > 4)) {
WriteUnicode = true;
}
else {
WriteUnicode = false;
}
}
/**
* Appends the specified segment of "string" to the RTF data.
* Copy from start
up to, but excluding, end
.
*
* * @param string string to copy a segment from. Must not contain * line breaks. Line breaks should be written using writeLineDelimiter() * @param start start offset of segment. 0 based. * @param end end offset of segment */ void write(String string, int start, int end) { for (int index = start; index < end; index++) { char ch = string.charAt(index); if (ch > 0xFF && WriteUnicode) { // write the sub string from the last escaped character // to the current one. Fixes bug 21698. if (index > start) { write(string.substring(start, index)); } write("\\u"); write(Integer.toString((short) ch)); write(' '); // control word delimiter start = index + 1; } else if (ch == '}' || ch == '{' || ch == '\\') { // write the sub string from the last escaped character // to the current one. Fixes bug 21698. if (index > start) { write(string.substring(start, index)); } write('\\'); write(ch); start = index + 1; } } // write from the last escaped character to the end. // Fixes bug 21698. if (start < end) { write(string.substring(start, end)); } } /** * Writes the RTF header including font table and color table. */ void writeHeader() { StringBuffer header = new StringBuffer(); FontData fontData = getFont().getFontData()[0]; header.append("{\\rtf1\\ansi"); // specify code page, necessary for copy to work in bidi // systems that don't support Unicode RTF. String cpg = System.getProperty("file.encoding").toLowerCase(); if (cpg.startsWith("cp") || cpg.startsWith("ms")) { cpg = cpg.substring(2, cpg.length()); header.append("\\ansicpg"); header.append(cpg); } header.append("\\uc0\\deff0{\\fonttbl{\\f0\\fnil "); header.append(fontData.getName()); header.append(";}}\n{\\colortbl"); for (int i = 0; i < colorTable.size(); i++) { Color color = (Color) colorTable.elementAt(i); header.append("\\red"); header.append(color.getRed()); header.append("\\green"); header.append(color.getGreen()); header.append("\\blue"); header.append(color.getBlue()); header.append(";"); } // some RTF readers ignore the deff0 font tag. Explicitly // set the font for the whole document to work around this. header.append("}\n{\\f0\\fs"); // font size is specified in half points header.append(fontData.getHeight() * 2); header.append(" "); write(header.toString(), 0); } /** * Appends the specified line text to the RTF data. Lines will be formatted * using the styles queried from the LineStyleListener, if set, or those set * directly in the widget. *
* * @param line line text to write as RTF. Must not contain line breaks * Line breaks should be written using writeLineDelimiter() * @param lineOffset offset of the line. 0 based from the start of the * widget document. Any text occurring before the start offset or after the * end offset specified during object creation is ignored. * @exception SWTException
* * @param lineDelimiter line delimiter to write as RTF. * @exception SWTException
*
* @param line line text to write as RTF. Must not contain line breaks
* Line breaks should be written using writeLineDelimiter()
* @param lineOffset offset of the line. 0 based from the start of the
* widget document. Any text occurring before the start offset or after the
* end offset specified during object creation is ignored.
* @param styles styles to use for formatting. Must not be null.
* @param linebackground line background color to use for formatting.
* May be null.
*/
void writeStyledLine(String line, int lineOffset, StyleRange[] styles, Color lineBackground) {
int lineLength = line.length();
int lineIndex;
int copyEnd;
int startOffset = getStart();
int endOffset = startOffset + super.getCharCount();
int lineEndOffset = Math.min(lineLength, endOffset - lineOffset);
int writeOffset = startOffset - lineOffset;
if (writeOffset >= line.length()) {
return; // whole line is outside write range
}
else
if (writeOffset > 0) {
lineIndex = writeOffset; // line starts before RTF write start
}
else {
lineIndex = 0;
}
if (lineBackground != null) {
write("{\\highlight");
write(getColorIndex(lineBackground, DEFAULT_BACKGROUND));
write(" ");
}
for (int i = 0; i < styles.length; i++) {
StyleRange style = styles[i];
int start = style.start - lineOffset;
int end = start + style.length;
int colorIndex;
// skip over partial first line
if (end < writeOffset) {
continue;
}
// style starts beyond line end or RTF write end
if (start >= lineEndOffset) {
break;
}
// write any unstyled text
if (lineIndex < start) {
// copy to start of style
// style starting betond end of write range or end of line
// is guarded against above.
write(line, lineIndex, start);
lineIndex = start;
}
// write styled text
colorIndex = getColorIndex(style.background, DEFAULT_BACKGROUND);
write("{\\cf");
write(getColorIndex(style.foreground, DEFAULT_FOREGROUND));
if (colorIndex != DEFAULT_BACKGROUND) {
write("\\highlight");
write(colorIndex);
}
if (style.fontStyle == SWT.BOLD) {
write("\\b");
}
write(" ");
// copy to end of style or end of write range or end of line
copyEnd = Math.min(end, lineEndOffset);
// guard against invalid styles and let style processing continue
copyEnd = Math.max(copyEnd, lineIndex);
write(line, lineIndex, copyEnd);
if (style.fontStyle == SWT.BOLD) {
write("\\b0");
}
write("}");
lineIndex = copyEnd;
}
// write unstyled text at the end of the line
if (lineIndex < lineEndOffset) {
write(line, lineIndex, lineEndOffset);
}
if (lineBackground != null) {
write("}");
}
}
}
/**
* The TextWriter
class is used to write widget content to
* a string. Whole and partial lines and line breaks can be written. To write
* partial lines, specify the start and length of the desired segment
* during object creation.
*
* NOTE: toString()
is guaranteed to return a valid string only after close()
* has been called.
*/
class TextWriter {
private StringBuffer buffer;
private int startOffset; // offset of first character that will be written
private int endOffset; // offset of last character that will be written.
// 0 based from the beginning of the widget text.
private boolean isClosed = false;
/**
* Creates a writer that writes content starting at offset "start"
* in the document. start
and length
can be set to specify partial lines.
*
*
* @param start start offset of content to write, 0 based from beginning of document
* @param length length of content to write
*/
public TextWriter(int start, int length) {
buffer = new StringBuffer(length);
startOffset = start;
endOffset = start + length;
}
/**
* Closes the writer. Once closed no more content can be written.
* NOTE: toString()
is not guaranteed to return a valid string unless
* the writer is closed.
*/
public void close() {
if (isClosed == false) {
isClosed = true;
}
}
/**
* Returns the number of characters to write.
*/
public int getCharCount() {
return endOffset - startOffset;
}
/**
* Returns the offset where writing starts. 0 based from the start of
* the widget text. Used to write partial lines.
*/
public int getStart() {
return startOffset;
}
/**
* Returns whether the writer is closed.
*/
public boolean isClosed() {
return isClosed;
}
/**
* Returns the string. close()
must be called before toString()
* is guaranteed to return a valid string.
*
* * @return the string */ public String toString() { return buffer.toString(); } /** * Appends the given string to the data. */ void write(String string) { buffer.append(string); } /** * Inserts the given string to the data at the specified offset. * Do nothing if "offset" is < 0 or > getCharCount() *
* * @param string text to insert * @param offset offset in the existing data to insert "string" at. */ void write(String string, int offset) { if (offset < 0 || offset > buffer.length()) { return; } buffer.insert(offset, string); } /** * Appends the given int to the data. */ void write(int i) { buffer.append(i); } /** * Appends the given character to the data. */ void write(char i) { buffer.append(i); } /** * Appends the specified line text to the data. *
* * @param line line text to write. Must not contain line breaks * Line breaks should be written using writeLineDelimiter() * @param lineOffset offset of the line. 0 based from the start of the * widget document. Any text occurring before the start offset or after the * end offset specified during object creation is ignored. * @exception SWTException
* * @param lineDelimiter line delimiter to write * @exception SWTException
getWidth
.
*/
interface LineCache {
/**
* Calculates the lines in the specified range.
*
*
* @param startLine first line to calculate
* @param lineCount number of lines to calculate
*/
public void calculate(int startLine, int lineCount);
/**
* Returns a width that will be used by the StyledText
* widget to size a horizontal scroll bar.
*
*
* @return the line width
*/
public int getWidth();
/**
* Resets the lines in the specified range.
* This method is called in StyledText.redraw()
* and allows implementors to call redraw themselves during reset.
*
* * @param startLine the first line to reset * @param lineCount the number of lines to reset * @param calculateMaxWidth true=implementors should retain a * valid width even if it is affected by the reset operation. * false=the width may be set to 0 */ public void redrawReset(int startLine, int lineCount, boolean calculateMaxWidth); /** * Resets the lines in the specified range. *
* * @param startLine the first line to reset * @param lineCount the number of lines to reset * @param calculateMaxWidth true=implementors should retain a * valid width even if it is affected by the reset operation. * false=the width may be set to 0 */ public void reset(int startLine, int lineCount, boolean calculateMaxWidth); /** * Called when a text change occurred. *
*
* @param startOffset the start offset of the text change
* @param newLineCount the number of inserted lines
* @param replaceLineCount the number of deleted lines
* @param newCharCount the number of new characters
* @param replaceCharCount the number of deleted characters
*/
public void textChanged(int startOffset, int newLineCount, int replaceLineCount, int newCharCount, int replaceCharCount);
}
/**
* Keeps track of line widths and the longest line in the
* StyledText document.
* Line widths are calculated when requested by a call to
* calculate
and cached until reset by a call
* to redrawReset
or reset
.
*/
class ContentWidthCache implements LineCache {
StyledText parent; // parent widget, used to create a GC for line measuring
int[] lineWidth; // width in pixel of each line in the document, -1 for unknown width
int lineCount; // number of lines in lineWidth array
int maxWidth; // maximum line width of all measured lines
int maxWidthLineIndex; // index of the widest line
/**
* Creates a new ContentWidthCache
and allocates space
* for the given number of lines.
*
* * @param parent the StyledText widget used to create a GC for * line measuring * @param lineCount initial number of lines to allocate space for */ public ContentWidthCache(StyledText parent, int lineCount) { this.lineCount = lineCount; this.parent = parent; lineWidth = new int[lineCount]; reset(0, lineCount, false); } /** * Calculates the width of each line in the given range if it has * not been calculated yet. * If any line in the given range is wider than the currently widest * line, the maximum line width is updated, *
* * @param startLine first line to calculate the line width of * @param lineCount number of lines to calculate the line width for */ public void calculate(int startLine, int lineCount) { GC gc = null; int caretWidth = 0; int stopLine = startLine + lineCount; for (int i = startLine; i < stopLine; i++) { if (lineWidth[i] == -1) { String line = content.getLine(i); int lineOffset = content.getOffsetAtLine(i); if (gc == null) { gc = parent.getGC(); caretWidth = getCaretWidth(); } lineWidth[i] = contentWidth(line, lineOffset, gc) + caretWidth; } if (lineWidth[i] > maxWidth) { maxWidth = lineWidth[i]; maxWidthLineIndex = i; } } if (gc != null) { gc.dispose(); } } /** * Calculates the width of the visible lines in the specified * range. *
* * @param startLine the first changed line * @param newLineCount the number of inserted lines */ void calculateVisible(int startLine, int newLineCount) { int topIndex = parent.getTopIndex(); int bottomLine = Math.min(getPartialBottomIndex(), startLine + newLineCount); startLine = Math.max(startLine, topIndex); calculate(startLine, bottomLine - startLine + 1); } /** * Measures the width of the given line. *
*
* @param line the line to measure
* @param lineOffset start offset of the line to measure, relative
* to the start of the document
* @param gc the GC to use for measuring the line
* @param currentFont the font currently set in gc. Cached for better
* performance. Null when running in a bidi locale.
* @return the width of the given line
*/
int contentWidth(String line, int lineOffset, GC gc) {
int width;
if (isBidi()) {
StyledTextBidi bidi = getStyledTextBidi(line, lineOffset, gc);
width = bidi.getTextWidth();
}
else {
StyledTextEvent event = renderer.getLineStyleData(lineOffset, line);
StyleRange[] styles = null;
if (event != null) {
styles = renderer.filterLineStyles(event.styles);
}
width = renderer.getTextWidth(line, lineOffset, 0, line.length(), styles, 0, gc);
}
return width + leftMargin;
}
/**
* Grows the lineWidth
array to accomodate new line width
* information.
*
* * @param numLines the number of elements to increase the array by */ void expandLines(int numLines) { int size = lineWidth.length; if (size - lineCount >= numLines) { return; } int[] newLines = new int[Math.max(size * 2, size + numLines)]; System.arraycopy(lineWidth, 0, newLines, 0, size); lineWidth = newLines; reset(size, lineWidth.length - size, false); } /** * Returns the width of the longest measured line. *
* * @return the width of the longest measured line. */ public int getWidth() { return maxWidth; } /** * Updates the line width array to reflect inserted or deleted lines. *
* * @param start the starting line of the change that took place * @param delta the number of lines in the change, > 0 indicates lines inserted, * < 0 indicates lines deleted */ void linesChanged(int startLine, int delta) { boolean inserting = delta > 0; if (delta == 0) { return; } if (inserting) { // shift the lines down to make room for new lines expandLines(delta); for (int i = lineCount - 1; i >= startLine; i--) { lineWidth[i + delta] = lineWidth[i]; } // reset the new lines for (int i = startLine + 1; i <= startLine + delta && i < lineWidth.length; i++) { lineWidth[i] = -1; } // have new lines been inserted above the longest line? if (maxWidthLineIndex >= startLine) { maxWidthLineIndex += delta; } } else { // shift up the lines for (int i = startLine - delta; i < lineCount; i++) { lineWidth[i+delta] = lineWidth[i]; } // has the longest line been removed? if (maxWidthLineIndex > startLine && maxWidthLineIndex <= startLine - delta) { maxWidth = 0; maxWidthLineIndex = -1; } else if (maxWidthLineIndex >= startLine - delta) { maxWidthLineIndex += delta; } } lineCount += delta; } /** * Resets the line width of the lines in the specified range. *
* * @param startLine the first line to reset * @param lineCount the number of lines to reset * @param calculateMaxWidth true=if the widest line is being * reset the maximum width of all remaining cached lines is * calculated. false=the maximum width is set to 0 if the * widest line is being reset. */ public void redrawReset(int startLine, int lineCount, boolean calculateMaxWidth) { reset(startLine, lineCount, calculateMaxWidth); } /** * Resets the line width of the lines in the specified range. *
* * @param startLine the first line to reset * @param lineCount the number of lines to reset * @param calculateMaxWidth true=if the widest line is being * reset the maximum width of all remaining cached lines is * calculated. false=the maximum width is set to 0 if the * widest line is being reset. */ public void reset(int startLine, int lineCount, boolean calculateMaxWidth) { int endLine = startLine + lineCount; if (startLine < 0 || endLine > lineWidth.length) { return; } for (int i = startLine; i < endLine; i++) { lineWidth[i] = -1; } // if the longest line is one of the reset lines, the maximum line // width is no longer valid if (maxWidthLineIndex >= startLine && maxWidthLineIndex < endLine) { maxWidth = 0; maxWidthLineIndex = -1; if (calculateMaxWidth) { for (int i = 0; i < lineCount; i++) { if (lineWidth[i] > maxWidth) { maxWidth = lineWidth[i]; maxWidthLineIndex = i; } } } } } /** * Updates the line width array to reflect a text change. * Lines affected by the text change will be reset. *
*
* @param startOffset the start offset of the text change
* @param newLineCount the number of inserted lines
* @param replaceLineCount the number of deleted lines
* @param newCharCount the number of new characters
* @param replaceCharCount the number of deleted characters
*/
public void textChanged(int startOffset, int newLineCount, int replaceLineCount, int newCharCount, int replaceCharCount) {
int startLine = parent.getLineAtOffset(startOffset);
boolean removedMaxLine = (maxWidthLineIndex > startLine && maxWidthLineIndex <= startLine + replaceLineCount);
// entire text deleted?
if (startLine == 0 && replaceLineCount == lineCount) {
lineCount = newLineCount;
lineWidth = new int[lineCount];
reset(0, lineCount, false);
maxWidth = 0;
}
else {
linesChanged(startLine, -replaceLineCount);
linesChanged(startLine, newLineCount);
lineWidth[startLine] = -1;
}
// only calculate the visible lines. otherwise measurements of changed lines
// outside the visible area may subsequently change again without the
// lines ever being visible.
calculateVisible(startLine, newLineCount);
// maxWidthLineIndex will be -1 (i.e., unknown line width) if the widget has
// not been visible yet and the changed lines have therefore not been
// calculated above.
if (removedMaxLine ||
(maxWidthLineIndex != -1 && lineWidth[maxWidthLineIndex] < maxWidth)) {
// longest line has been removed or changed and is now shorter.
// need to recalculate maximum content width for all lines
maxWidth = 0;
for (int i = 0; i < lineCount; i++) {
if (lineWidth[i] > maxWidth) {
maxWidth = lineWidth[i];
maxWidthLineIndex = i;
}
}
}
}
}
/**
* Updates the line wrapping of the content.
* The line wrapping must always be in a consistent state.
* Therefore, when reset
or redrawReset
* is called, the line wrapping is recalculated immediately
* instead of in calculate
.
*/
class WordWrapCache implements LineCache {
StyledText parent;
WrappedContent visualContent;
/**
* Creates a new WordWrapCache
and calculates an initial
* line wrapping.
*
* * @param parent the StyledText widget to wrap content in. * @param content the content provider that does the actual line wrapping. */ public WordWrapCache(StyledText parent, WrappedContent content) { this.parent = parent; visualContent = content; visualContent.wrapLines(); } /** * Do nothing. Lines are wrapped immediately after reset. *
* * @param startLine first line to calculate * @param lineCount number of lines to calculate */ public void calculate(int startLine, int lineCount) { } /** * Returns the client area width. Lines are wrapped so there * is no horizontal scroll bar. *
*
* @return the line width
*/
public int getWidth() {
return parent.getClientArea().width;
}
/**
* Wraps the lines in the specified range.
* This method is called in StyledText.redraw()
.
* A redraw is therefore not necessary.
*
* * @param startLine the first line to reset * @param lineCount the number of lines to reset * @param calculateMaxWidth true=implementors should retain a * valid width even if it is affected by the reset operation. * false=the width may be set to 0 */ public void redrawReset(int startLine, int lineCount, boolean calculateMaxWidth) { if (lineCount == visualContent.getLineCount()) { // do a full rewrap if all lines are reset visualContent.wrapLines(); } else { visualContent.reset(startLine, lineCount); } } /** * Rewraps the lines in the specified range and redraws * the widget if the line wrapping has changed. *
* * @param startLine the first line to reset * @param lineCount the number of lines to reset * @param calculateMaxWidth true=implementors should retain a * valid width even if it is affected by the reset operation. * false=the width may be set to 0 */ public void reset(int startLine, int lineCount, boolean calculateMaxWidth) { int itemCount = getPartialBottomIndex() - topIndex + 1; int[] oldLineOffsets = new int[itemCount]; for (int i = 0; i < itemCount; i++) { oldLineOffsets[i] = visualContent.getOffsetAtLine(i + topIndex); } redrawReset(startLine, lineCount, calculateMaxWidth); // check for cases which will require a full redraw if (getPartialBottomIndex() - topIndex + 1 != itemCount) { // number of visible lines has changed parent.internalRedraw(); } else { for (int i = 0; i < itemCount; i++) { if (visualContent.getOffsetAtLine(i + topIndex) != oldLineOffsets[i]) { // wrapping of one of the visible lines has changed parent.internalRedraw(); break; } } } } /** * Passes the text change notification to the line wrap content. *
* * @param startOffset the start offset of the text change * @param newLineCount the number of inserted lines * @param replaceLineCount the number of deleted lines * @param newCharCount the number of new characters * @param replaceCharCount the number of deleted characters */ public void textChanged(int startOffset, int newLineCount, int replaceLineCount, int newCharCount, int replaceCharCount) { int startLine = visualContent.getLineAtOffset(startOffset); visualContent.textChanged(startOffset, newLineCount, replaceLineCount, newCharCount, replaceCharCount); if (startLine <= getPartialBottomIndex()) { // only redraw if the text change is inside or above the // visible lines. if it is below the visible lines it will // not affect the word wrapping. fixes bug 14047. parent.internalRedraw(); } } } /** * Constructs a new instance of this class given its parent * and a style value describing its behavior and appearance. *
* The style value is either one of the style constants defined in
* class SWT
which is applicable to instances of this
* class, or must be built by bitwise OR'ing together
* (that is, using the int
"|" operator) two or more
* of those SWT
style constants. The class description
* lists the style constants that are applicable to the class.
* Style bits are also inherited from superclasses.
*
* * @param listener the listener * @exception SWTException
* * @param key a key code defined in SWT.java or a character. * Optionally ORd with a state mask. Preferred state masks are one or more of * SWT.MOD1, SWT.MOD2, SWT.MOD3, since these masks account for modifier platform * differences. However, there may be cases where using the specific state masks * (i.e., SWT.CTRL, SWT.SHIFT, SWT.ALT, SWT.COMMAND) makes sense. * @param action one of the predefined actions defined in ST.java. * Use SWT.NULL to remove a key binding. * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param listener the listener * @exception SWTException
* * @param string the string to be appended * @see #replaceTextRange(int,int,String) * @exception SWTException
* * @param sendEvent a Selection event is sent when set to true and when the selection is actually reset. */ void clearSelection(boolean sendEvent) { int selectionStart = selection.x; int selectionEnd = selection.y; int length = content.getCharCount(); resetSelection(); // redraw old selection, if any if (selectionEnd - selectionStart > 0) { // called internally to remove selection after text is removed // therefore make sure redraw range is valid. int redrawStart = Math.min(selectionStart, length); int redrawEnd = Math.min(selectionEnd, length); if (redrawEnd - redrawStart > 0) { internalRedrawRange(redrawStart, redrawEnd - redrawStart, true); } if (sendEvent == true) { sendSelectionEvent(); } } } /** * Computes the preferred size. * * @exception SWTException
* * @exception SWTException
* * @param text the text that may have line delimiters that don't * match the model line delimiter. Possible line delimiters * are CR ('\r'), LF ('\n'), CR/LF ("\r\n") * @return the converted text that only uses the line delimiter * specified by the model. Returns only the first line if the widget * has the SWT.SINGLE style. */ String getModelDelimitedText(String text) { StringBuffer convertedText; String delimiter = getLineDelimiter(); int length = text.length(); int crIndex = 0; int lfIndex = 0; int i = 0; if (length == 0) { return text; } convertedText = new StringBuffer(length); while (i < length) { if (crIndex != -1) { crIndex = text.indexOf(SWT.CR, i); } if (lfIndex != -1) { lfIndex = text.indexOf(SWT.LF, i); } if (lfIndex == -1 && crIndex == -1) { // no more line breaks? break; } else // CR occurs before LF or no LF present? if ((crIndex < lfIndex && crIndex != -1) || lfIndex == -1) { convertedText.append(text.substring(i, crIndex)); if (lfIndex == crIndex + 1) { // CR/LF combination? i = lfIndex + 1; } else { i = crIndex + 1; } } else { // LF occurs before CR! convertedText.append(text.substring(i, lfIndex)); i = lfIndex + 1; } if (isSingleLine()) { break; } convertedText.append(delimiter); } // copy remaining text if any and if not in single line mode or no // text copied thus far (because there only is one line) if (i < length && (isSingleLine() == false || convertedText.length() == 0)) { convertedText.append(text.substring(i)); } return convertedText.toString(); } /** * Creates default key bindings. */ void createKeyBindings() { // Navigation setKeyBinding(SWT.ARROW_UP, ST.LINE_UP); setKeyBinding(SWT.ARROW_DOWN, ST.LINE_DOWN); setKeyBinding(SWT.HOME, ST.LINE_START); setKeyBinding(SWT.END, ST.LINE_END); setKeyBinding(SWT.ARROW_LEFT, ST.COLUMN_PREVIOUS); setKeyBinding(SWT.ARROW_RIGHT, ST.COLUMN_NEXT); setKeyBinding(SWT.PAGE_UP, ST.PAGE_UP); setKeyBinding(SWT.PAGE_DOWN, ST.PAGE_DOWN); setKeyBinding(SWT.ARROW_LEFT | SWT.MOD1, ST.WORD_PREVIOUS); setKeyBinding(SWT.ARROW_RIGHT | SWT.MOD1, ST.WORD_NEXT); setKeyBinding(SWT.HOME | SWT.MOD1, ST.TEXT_START); setKeyBinding(SWT.END | SWT.MOD1, ST.TEXT_END); setKeyBinding(SWT.PAGE_UP | SWT.MOD1, ST.WINDOW_START); setKeyBinding(SWT.PAGE_DOWN | SWT.MOD1, ST.WINDOW_END); // Selection setKeyBinding(SWT.ARROW_UP | SWT.MOD2, ST.SELECT_LINE_UP); setKeyBinding(SWT.ARROW_DOWN | SWT.MOD2, ST.SELECT_LINE_DOWN); setKeyBinding(SWT.HOME | SWT.MOD2, ST.SELECT_LINE_START); setKeyBinding(SWT.END | SWT.MOD2, ST.SELECT_LINE_END); setKeyBinding(SWT.ARROW_LEFT | SWT.MOD2, ST.SELECT_COLUMN_PREVIOUS); setKeyBinding(SWT.ARROW_RIGHT | SWT.MOD2, ST.SELECT_COLUMN_NEXT); setKeyBinding(SWT.PAGE_UP | SWT.MOD2, ST.SELECT_PAGE_UP); setKeyBinding(SWT.PAGE_DOWN | SWT.MOD2, ST.SELECT_PAGE_DOWN); setKeyBinding(SWT.ARROW_LEFT | SWT.MOD1 | SWT.MOD2, ST.SELECT_WORD_PREVIOUS); setKeyBinding(SWT.ARROW_RIGHT | SWT.MOD1 | SWT.MOD2, ST.SELECT_WORD_NEXT); setKeyBinding(SWT.HOME | SWT.MOD1 | SWT.MOD2, ST.SELECT_TEXT_START); setKeyBinding(SWT.END | SWT.MOD1 | SWT.MOD2, ST.SELECT_TEXT_END); setKeyBinding(SWT.PAGE_UP | SWT.MOD1 | SWT.MOD2, ST.SELECT_WINDOW_START); setKeyBinding(SWT.PAGE_DOWN | SWT.MOD1 | SWT.MOD2, ST.SELECT_WINDOW_END); // Modification // Cut, Copy, Paste setKeyBinding('X' | SWT.MOD1, ST.CUT); setKeyBinding('C' | SWT.MOD1, ST.COPY); setKeyBinding('V' | SWT.MOD1, ST.PASTE); // Cut, Copy, Paste Wordstar style setKeyBinding(SWT.DEL | SWT.MOD2, ST.CUT); setKeyBinding(SWT.INSERT | SWT.MOD1, ST.COPY); setKeyBinding(SWT.INSERT | SWT.MOD2, ST.PASTE); setKeyBinding(SWT.BS | SWT.MOD2, ST.DELETE_PREVIOUS); setKeyBinding(SWT.BS, ST.DELETE_PREVIOUS); setKeyBinding(SWT.DEL, ST.DELETE_NEXT); setKeyBinding(SWT.BS | SWT.MOD1, ST.DELETE_WORD_PREVIOUS); setKeyBinding(SWT.DEL | SWT.MOD1, ST.DELETE_WORD_NEXT); // Miscellaneous setKeyBinding(SWT.INSERT, ST.TOGGLE_OVERWRITE); } /** * Create the bitmaps to use for the caret in bidi mode. This * method only needs to be called upon widget creation and when the * font changes (the caret bitmap height needs to match font height). */ void createCaretBitmaps() { int caretWidth = BIDI_CARET_WIDTH; Display display = getDisplay(); if (caretPalette == null) { caretPalette = new PaletteData(new RGB[] {new RGB (0,0,0), new RGB (255,255,255)}); } if (leftCaretBitmap != null) { leftCaretBitmap.dispose(); } ImageData imageData = new ImageData(caretWidth, lineHeight, 1, caretPalette); leftCaretBitmap = new Image(display, imageData); GC gc = new GC (leftCaretBitmap); gc.setForeground(display.getSystemColor(SWT.COLOR_WHITE)); gc.drawLine(0,0,0,lineHeight); gc.drawLine(0,0,caretWidth-1,0); gc.drawLine(0,1,1,1); gc.dispose(); if (rightCaretBitmap != null) { rightCaretBitmap.dispose(); } rightCaretBitmap = new Image(display, imageData); gc = new GC (rightCaretBitmap); gc.setForeground(display.getSystemColor(SWT.COLOR_WHITE)); gc.drawLine(caretWidth-1,0,caretWidth-1,lineHeight); gc.drawLine(0,0,caretWidth-1,0); gc.drawLine(caretWidth-1,1,1,1); gc.dispose(); } /** * Moves the selected text to the clipboard. The text will be put in the * clipboard in plain text format and RTF format. *
* * @exception SWTException
* * @param direction SWT.UP, SWT.DOWN, SWT.RIGHT, SWT.LEFT */ void doAutoScroll(int direction) { Runnable timer = null; final int TIMER_INTERVAL = 5; // If we're already autoscrolling in the given direction do nothing if (autoScrollDirection == direction) { return; } final Display display = getDisplay(); // Set a timer that will simulate the user pressing and holding // down a cursor key (i.e., arrowUp, arrowDown). if (direction == SWT.UP) { timer = new Runnable() { public void run() { if (autoScrollDirection == SWT.UP) { doSelectionLineUp(); display.timerExec(TIMER_INTERVAL, this); } } }; } else if (direction == SWT.DOWN) { timer = new Runnable() { public void run() { if (autoScrollDirection == SWT.DOWN) { doSelectionLineDown(); display.timerExec(TIMER_INTERVAL, this); } } }; } else if (direction == SWT.RIGHT) { timer = new Runnable() { public void run() { if (autoScrollDirection == SWT.RIGHT) { doColumnRight(); setMouseWordSelectionAnchor(); doSelection(SWT.RIGHT); display.timerExec(TIMER_INTERVAL, this); } } }; } else if (direction == SWT.LEFT) { timer = new Runnable() { public void run() { if (autoScrollDirection == SWT.LEFT) { doColumnLeft(); setMouseWordSelectionAnchor(); doSelection(SWT.LEFT); display.timerExec(TIMER_INTERVAL, this); } } }; } if (timer != null) { autoScrollDirection = direction; display.timerExec(TIMER_INTERVAL, timer); } } /** * Deletes the previous character. Delete the selected text if any. * Move the caret in front of the deleted text. */ void doBackspace() { Event event = new Event(); event.text = ""; if (selection.x != selection.y) { event.start = selection.x; event.end = selection.y; sendKeyEvent(event); } else if (caretOffset > 0) { int line = content.getLineAtOffset(caretOffset); int lineOffset = content.getOffsetAtLine(line); if (caretOffset == lineOffset) { lineOffset = content.getOffsetAtLine(line - 1); event.start = lineOffset + content.getLine(line - 1).length(); event.end = caretOffset; } else { event.start = caretOffset - 1; event.end = caretOffset; } sendKeyEvent(event); } } /** * Moves the caret one character to the left. Do not go to the previous line. * When in a bidi locale and at a R2L character the caret is moved to the * beginning of the R2L segment (visually right) and then one character to the * left (visually left because it's now in a L2R segment). */ void doColumnLeft() { int line = content.getLineAtOffset(caretOffset); int lineOffset = content.getOffsetAtLine(line); int offsetInLine = caretOffset - lineOffset; if (isBidi()) { String lineText = content.getLine(line); int lineLength = lineText.length(); GC gc = getGC(); StyledTextBidi bidi = getStyledTextBidi(lineText, lineOffset, gc); if (horizontalScrollOffset > 0 || offsetInLine > 0) { if (offsetInLine < lineLength && bidi.isRightToLeft(offsetInLine)) { // advance caret logically if in R2L segment (move visually left) caretOffset++; doSelection(SWT.RIGHT); if (caretOffset - lineOffset == lineLength) { // if the line end is reached in a R2L segment, make the // caret position (visual left border) visible before // jumping to segment start showCaret(); } // end of R2L segment reached (visual left side)? if (bidi.isRightToLeft(caretOffset - lineOffset) == false) { if (bidi.getTextPosition(caretOffset - lineOffset) < horizontalScrollOffset) { // make beginning of R2L segment visible before going // left, to L2R segment important if R2L segment ends // at visual left in order to scroll all the way to the // left. Fixes 1GKM3XS showCaret(); } // go to beginning of R2L segment (visually end of next L2R // segment)/beginning of line caretOffset--; while (caretOffset - lineOffset > 0 && bidi.isRightToLeft(caretOffset - lineOffset)) { caretOffset--; } } } else if (offsetInLine == lineLength && bidi.getTextPosition(lineLength) != XINSET) { // at logical line end in R2L segment but there's more text (a // L2R segment) go to end of R2L segment (visually left of next // L2R segment)/end of line caretOffset--; while (caretOffset - lineOffset > 0 && bidi.isRightToLeft(caretOffset - lineOffset)) { caretOffset--; } } else if (offsetInLine > 0 && bidi.isRightToLeft(offsetInLine) == false) { // decrease caret logically if in L2R segment (move visually left) caretOffset--; doSelection(SWT.LEFT); // end of L2R segment reached (visual left side of preceeding R2L // segment)? if (caretOffset - lineOffset > 0 && bidi.isRightToLeft(caretOffset - lineOffset - 1)) { // go to beginning of R2L segment (visually start of next L2R // segment)/beginning of line caretOffset--; while (caretOffset - lineOffset > 0 && bidi.isRightToLeft(caretOffset - lineOffset - 1)) { caretOffset--; } } } // if new caret position is to the left of the client area if (bidi.getTextPosition(caretOffset - lineOffset) < horizontalScrollOffset) { // scroll to the caret position showCaret(); } else { // otherwise just update caret position without scrolling it into view setBidiCaretLocation(null); setBidiKeyboardLanguage(); } // Beginning of line reached (auto scroll finished) but not scrolled // completely to the left? Fixes 1GKM193 if (caretOffset - lineOffset == 0 && horizontalScrollOffset > 0 && horizontalScrollOffset <= XINSET) { scrollHorizontalBar(-horizontalScrollOffset); } } gc.dispose(); } else if (offsetInLine > 0) { caretOffset--; showCaret(); } } /** * Moves the caret one character to the right. Do not go to the next line. * When in a bidi locale and at a R2L character the caret is moved to the * end of the R2L segment (visually left) and then one character to the * right (visually right because it's now in a L2R segment). */ void doColumnRight() { int line = content.getLineAtOffset(caretOffset); int lineOffset = content.getOffsetAtLine(line); int offsetInLine = caretOffset - lineOffset; String lineText = content.getLine(line); int lineLength = lineText.length(); if (isBidi()) { GC gc = getGC(); StyledTextBidi bidi = getStyledTextBidi(lineText, lineOffset, gc); if (bidi.getTextWidth() + leftMargin > horizontalScrollOffset + getClientArea().width || offsetInLine < lineLength) { if (bidi.isRightToLeft(offsetInLine) == false && offsetInLine < lineLength) { // advance caret logically if in L2R segment (move visually right) caretOffset++; doSelection(SWT.RIGHT); // end of L2R segment reached (visual right side)? if (bidi.isRightToLeft(caretOffset - lineOffset)) { // go to end of R2L segment (visually left of next R2L segment)/ // end of line caretOffset++; while (caretOffset < lineOffset + lineLength && bidi.isRightToLeft(caretOffset - lineOffset)) { caretOffset++; } } } else if (offsetInLine > 0 && (bidi.isRightToLeft(offsetInLine) || bidi.getTextWidth() + leftMargin > horizontalScrollOffset + getClientArea().width || offsetInLine < lineLength)) { // advance caret visually if in R2L segment or logically at line end // but right end of line is not fully visible yet caretOffset--; doSelection(SWT.LEFT); offsetInLine = caretOffset - lineOffset; // end of R2L segment reached (visual right side)? if (offsetInLine > 0 && bidi.isRightToLeft(offsetInLine) == false) { // go to end of R2L segment (visually left of next L2R segment)/ // end of line caretOffset++; while (caretOffset < lineOffset + lineLength && bidi.isRightToLeft(caretOffset - lineOffset)) { caretOffset++; } } } else if (offsetInLine == 0 && bidi.getTextPosition(0) != bidi.getTextWidth()) { // at logical line start in R2L segment but there's more text (a L2R // segment) go to end of R2L segment (visually left of next L2R // segment)/end of line caretOffset++; while (caretOffset < lineOffset + lineLength && bidi.isRightToLeft(caretOffset - lineOffset - 1)) { caretOffset++; } } offsetInLine = caretOffset - lineOffset; // if new caret position is to the right of the client area if (bidi.getTextPosition(offsetInLine) >= horizontalScrollOffset) { // scroll to the caret position showCaret(); } else { // otherwise just update caret position without scrolling it into view setBidiCaretLocation(null); setBidiKeyboardLanguage(); } if (offsetInLine > 0 && offsetInLine < lineLength - 1) { int clientAreaEnd = horizontalScrollOffset + getClientArea().width; boolean directionChange = bidi.isRightToLeft(offsetInLine - 1) == false && bidi.isRightToLeft(offsetInLine); int textWidth = bidi.getTextWidth() + leftMargin; // between L2R and R2L segment and second character of R2L segment is // left of right border and logical line end is left of right border // but visual line end is not left of right border if (directionChange && bidi.isRightToLeft(offsetInLine + 1) && bidi.getTextPosition(offsetInLine + 1) + leftMargin < clientAreaEnd && bidi.getTextPosition(lineLength) + leftMargin < clientAreaEnd && textWidth > clientAreaEnd) { // make visual line end visible scrollHorizontalBar(textWidth - clientAreaEnd); } } } gc.dispose(); } else if (offsetInLine < lineLength) { caretOffset++; showCaret(); } } /** * Replaces the selection with the character or insert the character at the * current caret position if no selection exists. * If a carriage return was typed replace it with the line break character * used by the widget on this platform. *
* * @param key the character typed by the user */ void doContent(char key) { Event event; if (textLimit > 0 && content.getCharCount() - (selection.y - selection.x) >= textLimit) { return; } event = new Event(); event.start = selection.x; event.end = selection.y; // replace a CR line break with the widget line break // CR does not make sense on Windows since most (all?) applications // don't recognize CR as a line break. if (key == SWT.CR || key == SWT.LF) { if (isSingleLine() == false) { event.text = getLineDelimiter(); } } // no selection and overwrite mode is on and the typed key is not a // tab character (tabs are always inserted without overwriting)? else if (selection.x == selection.y && overwrite == true && key != TAB) { int lineIndex = content.getLineAtOffset(event.end); int lineOffset = content.getOffsetAtLine(lineIndex); String line = content.getLine(lineIndex); // replace character at caret offset if the caret is not at the // end of the line if (event.end < lineOffset + line.length()) { event.end++; } event.text = new String(new char[] {key}); } else { event.text = new String(new char[] {key}); } if (event.text != null) { sendKeyEvent(event); } } /** * Moves the caret after the last character of the widget content. */ void doContentEnd() { // place caret at end of first line if receiver is in single // line mode. fixes 4820. if (isSingleLine()) { doLineEnd(); } else { int length = content.getCharCount(); if (caretOffset < length) { caretOffset = length; showCaret(); } } } /** * Moves the caret in front of the first character of the widget content. */ void doContentStart() { if (caretOffset > 0) { caretOffset = 0; showCaret(); } } /** * Moves the caret to the start of the selection if a selection exists. * Otherwise, if no selection exists move the cursor according to the * cursor selection rules. *
* * @see #doSelectionCursorPrevious */ void doCursorPrevious() { if (selection.y - selection.x > 0) { int caretLine; caretOffset = selection.x; caretLine = getCaretLine(); showCaret(caretLine); } else { doSelectionCursorPrevious(); } } /** * Moves the caret to the end of the selection if a selection exists. * Otherwise, if no selection exists move the cursor according to the * cursor selection rules. *
* * @see #doSelectionCursorNext */ void doCursorNext() { if (selection.y - selection.x > 0) { int caretLine; caretOffset = selection.y; caretLine = getCaretLine(); showCaret(caretLine); } else { doSelectionCursorNext(); } } /** * Deletes the next character. Delete the selected text if any. */ void doDelete() { Event event = new Event(); event.text = ""; if (selection.x != selection.y) { event.start = selection.x; event.end = selection.y; sendKeyEvent(event); } else if (caretOffset < content.getCharCount()) { int line = content.getLineAtOffset(caretOffset); int lineOffset = content.getOffsetAtLine(line); int lineLength = content.getLine(line).length(); if (caretOffset == lineOffset + lineLength) { event.start = caretOffset; event.end = content.getOffsetAtLine(line + 1); } else { event.start = caretOffset; event.end = caretOffset + 1; } sendKeyEvent(event); } } /** * Deletes the next word. */ void doDeleteWordNext() { if (selection.x != selection.y) { // if a selection exists, treat the as if // only the delete key was pressed doDelete(); } else { Event event = new Event(); event.text = ""; event.start = caretOffset; event.end = getWordEnd(caretOffset); sendKeyEvent(event); } } /** * Deletes the previous word. */ void doDeleteWordPrevious() { if (selection.x != selection.y) { // if a selection exists, treat as if // only the backspace key was pressed doBackspace(); } else { Event event = new Event(); event.text = ""; event.start = getWordStart(caretOffset); event.end = caretOffset; sendKeyEvent(event); } } /** * Moves the caret one line down and to the same character offset relative * to the beginning of the line. Move the caret to the end of the new line * if the new line is shorter than the character offset. * * @return index of the new line relative to the first line in the document */ int doLineDown() { if (isSingleLine()) { return 0; } // allow line down action only if receiver is not in single line mode. // fixes 4820. int caretLine = getCaretLine(); if (caretLine < content.getLineCount() - 1) { caretLine++; if (isBidi()) { caretOffset = getBidiOffsetAtMouseLocation(columnX, caretLine); } else { caretOffset = getOffsetAtMouseLocation(columnX, caretLine); } } return caretLine; } /** * Moves the caret to the end of the line. */ void doLineEnd() { int caretLine = getCaretLine(); int lineOffset = content.getOffsetAtLine(caretLine); int lineLength = content.getLine(caretLine).length(); int lineEndOffset = lineOffset + lineLength; if (caretOffset < lineEndOffset) { caretOffset = lineEndOffset; showCaret(); } } /** * Moves the caret to the beginning of the line. */ void doLineStart() { int caretLine = getCaretLine(); int lineOffset = content.getOffsetAtLine(caretLine); if (caretOffset > lineOffset) { caretOffset = lineOffset; showCaret(caretLine); } } /** * Moves the caret one line up and to the same character offset relative * to the beginning of the line. Move the caret to the end of the new line * if the new line is shorter than the character offset. * * @return index of the new line relative to the first line in the document */ int doLineUp() { int caretLine = getCaretLine(); if (caretLine > 0) { caretLine--; if (isBidi()) { caretOffset = getBidiOffsetAtMouseLocation(columnX, caretLine); } else { caretOffset = getOffsetAtMouseLocation(columnX, caretLine); } } return caretLine; } /** * Moves the caret to the specified location. *
* * @param x x location of the new caret position * @param y y location of the new caret position * @param select the location change is a selection operation. * include the line delimiter in the selection */ void doMouseLocationChange(int x, int y, boolean select) { int line = (y + verticalScrollOffset) / lineHeight; int lineCount = content.getLineCount(); int newCaretOffset; int newCaretLine; if (line > lineCount - 1) { line = lineCount - 1; } // allow caret to be placed below first line only if receiver is // not in single line mode. fixes 4820. if (line < 0 || (isSingleLine() && line > 0)) { return; } if (isBidi()) { newCaretOffset = getBidiOffsetAtMouseLocation(x, line); } else { newCaretOffset = getOffsetAtMouseLocation(x, line); } if (mouseDoubleClick) { // double click word select the previous/next word. fixes bug 15610 newCaretOffset = doMouseWordSelect(x, newCaretOffset, line); } newCaretLine = content.getLineAtOffset(newCaretOffset); // Is the mouse within the left client area border or on // a different line? If not the autoscroll selection // could be incorrectly reset. Fixes 1GKM3XS if (y >= 0 && y < getClientArea().height && (x >= 0 || newCaretLine != content.getLineAtOffset(caretOffset))) { if (newCaretOffset != caretOffset) { caretOffset = newCaretOffset; if (select) { doMouseSelection(); } showCaret(); } } if (select == false) { clearSelection(true); } } /** * Updates the selection based on the caret position */ void doMouseSelection() { if (caretOffset <= selection.x || (caretOffset > selection.x && caretOffset < selection.y && selectionAnchor == selection.x)) { doSelection(SWT.LEFT); } else { doSelection(SWT.RIGHT); } } /** * Returns the offset of the word at the specified offset. * If the current selection extends from high index to low index * (i.e., right to left, or caret is at left border of selecton on * non-bidi platforms) the start offset of the word preceeding the * selection is returned. If the current selection extends from * low index to high index the end offset of the word following * the selection is returned. * * @param x mouse x location * @param newCaretOffset caret offset of the mouse cursor location * @param line line index of the mouse cursor location */ int doMouseWordSelect(int x, int newCaretOffset, int line) { int wordOffset; // flip selection anchor based on word selection direction from // base double click. Always do this here (and don't rely on doAutoScroll) // because auto scroll only does not cover all possible mouse selections // (e.g., mouse x < 0 && mouse y > caret line y) if (newCaretOffset < selectionAnchor && selectionAnchor == selection.x) { selectionAnchor = doubleClickSelection.y; } else if (newCaretOffset > selectionAnchor && selectionAnchor == selection.y) { selectionAnchor = doubleClickSelection.x; } if (x >= 0 && x < getClientArea().width) { // find the previous/next word if (caretOffset == selection.x) { wordOffset = getWordStart(newCaretOffset); } else { wordOffset = getWordEndNoSpaces(newCaretOffset); } // mouse word select only on same line mouse cursor is on if (content.getLineAtOffset(wordOffset) == line) { newCaretOffset = wordOffset; } } return newCaretOffset; } /** * Scrolls one page down so that the last line (truncated or whole) * of the current page becomes the fully visible top line. * The caret is scrolled the same number of lines so that its location * relative to the top line remains the same. The exception is the end * of the text where a full page scroll is not possible. In this case * the caret is moved after the last character. *
* * @param select whether or not to select the page */ void doPageDown(boolean select) { int lineCount = content.getLineCount(); int oldColumnX = columnX; int caretLine; // do nothing if in single line mode. fixes 5673 if (isSingleLine()) { return; } caretLine = getCaretLine(); if (caretLine < lineCount - 1) { int verticalMaximum = lineCount * getVerticalIncrement(); int pageSize = getClientArea().height; int scrollLines = Math.min(lineCount - caretLine - 1, getLineCountWhole()); int scrollOffset; // ensure that scrollLines never gets negative and at leat one // line is scrolled. fixes bug 5602. scrollLines = Math.max(1, scrollLines); caretLine += scrollLines; if (isBidi()) { caretOffset = getBidiOffsetAtMouseLocation(columnX, caretLine); } else { caretOffset = getOffsetAtMouseLocation(columnX, caretLine); } if (select) { doSelection(SWT.RIGHT); } // scroll one page down or to the bottom scrollOffset = verticalScrollOffset + scrollLines * getVerticalIncrement(); if (scrollOffset + pageSize > verticalMaximum) { scrollOffset = verticalMaximum - pageSize; } if (scrollOffset > verticalScrollOffset) { setVerticalScrollOffset(scrollOffset, true); } } // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); // save the original horizontal caret position columnX = oldColumnX; } /** * Moves the cursor to the end of the last fully visible line. */ void doPageEnd() { // go to end of line if in single line mode. fixes 5673 if (isSingleLine()) { doLineEnd(); } else { int line = getBottomIndex(); int bottomCaretOffset = content.getOffsetAtLine(line) + content.getLine(line).length(); if (caretOffset < bottomCaretOffset) { caretOffset = bottomCaretOffset; showCaret(); } } } /** * Moves the cursor to the beginning of the first fully visible line. */ void doPageStart() { int topCaretOffset = content.getOffsetAtLine(topIndex); if (caretOffset > topCaretOffset) { caretOffset = topCaretOffset; // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(topIndex); } } /** * Scrolls one page up so that the first line (truncated or whole) * of the current page becomes the fully visible last line. * The caret is scrolled the same number of lines so that its location * relative to the top line remains the same. The exception is the beginning * of the text where a full page scroll is not possible. In this case the * caret is moved in front of the first character. */ void doPageUp() { int oldColumnX = columnX; int caretLine = getCaretLine(); if (caretLine > 0) { int scrollLines = Math.max(1, Math.min(caretLine, getLineCountWhole())); int scrollOffset; caretLine -= scrollLines; if (isBidi()) { caretOffset = getBidiOffsetAtMouseLocation(columnX, caretLine); } else { caretOffset = getOffsetAtMouseLocation(columnX, caretLine); } // scroll one page up or to the top scrollOffset = Math.max(0, verticalScrollOffset - scrollLines * getVerticalIncrement()); if (scrollOffset < verticalScrollOffset) { setVerticalScrollOffset(scrollOffset, true); } } // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); // save the original horizontal caret position columnX = oldColumnX; } /** * Updates the selection to extend to the current caret position. */ void doSelection(int direction) { int redrawStart = -1; int redrawEnd = -1; if (selectionAnchor == -1) { selectionAnchor = selection.x; } if (direction == SWT.LEFT) { if (caretOffset < selection.x) { // grow selection redrawEnd = selection.x; redrawStart = selection.x = caretOffset; // check if selection has reversed direction if (selection.y != selectionAnchor) { redrawEnd = selection.y; selection.y = selectionAnchor; } } else // test whether selection actually changed. Fixes 1G71EO1 if (selectionAnchor == selection.x && caretOffset < selection.y) { // caret moved towards selection anchor (left side of selection). // shrink selection redrawEnd = selection.y; redrawStart = selection.y = caretOffset; } } else { if (caretOffset > selection.y) { // grow selection redrawStart = selection.y; redrawEnd = selection.y = caretOffset; // check if selection has reversed direction if (selection.x != selectionAnchor) { redrawStart = selection.x; selection.x = selectionAnchor; } } else // test whether selection actually changed. Fixes 1G71EO1 if (selectionAnchor == selection.y && caretOffset > selection.x) { // caret moved towards selection anchor (right side of selection). // shrink selection redrawStart = selection.x; redrawEnd = selection.x = caretOffset; } } if (redrawStart != -1 && redrawEnd != -1) { internalRedrawRange(redrawStart, redrawEnd - redrawStart, true); sendSelectionEvent(); } } /** * Moves the caret to the next character or to the beginning of the * next line if the cursor is at the end of a line. */ void doSelectionCursorNext() { int caretLine = getCaretLine(); int lineOffset = content.getOffsetAtLine(caretLine); int offsetInLine = caretOffset - lineOffset; if (offsetInLine < content.getLine(caretLine).length()) { // Remember the last direction. Always update lastCaretDirection, // even though it's not used in non-bidi mode in order to avoid // extra methods. lastCaretDirection = ST.COLUMN_NEXT; caretOffset++; showCaret(); } else if (caretLine < content.getLineCount() - 1 && isSingleLine() == false) { // only go to next line if not in single line mode. fixes 5673 caretLine++; caretOffset = content.getOffsetAtLine(caretLine); // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); } } /** * Moves the caret to the previous character or to the end of the previous * line if the cursor is at the beginning of a line. */ void doSelectionCursorPrevious() { int caretLine = getCaretLine(); int lineOffset = content.getOffsetAtLine(caretLine); int offsetInLine = caretOffset - lineOffset; if (offsetInLine > 0) { // Remember the last direction. Always update lastCaretDirection, // even though it's not used in non-bidi mode in order to avoid // extra methods. lastCaretDirection = ST.COLUMN_PREVIOUS; caretOffset--; // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); } else if (caretLine > 0) { caretLine--; lineOffset = content.getOffsetAtLine(caretLine); caretOffset = lineOffset + content.getLine(caretLine).length(); showCaret(); } } /** * Moves the caret one line down and to the same character offset relative * to the beginning of the line. Moves the caret to the end of the new line * if the new line is shorter than the character offset. * Moves the caret to the end of the text if the caret already is on the * last line. * Adjusts the selection according to the caret change. This can either add * to or subtract from the old selection, depending on the previous selection * direction. */ void doSelectionLineDown() { int oldColumnX; int caretLine; int lineStartOffset; if (isSingleLine()) { return; } caretLine = getCaretLine(); lineStartOffset = content.getOffsetAtLine(caretLine); // reset columnX on selection oldColumnX = columnX = getXAtOffset( content.getLine(caretLine), caretLine, caretOffset - lineStartOffset); if (caretLine == content.getLineCount() - 1) { caretOffset = content.getCharCount(); } else { caretLine = doLineDown(); } setMouseWordSelectionAnchor(); // select first and then scroll to reduce flash when key // repeat scrolls lots of lines doSelection(SWT.RIGHT); // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); // save the original horizontal caret position columnX = oldColumnX; } /** * Moves the caret one line up and to the same character offset relative * to the beginning of the line. Moves the caret to the end of the new line * if the new line is shorter than the character offset. * Moves the caret to the beginning of the document if it is already on the * first line. * Adjusts the selection according to the caret change. This can either add * to or subtract from the old selection, depending on the previous selection * direction. */ void doSelectionLineUp() { int oldColumnX; int caretLine = getCaretLine(); int lineStartOffset = content.getOffsetAtLine(caretLine); // reset columnX on selection oldColumnX = columnX = getXAtOffset( content.getLine(caretLine), caretLine, caretOffset - lineStartOffset); if (caretLine == 0) { caretOffset = 0; } else { caretLine = doLineUp(); } setMouseWordSelectionAnchor(); // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); doSelection(SWT.LEFT); // save the original horizontal caret position columnX = oldColumnX; } /** * Scrolls one page down so that the last line (truncated or whole) * of the current page becomes the fully visible top line. * The caret is scrolled the same number of lines so that its location * relative to the top line remains the same. The exception is the end * of the text where a full page scroll is not possible. In this case * the caret is moved after the last character. *
* Adjusts the selection according to the caret change. This can either add * to or subtract from the old selection, depending on the previous selection * direction. *
*/ void doSelectionPageDown() { int oldColumnX; int caretLine = getCaretLine(); int lineStartOffset = content.getOffsetAtLine(caretLine); // reset columnX on selection oldColumnX = columnX = getXAtOffset( content.getLine(caretLine), caretLine, caretOffset - lineStartOffset); doPageDown(true); columnX = oldColumnX; } /** * Scrolls one page up so that the first line (truncated or whole) * of the current page becomes the fully visible last line. * The caret is scrolled the same number of lines so that its location * relative to the top line remains the same. The exception is the beginning * of the text where a full page scroll is not possible. In this case the * caret is moved in front of the first character. ** Adjusts the selection according to the caret change. This can either add * to or subtract from the old selection, depending on the previous selection * direction. *
*/ void doSelectionPageUp() { int oldColumnX; int caretLine = getCaretLine(); int lineStartOffset = content.getOffsetAtLine(caretLine); // reset columnX on selection oldColumnX = columnX = getXAtOffset( content.getLine(caretLine), caretLine, caretOffset - lineStartOffset); doPageUp(); columnX = oldColumnX; } /** * Moves the caret to the end of the next word . */ void doSelectionWordNext() { int newCaretOffset = getWordEnd(caretOffset); // don't change caret position if in single line mode and the cursor // would be on a different line. fixes 5673 if (isSingleLine() == false || content.getLineAtOffset(caretOffset) == content.getLineAtOffset(newCaretOffset)) { lastCaretDirection = ST.COLUMN_NEXT; caretOffset = newCaretOffset; showCaret(); } } /** * Moves the caret to the start of the previous word. */ void doSelectionWordPrevious() { int caretLine; lastCaretDirection = ST.COLUMN_PREVIOUS; caretOffset = getWordStart(caretOffset); caretLine = content.getLineAtOffset(caretOffset); // word previous always comes from bottom line. when // wrapping lines, stay on bottom line when on line boundary if (wordWrap && caretLine < content.getLineCount() - 1 && caretOffset == content.getOffsetAtLine(caretLine + 1)) { caretLine++; } showCaret(caretLine); } /** * Moves the caret to the end of the next word. * If a selection exists, move the caret to the end of the selection * and remove the selection. */ void doWordNext() { if (selection.y - selection.x > 0) { int caretLine; caretOffset = selection.y; caretLine = getCaretLine(); showCaret(caretLine); } else { doSelectionWordNext(); } } /** * Moves the caret to the start of the previous word. * If a selection exists, move the caret to the start of the selection * and remove the selection. */ void doWordPrevious() { if (selection.y - selection.x > 0) { int caretLine; caretOffset = selection.x; caretLine = getCaretLine(); showCaret(caretLine); } else { doSelectionWordPrevious(); } } /** * Draws the specified rectangle. * Draw directly without invalidating the affected area when clearBackground is * false. ** * @param x the x position * @param y the y position * @param width the width * @param height the height * @param clearBackground true=clear the background by invalidating the requested * redraw area, false=draw the foreground directly without invalidating the * redraw area. */ void draw(int x, int y, int width, int height, boolean clearBackground) { if (clearBackground) { redraw(x + leftMargin, y + topMargin, width, height, true); } else { int startLine = (y + verticalScrollOffset) / lineHeight; int endY = y + height; int paintYFromTopLine = (startLine - topIndex) * lineHeight; int topLineOffset = (topIndex * lineHeight - verticalScrollOffset); int paintY = paintYFromTopLine + topLineOffset + topMargin; // adjust y position for pixel based scrolling int lineCount = content.getLineCount(); Color background = getBackground(); Color foreground = getForeground(); GC gc = getGC(); if (isSingleLine()) { lineCount = 1; if (startLine > 1) { startLine = 1; } } for (int i = startLine; paintY < endY && i < lineCount; i++, paintY += lineHeight) { String line = content.getLine(i); renderer.drawLine(line, i, paintY, gc, background, foreground, clearBackground); } gc.dispose(); } } /** * Ends the autoscroll process. */ void endAutoScroll() { autoScrollDirection = SWT.NULL; } /** * @see org.eclipse.swt.widgets.Control#getBackground */ public Color getBackground() { checkWidget(); if (background == null) { return getDisplay().getSystemColor(SWT.COLOR_LIST_BACKGROUND); } return background; } /** * Gets the BIDI coloring mode. When true the BIDI text display * algorithm is applied to segments of text that are the same * color. * * @return the current coloring mode * @exception SWTException
* @deprecated use BidiSegmentListener instead. *
*/ public boolean getBidiColoring() { checkWidget(); return bidiColoring; } /** * Returns the offset at the specified x location in the specified line. * Also sets the caret direction so that the caret is placed correctly * depending on whether the mouse location is in a R2L or L2R segment. ** * @param x x location of the mouse location * @param line line the mouse location is in * @return the offset at the specified x location in the specified line, * relative to the beginning of the document */ int getBidiOffsetAtMouseLocation(int x, int line) { String lineText = content.getLine(line); int lineOffset = content.getOffsetAtLine(line); GC gc = getGC(); StyledTextBidi bidi = getStyledTextBidi(lineText, lineOffset, gc); int[] values; int offsetInLine; x += horizontalScrollOffset; values = bidi.getCaretOffsetAndDirectionAtX(x - leftMargin); offsetInLine = values[0]; lastCaretDirection = values[1]; gc.dispose(); return lineOffset + offsetInLine; } /** * Returns the x position of the character at the specified offset * relative to the first character in the line. *
* * @param text text to be measured. * @param endOffset offset of the character * @param bidi the bidi object to use for measuring text in bidi * locales. * @return x position of the character at the specified offset. * 0 if the length is outside the specified text. */ int getBidiTextPosition(String text, int endOffset, StyledTextBidi bidi) { if (endOffset > text.length()) { return 0; } // Use lastCaretDirection in order to get same results as during // caret positioning (setBidiCaretLocation). Fixes 1GKU4C5. return bidi.getTextPosition(endOffset, lastCaretDirection); } /** * Returns the index of the last fully visible line. ** * @return index of the last fully visible line. */ int getBottomIndex() { int lineCount = 1; if (lineHeight != 0) { // calculate the number of lines that are fully visible int partialTopLineHeight = topIndex * lineHeight - verticalScrollOffset; lineCount = (getClientArea().height - partialTopLineHeight) / lineHeight; } return Math.min(content.getLineCount() - 1, topIndex + Math.max(0, lineCount - 1)); } /** * Returns the caret position relative to the start of the text. *
* * @return the caret position relative to the start of the text. * @exception SWTException
* * @param line text of the line to calculate the offset in * @param lineOffset offset of the first character in the line. * 0 based from the beginning of the document. * @param lineXOffset x location in the line * @return caret offset at the x location relative to the start of the line. */ int getCaretOffsetAtX(String line, int lineOffset, int lineXOffset) { int offset = 0; GC gc = getGC(); StyleRange[] styles = null; StyledTextEvent event = renderer.getLineStyleData(lineOffset, line); lineXOffset += horizontalScrollOffset; if (event != null) { styles = renderer.filterLineStyles(event.styles); } int low = -1; int high = line.length(); while (high - low > 1) { offset = (high + low) / 2; int x = renderer.getTextPosition(line, lineOffset, offset, styles, gc) + leftMargin; int charWidth = renderer.getTextPosition(line, lineOffset, offset + 1, styles, gc) + leftMargin - x; if (lineXOffset <= x + charWidth / 2) { high = offset; } else { low = offset; } } offset = high; gc.dispose(); return offset; } /** * Returns the caret width. *
* * @return the caret width, 0 if caret is null. */ int getCaretWidth() { Caret caret = getCaret(); if (caret == null) return 0; return caret.getSize().x; } /** * Returns the content implementation that is used for text storage * or null if no user defined content implementation has been set. *
* * @return content implementation that is used for text storage or null * if no user defined content implementation has been set. * @exception SWTException
* * @return true if double clicking a word selects the word, false if double clicks * have the same effect as regular mouse clicks * @exception SWTException
* * @return true if content can be edited, false otherwise * @exception SWTException
* * @return GC. */ GC getGC() { renderer.setCurrentFontStyle(SWT.NORMAL); return new GC(this); } /** * Returns the horizontal scroll increment. *
* * @return horizontal scroll increment. */ int getHorizontalIncrement() { GC gc = getGC(); int increment = gc.getFontMetrics().getAverageCharWidth(); gc.dispose(); return increment; } /** * Returns the horizontal scroll offset relative to the start of the line. *
* * @return horizontal scroll offset relative to the start of the line, * measured in character increments starting at 0, if > 0 the content is scrolled * @exception SWTException
* * @return the horizontal scroll offset relative to the start of the line, * measured in pixel starting at 0, if > 0 the content is scrolled. * @exception SWTException
* * @param key a key code defined in SWT.java or a character. * Optionally ORd with a state mask. Preferred state masks are one or more of * SWT.MOD1, SWT.MOD2, SWT.MOD3, since these masks account for modifier platform * differences. However, there may be cases where using the specific state masks * (i.e., SWT.CTRL, SWT.SHIFT, SWT.ALT, SWT.COMMAND) makes sense. * @return one of the predefined actions defined in ST.java or SWT.NULL * if there is no action associated with the key. * @exception SWTException
* * @return number of characters in the widget * @exception SWTException
* * @return the background color of the line at the given index. * @exception SWTException
* @param lineOffset offset of the line start relative to the start * of the content. * @param line line to get line background data for * @return line background data for the given line. */ StyledTextEvent getLineBackgroundData(int lineOffset, String line) { return sendLineEvent(LineGetBackground, lineOffset, line); } /** * Gets the number of text lines. *
* * @return the number of lines in the widget * @exception SWTException
* * @return number of lines that can be completely displayed in the widget * client area. */ int getLineCountWhole() { int lineCount; if (lineHeight != 0) { lineCount = getClientArea().height / lineHeight; } else { lineCount = 1; } return lineCount; } /** * Returns the line at the specified offset in the text. * 0 <= offset <= getCharCount() so that getLineAtOffset(getCharCount()) * returns the line of the insert location. *
* * @param offset offset relative to the start of the content. * 0 <= offset <= getCharCount() * @return line at the specified offset in the text * @exception SWTException
* * @return line delimiter used for entering new lines by key down * or paste operation. * @exception SWTException
* * @param lineOffset offset of the line. This may be the offset of * a visual line if the widget is in word wrap mode. * @param line line text. This may be the text of a visualline if * the widget is in word wrap mode. * @return StyledTextEvent that can be used to request line data * for the given line. */ StyledTextEvent sendLineEvent(int eventType, int lineOffset, String line) { StyledTextEvent event = null; if (isListening(eventType)) { event = new StyledTextEvent(logicalContent); if (wordWrap) { // if word wrap is on, the line offset and text may be visual (wrapped) int lineIndex = logicalContent.getLineAtOffset(lineOffset); event.detail = logicalContent.getOffsetAtLine(lineIndex); event.text = logicalContent.getLine(lineIndex); } else { event.detail = lineOffset; event.text = line; } notifyListeners(eventType, event); } return event; } /** * Returns the line height. *
* * @return line height in pixel. * @exception SWTException
* * @param content StyledTextContent to create the LineCache on. * @return a LineCache implementation */ LineCache getLineCache(StyledTextContent content) { LineCache lineCache; if (wordWrap) { lineCache = new WordWrapCache(this, (WrappedContent) content); } else { lineCache = new ContentWidthCache(this, content.getLineCount()); } return lineCache; } /** * Returns the line style data for the given line or null if there is * none. If there is a LineStyleListener but it does not set any styles, * the StyledTextEvent.styles field will be initialized to an empty * array. *
* * @param lineOffset offset of the line start relative to the start of * the content. * @param line line to get line styles for * @return line style data for the given line. Styles may start before * line start and end after line end */ StyledTextEvent getLineStyleData(int lineOffset, String line) { return sendLineEvent(LineGetStyle, lineOffset, line); } /** * Returns the x, y location of the upper left corner of the character * bounding box at the specified offset in the text. The point is * relative to the upper left corner of the widget client area. *
* * @param offset offset relative to the start of the content. * 0 <= offset <= getCharCount() * @return x, y location of the upper left corner of the character * bounding box at the specified offset in the text. * @exception SWTException
* * @param lineIndex index of the line, 0 based relative to the first * line in the content. 0 <= lineIndex < getLineCount(), except * lineIndex may always be 0 * @return offset offset of the first character of the line, relative to * the beginning of the document. The first character of the document is * at offset 0. * When there are not any lines, getOffsetAtLine(0) is a valid call that * answers 0. * @exception SWTException
* * @param point the origin of character bounding box relative to * the origin of the widget client area. * @return offset of the character at the given location relative * to the first character in the document. * @exception SWTException
* * @param x x location of the mouse location * @param line line the mouse location is in * @return the offset at the specified x location in the specified line, * relative to the beginning of the document */ int getOffsetAtMouseLocation(int x, int line) { String lineText = content.getLine(line); int lineOffset = content.getOffsetAtLine(line); int offsetInLine = getCaretOffsetAtX(lineText, lineOffset, x); return lineOffset + offsetInLine; } /** * Returns the offset of the character at the given x location in the line. *
* * @param line text of the line to calculate the offset in * @param lineOffset offset of the first character in the line. * 0 based from the beginning of the document. * @param lineXOffset x location in the line * @return offset of the character at the x location relative to the start * of the line. -1 if the x location is past the end if the line. */ int getOffsetAtX(String line, int lineOffset, int lineXOffset) { GC gc = getGC(); int offset; lineXOffset += (horizontalScrollOffset - leftMargin); if (isBidi()) { StyledTextBidi bidi = getStyledTextBidi(line, lineOffset, gc); offset = bidi.getOffsetAtX(lineXOffset); } else { StyleRange[] styles = null; StyledTextEvent event = renderer.getLineStyleData(lineOffset, line); if (event != null) { styles = renderer.filterLineStyles(event.styles); } int low = -1; int high = line.length(); while (high - low > 1) { offset = (high + low) / 2; // Restrict right/high search boundary only if x is within searched text segment. // Fixes 1GL4ZVE. if (lineXOffset < renderer.getTextPosition(line, lineOffset, offset + 1, styles, gc)) { high = offset; } else if (high == line.length() && high - offset == 1) { // requested x location is past end of line high = -1; } else { low = offset; } } offset = high; } gc.dispose(); return offset; } /** * Returns the index of the last partially visible line. * * @return index of the last partially visible line. */ int getPartialBottomIndex() { int partialLineCount = Compatibility.ceil(getClientArea().height, lineHeight); return Math.min(content.getLineCount(), topIndex + partialLineCount) - 1; } /** * Returns the content in the specified range using the platform line * delimiter to separate lines. *
* * @param writer the TextWriter to write line text into * @return the content in the specified range using the platform line * delimiter to separate lines as written by the specified TextWriter. */ String getPlatformDelimitedText(TextWriter writer) { int end = writer.getStart() + writer.getCharCount(); int startLine = logicalContent.getLineAtOffset(writer.getStart()); int endLine = logicalContent.getLineAtOffset(end); String endLineText = logicalContent.getLine(endLine); int endLineOffset = logicalContent.getOffsetAtLine(endLine); for (int i = startLine; i <= endLine; i++) { writer.writeLine(logicalContent.getLine(i), logicalContent.getOffsetAtLine(i)); if (i < endLine) { writer.writeLineDelimiter(PlatformLineDelimiter); } } if (end > endLineOffset + endLineText.length()) { writer.writeLineDelimiter(PlatformLineDelimiter); } writer.close(); return writer.toString(); } /** * Returns the selection. *
* Text selections are specified in terms of caret positions. In a text * widget that contains N characters, there are N+1 caret positions, * ranging from 0..N *
* * @return start and end of the selection, x is the offset of the first * selected character, y is the offset after the last selected character. * The selection values returned are visual (i.e., x will always always be * <= y). To determine if a selection is right-to-left (RtoL) vs. left-to-right * (LtoR), compare the caretOffset to the start and end of the selection * (e.g., caretOffset == start of selection implies that the selection is RtoL). * @see #getSelectionRange * @exception SWTException
* * @return start and length of the selection, x is the offset of the * first selected character, relative to the first character of the * widget content. y is the length of the selection. * The selection values returned are visual (i.e., length will always always be * positive). To determine if a selection is right-to-left (RtoL) vs. left-to-right * (LtoR), compare the caretOffset to the start and end of the selection * (e.g., caretOffset == start of selection implies that the selection is RtoL). * @exception SWTException
* * @return the number of selected characters. * @exception SWTException
* * @return selected text, or an empty String if there is no selection. * @exception SWTException
* * @param lineOffset offset of the first character in the line. * 0 based from the beginning of the document. * @param line text of the line to specify bidi segments for * @return text segments that should be treated as if they had a * different direction than the surrounding text. Only the start * index of a segment is specified, relative to the start of the * line. Always starts with 0 and ends with the line length. * @exception IllegalArgumentException
* * @param offset the offset to return the style for. * 0 <= offset < getCharCount() must be true. * @return a StyleRange with start == offset and length == 1, indicating * the style at the given offset. null if a LineStyleListener has been set * or if a style is not set for the given offset. * @exception SWTException
* * @return the styles or null if a LineStyleListener has been set. * @exception SWTException
* * @param lineText the line that the StyledTextBidi object should * work on. * @param lineOffset offset of the beginning of the line, relative * to the beginning of the document * @param gc GC to use when creating a new StyledTextBidi object. * @return a StyledTextBidi object for the specified line. */ StyledTextBidi getStyledTextBidi(String lineText, int lineOffset, GC gc) { return getStyledTextBidi(lineText, lineOffset, gc, null); } /** * Returns a StyledTextBidi object for the specified line. *
* * @param lineText the line that the StyledTextBidi object should * work on. * @param lineOffset offset of the beginning of the line, relative * to the beginning of the document * @param gc GC to use when creating a new StyledTextBidi object. * @param styles StyleRanges to use when creating a new StyledTextBidi * object. * @return a StyledTextBidi object for the specified line. */ StyledTextBidi getStyledTextBidi(String lineText, int lineOffset, GC gc, StyleRange[] styles) { return renderer.getStyledTextBidi(lineText, lineOffset, gc, styles); } /** * Returns the tab width measured in characters. * * @return tab width measured in characters * @exception SWTException
* * @return copy of the widget content * @exception SWTException
* * @param start offset of the first character in the returned String * @param end offset of the last character in the returned String * @return widget content starting at start and ending at end * @see #getTextRange(int,int) * @exception SWTException
* * @param start offset of the first character in the returned String * @param length number of characters to return * @return widget content starting at start and extending length characters. * @exception SWTException
* * @exception SWTException
* * @param line line to be measured. * @param lineIndex index of the line relative to the first kine of the * document * @param length number of characters to measure. Tabs are counted * as one character in this parameter. * @param gc GC to use for measuring text * @return x position of the character at the specified offset * with tabs expanded to tab stops. 0 if the length is outside the * specified text. */ int getTextPosition(String line, int lineIndex, int length, GC gc) { int lineOffset = content.getOffsetAtLine(lineIndex); int lineLength = line.length(); int width; if (lineLength == 0 || length > lineLength) { return 0; } if (isBidi()) { StyledTextBidi bidi = getStyledTextBidi(line, lineOffset, gc, null); width = getBidiTextPosition(line, length, bidi); } else { StyledTextEvent event = renderer.getLineStyleData(lineOffset, line); StyleRange[] styles = null; if (event != null) { styles = renderer.filterLineStyles(event.styles); } width = renderer.getTextPosition(line, lineOffset, length, styles, gc); } return width; } /** * Gets the top index. The top index is the index of the fully visible line that * is currently at the top of the widget or the topmost partially visible line if * no line is fully visible. * The top index changes when the widget is scrolled. Indexing is zero based. *
* * @return the index of the top line * @exception SWTException
* * @return pixel position of the top line * @exception SWTException
* * @return vertical scroll increment. */ int getVerticalIncrement() { return lineHeight; } /** * Returns the index of the line the caret is on. * When in word wrap mode and at the end of one wrapped line/ * beginning of the continuing wrapped line the caret offset * is not sufficient to determine the caret line. * * @return the index of the line the caret is on. */ int getCaretLine() { int caretLine = content.getLineAtOffset(caretOffset); int leftColumnX = 0; if (isBidi()) { leftColumnX = XINSET; } if (wordWrap && columnX <= leftColumnX && caretLine < content.getLineCount() - 1 && caretOffset == content.getOffsetAtLine(caretLine + 1)) { caretLine++; } return caretLine; } /** * Returns the offset of the character after the word at the specified * offset. *
* There are two classes of words formed by a sequence of characters: *
* Space characters ' ' (ASCII 20) are special as they are treated as * part of the word leading up to the space character. Line breaks are * treated as one word. *
*/ int getWordEnd(int offset) { int line = logicalContent.getLineAtOffset(offset); int lineOffset = logicalContent.getOffsetAtLine(line); String lineText = logicalContent.getLine(line); int lineLength = lineText.length(); if (offset >= getCharCount()) { return offset; } if (offset == lineOffset + lineLength) { line++; offset = logicalContent.getOffsetAtLine(line); } else { offset -= lineOffset; char ch = lineText.charAt(offset); boolean letterOrDigit = Compatibility.isLetterOrDigit(ch); while (offset < lineLength - 1 && Compatibility.isLetterOrDigit(ch) == letterOrDigit) { offset++; ch = lineText.charAt(offset); } // skip over trailing whitespace while (offset < lineLength - 1 && Compatibility.isSpaceChar(ch)) { offset++; ch = lineText.charAt(offset); } if (offset == lineLength - 1 && (Compatibility.isLetterOrDigit(ch) == letterOrDigit || Compatibility.isSpaceChar(ch))) { offset++; } offset += lineOffset; } return offset; } /** * Returns the offset of the character after the word at the specified * offset. ** There are two classes of words formed by a sequence of characters: *
* Spaces are ignored and do not represent a word. Line breaks are treated * as one word. *
*/ int getWordEndNoSpaces(int offset) { int line = logicalContent.getLineAtOffset(offset); int lineOffset = logicalContent.getOffsetAtLine(line); String lineText = logicalContent.getLine(line); int lineLength = lineText.length(); if (offset >= getCharCount()) { return offset; } if (offset == lineOffset + lineLength) { line++; offset = logicalContent.getOffsetAtLine(line); } else { offset -= lineOffset; char ch = lineText.charAt(offset); boolean letterOrDigit = Compatibility.isLetterOrDigit(ch); while (offset < lineLength - 1 && Compatibility.isLetterOrDigit(ch) == letterOrDigit && Compatibility.isSpaceChar(ch) == false) { offset++; ch = lineText.charAt(offset); } if (offset == lineLength - 1 && Compatibility.isLetterOrDigit(ch) == letterOrDigit && Compatibility.isSpaceChar(ch) == false) { offset++; } offset += lineOffset; } return offset; } /** * Returns the start offset of the word at the specified offset. * There are two classes of words formed by a sequence of characters: **
* Space characters ' ' (ASCII 20) are special as they are treated as * part of the word leading up to the space character. Line breaks are treated * as one word. *
*/ int getWordStart(int offset) { int line = logicalContent.getLineAtOffset(offset); int lineOffset = logicalContent.getOffsetAtLine(line); String lineText = logicalContent.getLine(line); if (offset <= 0) { return offset; } if (offset == lineOffset) { line--; lineText = logicalContent.getLine(line); offset = logicalContent.getOffsetAtLine(line) + lineText.length(); } else { char ch; boolean letterOrDigit; offset -= lineOffset; // skip over trailing whitespace do { offset--; ch = lineText.charAt(offset); } while (offset > 0 && Compatibility.isSpaceChar(ch)); letterOrDigit = Compatibility.isLetterOrDigit(ch); while (offset > 0 && Compatibility.isLetterOrDigit(ch) == letterOrDigit && Compatibility.isSpaceChar(ch) == false) { offset--; ch = lineText.charAt(offset); } if (offset > 0 || Compatibility.isLetterOrDigit(ch) != letterOrDigit) { offset++; } offset += lineOffset; } return offset; } /** * Returns whether the widget wraps lines. ** * @return true if widget wraps lines, false otherwise * @since 2.0 */ public boolean getWordWrap() { checkWidget(); return wordWrap; } /** * Returns the x location of the character at the give offset in the line. * NOTE: Does not return correct values for true italic fonts (vs. slanted fonts). *
* * @return x location of the character at the given offset in the line. */ int getXAtOffset(String line, int lineIndex, int lineOffset) { int x; if (lineOffset == 0 && isBidi() == false) { x = leftMargin; } else { GC gc = getGC(); x = getTextPosition(line, lineIndex, Math.min(line.length(), lineOffset), gc) + leftMargin; gc.dispose(); if (lineOffset > line.length()) { // offset is not on the line. return an x location one character // after the line to indicate the line delimiter. x += lineEndSpaceWidth; } } return x - horizontalScrollOffset; } /** * Inserts a string. The old selection is replaced with the new text. *
* * @param string the string * @see #replaceTextRange(int,int,String) * @exception SWTException
* * @see #addLineStyleListener */ void installDefaultLineStyler() { defaultLineStyler = new DefaultLineStyler(logicalContent); StyledTextListener typedListener = new StyledTextListener(defaultLineStyler); if (userLineStyle == false) { addListener(LineGetStyle, typedListener); } if (userLineBackground == false) { addListener(LineGetBackground, typedListener); } } /** * Adds event listeners */ void installListeners() { ScrollBar verticalBar = getVerticalBar(); ScrollBar horizontalBar = getHorizontalBar(); addListener(SWT.Dispose, new Listener() { public void handleEvent(Event event) { handleDispose(); } }); addListener(SWT.KeyDown, new Listener() { public void handleEvent(Event event) { handleKeyDown(event); } }); addListener(SWT.MouseDown, new Listener() { public void handleEvent(Event event) { handleMouseDown(event); } }); addListener(SWT.MouseUp, new Listener() { public void handleEvent(Event event) { handleMouseUp(event); } }); addListener(SWT.MouseDoubleClick, new Listener() { public void handleEvent(Event event) { handleMouseDoubleClick(event); } }); addListener(SWT.MouseMove, new Listener() { public void handleEvent(Event event) { handleMouseMove(event); } }); addListener(SWT.Paint, new Listener() { public void handleEvent(Event event) { handlePaint(event); } }); addListener(SWT.Resize, new Listener() { public void handleEvent(Event event) { handleResize(event); } }); addListener(SWT.Traverse, new Listener() { public void handleEvent(Event event) { handleTraverse(event); } }); if (verticalBar != null) { verticalBar.addListener(SWT.Selection, new Listener() { public void handleEvent(Event event) { handleVerticalScroll(event); } }); } if (horizontalBar != null) { horizontalBar.addListener(SWT.Selection, new Listener() { public void handleEvent(Event event) { handleHorizontalScroll(event); } }); } } StyledTextContent internalGetContent() { return content; } int internalGetHorizontalPixel() { return horizontalScrollOffset; } LineCache internalGetLineCache() { return lineCache; } Point internalGetSelection() { return selection; } boolean internalGetWordWrap() { return wordWrap; } /** * Used by WordWrapCache to bypass StyledText.redraw which does * an unwanted cache reset. */ void internalRedraw() { super.redraw(); } /** * Redraws the specified text range. *
* * @param start offset of the first character to redraw * @param length number of characters to redraw * @param clearBackground true if the background should be cleared as * part of the redraw operation. If true, the entire redraw range will * be cleared before anything is redrawn. If the redraw range includes * the last character of a line (i.e., the entire line is redrawn) the * line is cleared all the way to the right border of the widget. * The redraw operation will be faster and smoother if clearBackground is * set to false. Whether or not the flag can be set to false depends on * the type of change that has taken place. If font styles or background * colors for the redraw range have changed, clearBackground should be * set to true. If only foreground colors have changed for the redraw * range, clearBackground can be set to false. */ void internalRedrawRange(int start, int length, boolean clearBackground) { int end = start + length; int firstLine = content.getLineAtOffset(start); int lastLine = content.getLineAtOffset(end); int offsetInFirstLine; int partialBottomIndex = getPartialBottomIndex(); int partialTopIndex = verticalScrollOffset / lineHeight; // do nothing if redraw range is completely invisible if (firstLine > partialBottomIndex || lastLine < partialTopIndex) { return; } // only redraw visible lines if (partialTopIndex > firstLine) { firstLine = partialTopIndex; offsetInFirstLine = 0; } else { offsetInFirstLine = start - content.getOffsetAtLine(firstLine); } if (partialBottomIndex + 1 < lastLine) { lastLine = partialBottomIndex + 1; // + 1 to redraw whole bottom line, including line break end = content.getOffsetAtLine(lastLine); } // redraw first and last lines if (isBidi()) { redrawBidiLines(firstLine, offsetInFirstLine, lastLine, end, clearBackground); } else { redrawLines(firstLine, offsetInFirstLine, lastLine, end, clearBackground); } // redraw entire center lines if redraw range includes more than two lines if (lastLine - firstLine > 1) { Rectangle clientArea = getClientArea(); int redrawStopY = lastLine * lineHeight - verticalScrollOffset; int redrawY = (firstLine + 1) * lineHeight - verticalScrollOffset; draw(0, redrawY, clientArea.width, redrawStopY - redrawY, clearBackground); } } /** * Returns the widget text with style information encoded using RTF format * specification version 1.5. * * @return the widget text with style information encoded using RTF format * @exception SWTException
* * @param event keyboard event */ void handleKey(Event event) { int action; if (event.keyCode != 0) { // special key pressed (e.g., F1) action = getKeyBinding(event.keyCode | event.stateMask); } else { // character key pressed action = getKeyBinding(event.character | event.stateMask); if (action == SWT.NULL) { // see if we have a control character if ((event.stateMask & SWT.CTRL) != 0 && (event.character >= 0) && event.character <= 31) { // get the character from the CTRL+char sequence, the control // key subtracts 64 from the value of the key that it modifies int c = event.character + 64; action = getKeyBinding(c | event.stateMask); } } } if (action == SWT.NULL) { boolean ignore = false; if (isCarbon) { // Ignore acclerator key combinations (we do not want to // insert a character in the text in this instance). Do not // ignore COMMAND+ALT combinations since that key sequence // produces characters on the mac. ignore = (event.stateMask ^ SWT.COMMAND) == 0 || (event.stateMask ^ (SWT.COMMAND | SWT.SHIFT)) == 0; } else { // Ignore acclerator key combinations (we do not want to // insert a character in the text in this instance). Don't // ignore CTRL+ALT combinations since that is the Alt Gr // key on some keyboards. See bug 20953. ignore = (event.stateMask ^ SWT.ALT) == 0 || (event.stateMask ^ SWT.CTRL) == 0 || (event.stateMask ^ (SWT.ALT | SWT.SHIFT)) == 0 || (event.stateMask ^ (SWT.CTRL | SWT.SHIFT)) == 0; } // -ignore anything below SPACE except for line delimiter keys and tab. // -ignore DEL if (!ignore && event.character > 31 && event.character != SWT.DEL || event.character == SWT.CR || event.character == SWT.LF || event.character == TAB) { doContent(event.character); } } else { invokeAction(action); } } /** * If a VerifyKey listener exists, verify that the key that was entered * should be processed. *
* * @param event keyboard event */ void handleKeyDown(Event event) { Event verifyEvent = new Event(); verifyEvent.character = event.character; verifyEvent.keyCode = event.keyCode; verifyEvent.stateMask = event.stateMask; verifyEvent.doit = true; notifyListeners(VerifyKey, verifyEvent); if (verifyEvent.doit == true) { handleKey(event); } } /** * Updates the caret location and selection if mouse button 1 has been * pressed. */ void handleMouseDoubleClick(Event event) { if (event.button != 1 || doubleClickEnabled == false) { return; } event.y -= topMargin; mouseDoubleClick = true; caretOffset = getWordStart(caretOffset); resetSelection(); caretOffset = getWordEndNoSpaces(caretOffset); showCaret(); doMouseSelection(); doubleClickSelection = new Point(selection.x, selection.y); } /** * Updates the caret location and selection if mouse button 1 has been * pressed. */ void handleMouseDown(Event event) { boolean select = (event.stateMask & SWT.MOD2) != 0; if (event.button != 1) { return; } mouseDoubleClick = false; event.y -= topMargin; doMouseLocationChange(event.x, event.y, select); } /** * Updates the caret location and selection if mouse button 1 is pressed * during the mouse move. */ void handleMouseMove(Event event) { if ((event.stateMask & SWT.BUTTON1) == 0) { return; } event.y -= topMargin; doMouseLocationChange(event.x, event.y, true); doAutoScroll(event); } /** * Autoscrolling ends when the mouse button is released. */ void handleMouseUp(Event event) { event.y -= topMargin; endAutoScroll(); } /** * Renders the invalidated area specified in the paint event. *
* * @param event paint event */ void handlePaint(Event event) { int startLine = Math.max(0, (event.y - topMargin + verticalScrollOffset) / lineHeight); int paintYFromTopLine = (startLine - topIndex) * lineHeight; int topLineOffset = topIndex * lineHeight - verticalScrollOffset; int startY = paintYFromTopLine + topLineOffset + topMargin; // adjust y position for pixel based scrolling and top margin int renderHeight = event.y + event.height - startY; Rectangle clientArea = getClientArea(); // Check if there is work to do. clientArea.width should never be 0 // if we receive a paint event but we never want to try and create // an Image with 0 width. if (clientArea.width == 0 || event.height == 0) { return; } performPaint(event.gc, startLine, startY, renderHeight); } /** * Recalculates the scroll bars. Rewraps all lines when in word * wrap mode. *
* * @param event resize event */ void handleResize(Event event) { int oldHeight = clientAreaHeight; int oldWidth = clientAreaWidth; clientAreaHeight = getClientArea().height; clientAreaWidth = getClientArea().width; if (wordWrap) { if (oldWidth != clientAreaWidth) { wordWrapResize(oldWidth); } } else if (clientAreaHeight > oldHeight) { int lineCount = content.getLineCount(); int oldBottomIndex = topIndex + oldHeight / lineHeight; int newItemCount = Compatibility.ceil(clientAreaHeight - oldHeight, lineHeight); oldBottomIndex = Math.min(oldBottomIndex, lineCount); newItemCount = Math.min(newItemCount, lineCount - oldBottomIndex); lineCache.calculate(oldBottomIndex, newItemCount); } setScrollBars(); claimBottomFreeSpace(); claimRightFreeSpace(); if (oldHeight != clientAreaHeight) { calculateTopIndex(); } } /** * Updates the caret position and selection and the scroll bars to reflect * the content change. *
*/ void handleTextChanged(TextChangedEvent event) { lineCache.textChanged(lastTextChangeStart, lastTextChangeNewLineCount, lastTextChangeReplaceLineCount, lastTextChangeNewCharCount, lastTextChangeReplaceCharCount); setScrollBars(); // update selection/caret location after styles have been changed. // otherwise any text measuring could be incorrect // // also, this needs to be done after all scrolling. Otherwise, // selection redraw would be flushed during scroll which is wrong. // in some cases new text would be drawn in scroll source area even // though the intent is to scroll it. // fixes 1GB93QT updateSelection( lastTextChangeStart, lastTextChangeReplaceCharCount, lastTextChangeNewCharCount); if (lastTextChangeReplaceLineCount > 0) { // Only check for unused space when lines are deleted. // Fixes 1GFL4LY // Scroll up so that empty lines below last text line are used. // Fixes 1GEYJM0 claimBottomFreeSpace(); } if (lastTextChangeReplaceCharCount > 0) { // fixes bug 8273 claimRightFreeSpace(); } // do direct drawing if the text change is confined to a single line. // optimization and fixes bug 13999. see also handleTextChanging. if (lastTextChangeNewLineCount == 0 && lastTextChangeReplaceLineCount == 0) { int startLine = content.getLineAtOffset(lastTextChangeStart); int startY = startLine * lineHeight - verticalScrollOffset + topMargin; GC gc = getGC(); Caret caret = getCaret(); boolean caretVisible = false; if (caret != null) { caretVisible = caret.getVisible(); caret.setVisible(false); } performPaint(gc, startLine, startY, lineHeight); if (caret != null) { caret.setVisible(caretVisible); } gc.dispose(); } } /** * Updates the screen to reflect a pending content change. *
* * @param event.start the start offset of the change * @param event.newText text that is going to be inserted or empty String * if no text will be inserted * @param event.replaceCharCount length of text that is going to be replaced * @param event.newCharCount length of text that is going to be inserted * @param event.replaceLineCount number of lines that are going to be replaced * @param event.newLineCount number of new lines that are going to be inserted */ void handleTextChanging(TextChangingEvent event) { int firstLine; int textChangeY; boolean isMultiLineChange = event.replaceLineCount > 0 || event.newLineCount > 0; if (event.replaceCharCount < 0) { event.start += event.replaceCharCount; event.replaceCharCount *= -1; } lastTextChangeStart = event.start; lastTextChangeNewLineCount = event.newLineCount; lastTextChangeNewCharCount = event.newCharCount; lastTextChangeReplaceLineCount = event.replaceLineCount; lastTextChangeReplaceCharCount = event.replaceCharCount; firstLine = content.getLineAtOffset(event.start); textChangeY = firstLine * lineHeight - verticalScrollOffset + topMargin; if (isMultiLineChange) { redrawMultiLineChange(textChangeY, event.newLineCount, event.replaceLineCount); } // notify default line styler about text change if (defaultLineStyler != null) { defaultLineStyler.textChanging(event); } // Update the caret offset if it is greater than the length of the content. // This is necessary since style range API may be called between the // handleTextChanging and handleTextChanged events and this API sets the // caretOffset. int newEndOfText = content.getCharCount() - event.replaceCharCount + event.newCharCount; if (caretOffset > newEndOfText) caretOffset = newEndOfText; } /** * Called when the widget content is set programatically, overwriting * the old content. Resets the caret position, selection and scroll offsets. * Recalculates the content width and scroll bars. Redraws the widget. *
* * @param event text change event. */ void handleTextSet(TextChangedEvent event) { reset(); } /** * Called when a traversal key is pressed. * Allow tab next traversal to occur when the widget is in single * line mode or in multi line and non-editable mode . * When in editable multi line mode we want to prevent the tab * traversal and receive the tab key event instead. *
* * @param event the event */ void handleTraverse(Event event) { int style = getStyle(); boolean ignoreTab = (style & SWT.MULTI) != 0 && !editable || isSingleLine(); if ((event.detail == SWT.TRAVERSE_TAB_NEXT || event.detail == SWT.TRAVERSE_RETURN) && ignoreTab) { event.doit = true; } } /** * Scrolls the widget vertically. */ void handleVerticalScroll(Event event) { setVerticalScrollOffset(getVerticalBar().getSelection(), false); } /** * Initializes the fonts used to render font styles. * Presently only regular and bold fonts are supported. */ void initializeRenderer() { if (renderer != null) { renderer.dispose(); } renderer = new DisplayRenderer( getDisplay(), getFont(), isBidi(), leftMargin, this, tabLength); lineHeight = renderer.getLineHeight(); lineEndSpaceWidth = renderer.getLineEndSpaceWidth(); } /** * Executes the action. *
* * @param action one of the actions defined in ST.java */ public void invokeAction(int action) { int oldColumnX; int caretLine; checkWidget(); switch (action) { // Navigation case ST.LINE_UP: caretLine = doLineUp(); oldColumnX = columnX; // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); // save the original horizontal caret position columnX = oldColumnX; clearSelection(true); break; case ST.LINE_DOWN: caretLine = doLineDown(); oldColumnX = columnX; // explicitly go to the calculated caret line. may be different // from content.getLineAtOffset(caretOffset) when in word wrap mode showCaret(caretLine); // save the original horizontal caret position columnX = oldColumnX; clearSelection(true); break; case ST.LINE_START: doLineStart(); clearSelection(true); break; case ST.LINE_END: doLineEnd(); clearSelection(true); break; case ST.COLUMN_PREVIOUS: doCursorPrevious(); clearSelection(true); break; case ST.COLUMN_NEXT: doCursorNext(); clearSelection(true); break; case ST.PAGE_UP: doPageUp(); clearSelection(true); break; case ST.PAGE_DOWN: doPageDown(false); clearSelection(true); break; case ST.WORD_PREVIOUS: doWordPrevious(); clearSelection(true); break; case ST.WORD_NEXT: doWordNext(); clearSelection(true); break; case ST.TEXT_START: doContentStart(); clearSelection(true); break; case ST.TEXT_END: doContentEnd(); clearSelection(true); break; case ST.WINDOW_START: doPageStart(); clearSelection(true); break; case ST.WINDOW_END: doPageEnd(); clearSelection(true); break; // Selection case ST.SELECT_LINE_UP: doSelectionLineUp(); break; case ST.SELECT_LINE_DOWN: doSelectionLineDown(); break; case ST.SELECT_LINE_START: doLineStart(); doSelection(SWT.LEFT); break; case ST.SELECT_LINE_END: doLineEnd(); doSelection(SWT.RIGHT); break; case ST.SELECT_COLUMN_PREVIOUS: doSelectionCursorPrevious(); doSelection(SWT.LEFT); break; case ST.SELECT_COLUMN_NEXT: doSelectionCursorNext(); doSelection(SWT.RIGHT); break; case ST.SELECT_PAGE_UP: doSelectionPageUp(); doSelection(SWT.LEFT); break; case ST.SELECT_PAGE_DOWN: doSelectionPageDown(); break; case ST.SELECT_WORD_PREVIOUS: doSelectionWordPrevious(); doSelection(SWT.LEFT); break; case ST.SELECT_WORD_NEXT: doSelectionWordNext(); doSelection(SWT.RIGHT); break; case ST.SELECT_TEXT_START: doContentStart(); doSelection(SWT.LEFT); break; case ST.SELECT_TEXT_END: doContentEnd(); doSelection(SWT.RIGHT); break; case ST.SELECT_WINDOW_START: doPageStart(); doSelection(SWT.LEFT); break; case ST.SELECT_WINDOW_END: doPageEnd(); doSelection(SWT.RIGHT); break; // Modification case ST.CUT: cut(); break; case ST.COPY: copy(); break; case ST.PASTE: paste(); break; case ST.DELETE_PREVIOUS: doBackspace(); break; case ST.DELETE_NEXT: doDelete(); break; case ST.DELETE_WORD_PREVIOUS: doDeleteWordPrevious(); break; case ST.DELETE_WORD_NEXT: doDeleteWordNext(); break; // Miscellaneous case ST.TOGGLE_OVERWRITE: overwrite = !overwrite; // toggle insert/overwrite mode break; } } /** * Temporary until SWT provides this */ boolean isBidi() { return isBidi; } /** * Returns whether the given offset is inside a multi byte line delimiter. * Example: * "Line1\r\n" isLineDelimiter(5) == false but isLineDelimiter(6) == true * * @return true if the given offset is inside a multi byte line delimiter. * false if the given offset is before or after a line delimiter. */ boolean isLineDelimiter(int offset) { int line = content.getLineAtOffset(offset); int lineOffset = content.getOffsetAtLine(line); int offsetInLine = offset - lineOffset; // offsetInLine will be greater than line length if the line // delimiter is longer than one character and the offset is set // in between parts of the line delimiter. return offsetInLine > content.getLine(line).length(); } /** * Returns whether or not the given lines are visible. *
* * @return true if any of the lines is visible * false if none of the lines is visible */ boolean isAreaVisible(int firstLine, int lastLine) { int partialBottomIndex = getPartialBottomIndex(); int partialTopIndex = verticalScrollOffset / lineHeight; boolean notVisible = firstLine > partialBottomIndex || lastLine < partialTopIndex; return !notVisible; } /** * Returns whether or not the given styles will necessitate a redraw for the given start line. * A redraw is necessary when font style changes after the start of a style will take place. * This method assumes ranges is in order and non-overlapping. *
*
* @return true if a redraw of the given line is necessary, false otherwise
*/
boolean isRedrawFirstLine(StyleRange[] ranges, int firstLine, int firstLineOffset) {
int lineEnd = firstLineOffset + content.getLine(firstLine).length();
for (int i=0; i
*
* @return true if widget can have only one line, false if widget can have
* multiple lines
*/
boolean isSingleLine() {
return (getStyle() & SWT.SINGLE) != 0;
}
/**
* Returns whether the font style in the given style range is changing
* from SWT.NORMAL to SWT.BOLD or vice versa.
*
*
* @param range StyleRange to compare current font style with.
* @param start offset of the first font style to compare
* @param end offset behind the last font style to compare
* @return true if the font style is changing in the given style range,
* false if the font style is not changing in the given style range.
* @exception SWTException
*
* @param event the text change event.
*
*
* @exception SWTException
*
* @param gc GC to render on
* @param startLine first line to render
* @param startY y pixel location to start rendering at
* @param renderHeight renderHeight widget area that needs to be filled with lines
*/
void performPaint(GC gc,int startLine,int startY, int renderHeight) {
Rectangle clientArea = getClientArea();
Color background = getBackground();
// Check if there is work to do. We never want to try and create
// an Image with 0 width or 0 height.
if (clientArea.width == 0) {
return;
}
if (renderHeight > 0) {
// renderHeight will be negative when only top margin needs redrawing
Color foreground = getForeground();
int lineCount = content.getLineCount();
int paintY = 0;
if (isSingleLine()) {
lineCount = 1;
if (startLine > 1) {
startLine = 1;
}
}
Image lineBuffer = new Image(getDisplay(), clientArea.width, renderHeight);
GC lineGC = new GC(lineBuffer);
lineGC.setFont(getFont());
renderer.setCurrentFontStyle(SWT.NORMAL);
lineGC.setForeground(foreground);
lineGC.setBackground(background);
for (int i = startLine; paintY < renderHeight && i < lineCount; i++, paintY += lineHeight) {
String line = content.getLine(i);
renderer.drawLine(line, i, paintY, lineGC, background, foreground, true);
}
if (paintY < renderHeight) {
lineGC.setBackground(background);
lineGC.setForeground(background);
lineGC.fillRectangle(0, paintY, clientArea.width, renderHeight - paintY);
}
gc.drawImage(lineBuffer, 0, startY);
lineGC.dispose();
lineBuffer.dispose();
}
clearMargin(gc, background, clientArea, renderHeight);
}
/**
* Prints the widget's text to the default printer.
*
* @exception SWTException
* The runnable may be run in a non-UI thread.
*
* The runnable may be run in a non-UI thread.
*
* Recalculates the content width for all lines in the bounds.
* When a
* Marks the content width of all lines in the specified rectangle
* as unknown. Recalculates the content width of all visible lines.
* When a
*
* @param firstLine first line to redraw at the specified offset
* @param offsetInFirstLine offset in firstLine to start redrawing
* @param lastLine last line to redraw
* @param endOffset offset in the last where redrawing should stop
* @param clearBackground true=clear the background by invalidating
* the requested redraw range, false=draw the foreground directly
* without invalidating the redraw range.
*/
void redrawBidiLines(int firstLine, int offsetInFirstLine, int lastLine, int endOffset, boolean clearBackground) {
int lineCount = lastLine - firstLine + 1;
int redrawY = firstLine * lineHeight - verticalScrollOffset;
int firstLineOffset = content.getOffsetAtLine(firstLine);
String line = content.getLine(firstLine);
GC gc = getGC();
StyledTextBidi bidi = getStyledTextBidi(line, firstLineOffset, gc);
bidi.redrawRange(
this, offsetInFirstLine,
Math.min(line.length(), endOffset) - offsetInFirstLine,
leftMargin - horizontalScrollOffset, redrawY + topMargin, lineHeight);
// redraw line break marker (either space or full client area width)
// if redraw range extends over more than one line and background should be redrawn
if (lastLine > firstLine && clearBackground) {
int lineBreakWidth;
int lineBreakStartX = bidi.getTextWidth();
// handle empty line case
if (lineBreakStartX == leftMargin) {
lineBreakStartX += XINSET;
}
lineBreakStartX = lineBreakStartX - horizontalScrollOffset;
if ((getStyle() & SWT.FULL_SELECTION) != 0) {
lineBreakWidth = getClientArea().width - lineBreakStartX;
}
else {
lineBreakWidth = lineEndSpaceWidth;
}
draw(lineBreakStartX, redrawY, lineBreakWidth, lineHeight, clearBackground);
}
// redraw last line if more than one line needs redrawing
if (lineCount > 1) {
int lastLineOffset = content.getOffsetAtLine(lastLine);
int offsetInLastLine = endOffset - lastLineOffset;
// no redraw necessary if redraw offset is 0
if (offsetInLastLine > 0) {
line = content.getLine(lastLine);
redrawY = lastLine * lineHeight - verticalScrollOffset;
bidi = getStyledTextBidi(line, lastLineOffset, gc);
bidi.redrawRange(
this, 0, offsetInLastLine,
leftMargin - horizontalScrollOffset,
redrawY + topMargin, lineHeight);
}
}
gc.dispose();
}
/**
* Redraw the given line.
*
*
* @param line index of the line to redraw
* @param offset offset in line to start redrawing
*/
void redrawLine(int line, int offset) {
int redrawX = 0;
if (offset > 0) {
String lineText = content.getLine(line);
redrawX = getXAtOffset(lineText, line, offset);
}
int redrawY = line * lineHeight - verticalScrollOffset;
super.redraw(
redrawX + leftMargin, redrawY + topMargin,
getClientArea().width, lineHeight, true);
}
/**
* Redraws a text range in the specified lines
*
*
* @param firstLine first line to redraw at the specified offset
* @param offsetInFirstLine offset in firstLine to start redrawing
* @param lastLine last line to redraw
* @param endOffset offset in the last where redrawing should stop
* @param clearBackground true=clear the background by invalidating
* the requested redraw range. If the redraw range includes the
* last character of a line (i.e., the entire line is redrawn) the
* line is cleared all the way to the right border of the widget.
* false=draw the foreground directly without invalidating the
* redraw range.
*/
void redrawLines(int firstLine, int offsetInFirstLine, int lastLine, int endOffset, boolean clearBackground) {
String line = content.getLine(firstLine);
int lineCount = lastLine - firstLine + 1;
int redrawX = getXAtOffset(line, firstLine, offsetInFirstLine) - leftMargin;
int redrawStopX;
int redrawY = firstLine * lineHeight - verticalScrollOffset;
int firstLineOffset = content.getOffsetAtLine(firstLine);
boolean fullLineRedraw = ((getStyle() & SWT.FULL_SELECTION) != 0 && lastLine > firstLine);
// if redraw range includes last character on the first line,
// clear background to right widget border. fixes bug 19595.
if (clearBackground && endOffset - firstLineOffset >= line.length()) {
fullLineRedraw = true;
}
// calculate redraw stop location
if (fullLineRedraw) {
redrawStopX = getClientArea().width - leftMargin;
}
else {
redrawStopX = getXAtOffset(line, firstLine, endOffset - firstLineOffset) - leftMargin;
}
draw(redrawX, redrawY, redrawStopX - redrawX, lineHeight, clearBackground);
// redraw last line if more than one line needs redrawing
if (lineCount > 1) {
int offsetInLastLine = endOffset - content.getOffsetAtLine(lastLine);
// no redraw necessary if redraw offset is 0
if (offsetInLastLine > 0) {
line = content.getLine(lastLine);
// if redraw range includes last character on the last line,
// clear background to right widget border. fixes bug 19595.
if (clearBackground && offsetInLastLine >= line.length()) {
fullLineRedraw = true;
}
if (fullLineRedraw) {
redrawStopX = getClientArea().width - leftMargin;
}
else {
redrawStopX = getXAtOffset(line, lastLine, offsetInLastLine) - leftMargin;
}
redrawY = lastLine * lineHeight - verticalScrollOffset;
draw(0, redrawY, redrawStopX, lineHeight, clearBackground);
}
}
}
/**
* Fixes the widget to display a text change.
* Bit blitting and redrawing is done as necessary.
*
*
* @param y y location of the text change
* @param newLineCount number of new lines.
* @param replacedLineCount number of replaced lines.
*/
void redrawMultiLineChange(int y, int newLineCount, int replacedLineCount) {
Rectangle clientArea = getClientArea();
int lineCount = newLineCount - replacedLineCount;
int sourceY;
int destinationY;
if (lineCount > 0) {
sourceY = Math.max(0, y + lineHeight);
destinationY = sourceY + lineCount * lineHeight;
}
else {
destinationY = Math.max(0, y + lineHeight);
sourceY = destinationY - lineCount * lineHeight;
}
scroll(
0, destinationY, // destination x, y
0, sourceY, // source x, y
clientArea.width, clientArea.height, true);
// Always redrawing causes the bottom line to flash when a line is
// deleted. This is because SWT merges the paint area of the scroll
// with the paint area of the redraw call below.
// To prevent this we could call update after the scroll. However,
// adding update can cause even more flash if the client does other
// redraw/update calls (ie. for syntax highlighting).
// We could also redraw only when a line has been added or when
// contents has been added to a line. This would require getting
// line index info from the content and is not worth the trouble
// (the flash is only on the bottom line and minor).
// Specifying the NO_MERGE_PAINTS style bit prevents the merged
// redraw but could cause flash/slowness elsewhere.
if (y + lineHeight > 0 && y <= clientArea.height) {
// redraw first changed line in case a line was split/joined
super.redraw(0, y, clientArea.width, lineHeight, true);
}
if (newLineCount > 0) {
int redrawStartY = y + lineHeight;
int redrawHeight = newLineCount * lineHeight;
if (redrawStartY + redrawHeight > 0 && redrawStartY <= clientArea.height) {
// display new text
super.redraw(0, redrawStartY, clientArea.width, redrawHeight, true);
}
}
}
/**
* Redraws the specified text range.
*
*
* @param start offset of the first character to redraw
* @param length number of characters to redraw
* @param clearBackground true if the background should be cleared as
* part of the redraw operation. If true, the entire redraw range will
* be cleared before anything is redrawn. If the redraw range includes
* the last character of a line (i.e., the entire line is redrawn) the
* line is cleared all the way to the right border of the widget.
* The redraw operation will be faster and smoother if clearBackground
* is set to false. Whether or not the flag can be set to false depends
* on the type of change that has taken place. If font styles or
* background colors for the redraw range have changed, clearBackground
* should be set to true. If only foreground colors have changed for
* the redraw range, clearBackground can be set to false.
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
*
* @param listener the listener
* @exception SWTException
* Should not be called if a LineStyleListener has been set since the
* listener maintains the styles.
*
* NOTE: During the replace operation the current selection is
* changed as follows:
*
*
*/
boolean isStyleChanging(StyleRange range, int start, int end) {
checkWidget();
StyleRange[] styles = defaultLineStyler.getStyleRangesFor(start, end - start);
if (styles == null) {
return (range.fontStyle != SWT.NORMAL);
}
for (int i = 0; i < styles.length; i++) {
StyleRange newStyle = styles[i];
if (newStyle.fontStyle != range.fontStyle) {
return true;
}
}
return false;
}
/**
* Sends the specified verify event, replace/insert text as defined by
* the event and send a modify event.
*
*
* @param updateCaret whether or not he caret should be set behind
* the new text
*/
void modifyContent(Event event, boolean updateCaret) {
event.doit = true;
notifyListeners(SWT.Verify, event);
if (event.doit) {
StyledTextEvent styledTextEvent = null;
int replacedLength = event.end - event.start;
boolean isCharacterRemove = replacedLength == 1 && event.text.length() == 0;
boolean isBackspace = event.start < caretOffset;
boolean isDirectionBoundary = false;
if (updateCaret && isBidi() && isCharacterRemove) {
// set the keyboard language to the language of the deleted character.
// determine direction boundary so that caret location can be updated
// properly.
int line = content.getLineAtOffset(caretOffset);
int lineStartOffset = content.getOffsetAtLine(line);
int offsetInLine = caretOffset - lineStartOffset;
String lineText = content.getLine(line);
GC gc = getGC();
StyledTextBidi bidi = new StyledTextBidi(gc, lineText, getBidiSegments(lineStartOffset, lineText));
if (isBackspace) {
if (offsetInLine > 0) {
// the line start/end does not represent a direction boundary
// even if the previous/next line has a different direction.
isDirectionBoundary =
offsetInLine < lineText.length() &&
(bidi.isRightToLeft(offsetInLine) != bidi.isRightToLeft(offsetInLine - 1) ||
bidi.isLocalNumber(offsetInLine) != bidi.isLocalNumber(offsetInLine - 1));
bidi.setKeyboardLanguage(offsetInLine - 1);
}
}
else {
if (offsetInLine < lineText.length()) {
// the line start/end does not represent a direction boundary
// even if the previous/next line has a different direction.
isDirectionBoundary =
offsetInLine > 0 &&
(bidi.isRightToLeft(offsetInLine) != bidi.isRightToLeft(offsetInLine - 1) ||
bidi.isLocalNumber(offsetInLine) != bidi.isLocalNumber(offsetInLine - 1));
bidi.setKeyboardLanguage(offsetInLine);
}
}
gc.dispose();
}
if (isListening(ExtendedModify)) {
styledTextEvent = new StyledTextEvent(logicalContent);
styledTextEvent.start = event.start;
styledTextEvent.end = event.start + event.text.length();
styledTextEvent.text = content.getTextRange(event.start, replacedLength);
}
content.replaceTextRange(event.start, replacedLength, event.text);
// set the caret position prior to sending the modify event.
// fixes 1GBB8NJ
if (updateCaret) {
// always update the caret location. fixes 1G8FODP
internalSetSelection(event.start + event.text.length(), 0, true);
if (isBidi()) {
// Update the caret direction so that the caret moves to the
// typed/deleted character. Fixes 1GJLQ16.
if (isCharacterRemove) {
updateBidiDirection(isBackspace, isDirectionBoundary);
}
else {
lastCaretDirection = ST.COLUMN_NEXT;
}
showBidiCaret();
}
else {
showCaret();
}
}
notifyListeners(SWT.Modify, event);
if (isListening(ExtendedModify)) {
notifyListeners(ExtendedModify, styledTextEvent);
}
}
}
/**
* Replaces the selection with the clipboard text or insert the text at
* the current caret offset if there is no selection.
* If the widget has the SWT.SINGLE style and the clipboard text contains
* more than one line, only the first line without line delimiters is
* inserted in the widget.
*
*
*/
public void paste(){
checkWidget();
TextTransfer transfer = TextTransfer.getInstance();
String text;
text = (String) clipboard.getContents(transfer);
if (text != null && text.length() > 0) {
Event event = new Event();
event.start = selection.x;
event.end = selection.y;
event.text = getModelDelimitedText(text);
sendKeyEvent(event);
}
}
/**
* Render the specified area. Broken out as its own method to support
* direct drawing.
*
*
*/
public void print() {
checkWidget();
Printer printer = new Printer();
StyledTextPrintOptions options = new StyledTextPrintOptions();
options.printTextForeground = true;
options.printTextBackground = true;
options.printTextFontStyle = true;
options.printLineBackground = true;
new Printing(this, printer, options).run();
printer.dispose();
}
/**
* Returns a runnable that will print the widget's text
* to the specified printer.
*
*
* @exception IllegalArgumentException
*
*/
public Runnable print(Printer printer) {
StyledTextPrintOptions options = new StyledTextPrintOptions();
checkWidget();
options.printTextForeground = true;
options.printTextBackground = true;
options.printTextFontStyle = true;
options.printLineBackground = true;
if (printer == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
return print(printer, options);
}
/**
* Returns a runnable that will print the widget's text
* to the specified printer.
*
*
* @exception IllegalArgumentException
*
* @since 2.1
*/
public Runnable print(Printer printer, StyledTextPrintOptions options) {
checkWidget();
if (printer == null || options == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
return new Printing(this, printer, options);
}
/**
* Causes the entire bounds of the receiver to be marked
* as needing to be redrawn. The next time a paint request
* is processed, the control will be completely painted.
* LineStyleListener
is used a redraw call
* is the only notification to the widget that styles have changed
* and that the content width may have changed.
*
*
*
* @see Control#update
*/
public void redraw() {
int itemCount;
super.redraw();
itemCount = getPartialBottomIndex() - topIndex + 1;
lineCache.redrawReset(topIndex, itemCount, true);
lineCache.calculate(topIndex, itemCount);
setHorizontalScrollBar();
}
/**
* Causes the rectangular area of the receiver specified by
* the arguments to be marked as needing to be redrawn.
* The next time a paint request is processed, that area of
* the receiver will be painted. If the all
flag
* is true
, any children of the receiver which
* intersect with the specified area will also paint their
* intersecting areas. If the all
flag is
* false
, the children will not be painted.
* LineStyleListener
is used a redraw call
* is the only notification to the widget that styles have changed
* and that the content width may have changed.
* true
if children should redraw, and false
otherwise
*
* @exception SWTException
*
*
* @see Control#update
*/
public void redraw(int x, int y, int width, int height, boolean all) {
super.redraw(x, y, width, height, all);
if (height > 0) {
int lineCount = content.getLineCount();
int startLine = (getTopPixel() + y) / lineHeight;
int endLine = startLine + Compatibility.ceil(height, lineHeight);
int itemCount;
// reset all lines in the redraw rectangle
startLine = Math.min(startLine, lineCount);
itemCount = Math.min(endLine, lineCount) - startLine;
lineCache.reset(startLine, itemCount, true);
// only calculate the visible lines
itemCount = getPartialBottomIndex() - topIndex + 1;
lineCache.calculate(topIndex, itemCount);
setHorizontalScrollBar();
}
}
/**
* Redraws a text range in the specified lines
*
*
* @exception IllegalArgumentException
*
*/
public void redrawRange(int start, int length, boolean clearBackground) {
checkWidget();
int end = start + length;
int contentLength = content.getCharCount();
int firstLine;
int lastLine;
if (start > end || start < 0 || end > contentLength) {
SWT.error(SWT.ERROR_INVALID_RANGE);
}
firstLine = content.getLineAtOffset(start);
lastLine = content.getLineAtOffset(end);
// reset all affected lines but let the redraw recalculate only
// those that are visible.
lineCache.reset(firstLine, lastLine - firstLine + 1, true);
internalRedrawRange(start, length, clearBackground);
}
/**
* Removes the specified bidirectional segment listener.
*
*
* @exception IllegalArgumentException
*
* @since 2.0
*/
public void removeBidiSegmentListener(BidiSegmentListener listener) {
checkWidget();
if (listener == null) SWT.error(SWT.ERROR_NULL_ARGUMENT);
removeListener(LineGetSegments, listener);
}
/**
* Removes the specified extended modify listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeExtendedModifyListener(ExtendedModifyListener extendedModifyListener) {
checkWidget();
if (extendedModifyListener == null) SWT.error(SWT.ERROR_NULL_ARGUMENT);
removeListener(ExtendedModify, extendedModifyListener);
}
/**
* Removes the specified line background listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeLineBackgroundListener(LineBackgroundListener listener) {
checkWidget();
if (listener == null) SWT.error(SWT.ERROR_NULL_ARGUMENT);
removeListener(LineGetBackground, listener);
// use default line styler if last user line styler was removed.
if (isListening(LineGetBackground) == false && userLineBackground) {
StyledTextListener typedListener = new StyledTextListener(defaultLineStyler);
addListener(LineGetBackground, typedListener);
userLineBackground = false;
}
}
/**
* Removes the specified line style listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeLineStyleListener(LineStyleListener listener) {
checkWidget();
if (listener == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
removeListener(LineGetStyle, listener);
// use default line styler if last user line styler was removed. Fixes 1G7B1X2
if (isListening(LineGetStyle) == false && userLineStyle) {
StyledTextListener typedListener = new StyledTextListener(defaultLineStyler);
addListener(LineGetStyle, typedListener);
userLineStyle = false;
}
}
/**
* Removes the specified modify listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeModifyListener(ModifyListener modifyListener) {
checkWidget();
if (modifyListener == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
removeListener(SWT.Modify, modifyListener);
}
/**
* Removes the specified selection listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeSelectionListener(SelectionListener listener) {
checkWidget();
if (listener == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
removeListener(SWT.Selection, listener);
}
/**
* Removes the specified verify listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeVerifyListener(VerifyListener verifyListener) {
checkWidget();
if (verifyListener == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
removeListener(SWT.Verify, verifyListener);
}
/**
* Removes the specified key verify listener.
*
*
* @exception IllegalArgumentException
*
*/
public void removeVerifyKeyListener(VerifyKeyListener listener) {
if (listener == null) SWT.error(SWT.ERROR_NULL_ARGUMENT);
removeListener(VerifyKey, listener);
}
/**
* Replaces the styles in the given range with new styles. This method
* effectively deletes the styles in the given range and then adds the
* the new styles.
*
*
* @exception IllegalArgumentException
*
* @since 2.0
*/
public void replaceStyleRanges(int start, int length, StyleRange[] ranges) {
checkWidget();
if (userLineStyle) {
return;
}
if (ranges == null) {
SWT.error(SWT.ERROR_NULL_ARGUMENT);
}
if (ranges.length == 0) {
setStyleRange(new StyleRange(start, length, null, null));
return;
}
int end = start + length;
if (start > end || start < 0 || end > getCharCount()) {
SWT.error(SWT.ERROR_INVALID_RANGE);
}
int firstLine = content.getLineAtOffset(start);
int lastLine = content.getLineAtOffset(end);
// if the area is not visible, there is no need to redraw
boolean redrawLines = isAreaVisible(firstLine, lastLine);
if (!redrawLines) {
defaultLineStyler.replaceStyleRanges(start, length, ranges);
lineCache.reset(firstLine, lastLine - firstLine + 1, true);
} else {
boolean redrawFirstLine = false;
boolean redrawLastLine = false;
// the first and last line needs to be redrawn completely if the
// font style is changing from SWT.NORMAL to something else or
// vice versa. fixes 1G7M5WE.
int firstLineOffset = content.getOffsetAtLine(firstLine);
if (isBidi()) {
redrawFirstLine = true;
redrawLastLine = true;
} else {
int firstLineEnd = firstLineOffset + content.getLine(firstLine).length();
redrawFirstLine = isRedrawFirstLine(ranges, firstLine, firstLineOffset);
// check if any bold styles will be cleared
StyleRange clearRange = new StyleRange(firstLineOffset, firstLineEnd - firstLineOffset, null, null);
redrawFirstLine = redrawFirstLine || isRedrawFirstLine(new StyleRange[] {clearRange}, firstLine, firstLineOffset);
if (lastLine != firstLine) {
int lastLineOffset = content.getOffsetAtLine(lastLine);
int lastLineEnd = lastLineOffset + content.getLine(lastLine).length();
redrawLastLine = isRedrawLastLine(ranges, lastLine, lastLineOffset);
// check if any bold styles will be cleared
clearRange = new StyleRange(lastLineOffset, lastLineEnd - lastLineOffset, null, null);
redrawLastLine = redrawLastLine || isRedrawLastLine(new StyleRange[] {clearRange}, lastLine, lastLineOffset);
}
}
defaultLineStyler.replaceStyleRanges(start, length, ranges);
// reset all lines affected by the style change but let the redraw
// recalculate only those that are visible.
lineCache.reset(firstLine, lastLine - firstLine + 1, true);
internalRedrawRange(start, length, true);
if (redrawFirstLine) {
redrawLine(firstLine, start - firstLineOffset);
}
if (redrawLastLine) {
redrawLine(lastLine, 0);
}
}
// make sure that the caret is positioned correctly.
// caret location may change if font style changes.
// fixes 1G8FODP
setCaretLocation();
}
/**
* Replaces the given text range with new text.
* If the widget has the SWT.SINGLE style and "text" contains more than
* one line, only the first line is rendered but the text is stored
* unchanged. A subsequent call to getText will return the same text
* that was set. Note that only a single line of text should be set when
* the SWT.SINGLE style is used.
*
*
*
* * @param pixels number of pixels to scroll, > 0 = scroll left, * < 0 scroll right */ void scrollHorizontal(int pixels) { Rectangle clientArea; if (pixels == 0) { return; } clientArea = getClientArea(); if (pixels > 0) { int sourceX = leftMargin + pixels; int scrollWidth = clientArea.width - sourceX - rightMargin; int scrollHeight = clientArea.height - topMargin - bottomMargin; scroll( leftMargin, topMargin, // destination x, y sourceX, topMargin, // source x, y scrollWidth, scrollHeight, true); if (sourceX > scrollWidth) { // redraw from end of scrolled area to beginning of scroll // invalidated area super.redraw( leftMargin + scrollWidth, topMargin, pixels - scrollWidth, scrollHeight, true); } } else { int destinationX = leftMargin - pixels; int scrollWidth = clientArea.width - destinationX - rightMargin; int scrollHeight = clientArea.height - topMargin - bottomMargin; scroll( destinationX, topMargin, // destination x, y leftMargin, topMargin, // source x, y scrollWidth, scrollHeight, true); if (destinationX > scrollWidth) { // redraw from end of scroll invalidated area to scroll // destination super.redraw( leftMargin + scrollWidth, topMargin, -pixels - scrollWidth, scrollHeight, true); } } horizontalScrollOffset += pixels; setCaretLocation(); } /** * Scrolls the widget horizontally and adjust the horizontal scroll * bar to reflect the new horizontal offset.. *
* * @param pixels number of pixels to scroll, > 0 = scroll left, * < 0 scroll right * @return * true=the widget was scrolled * false=the widget was not scrolled, the given offset is not valid. */ boolean scrollHorizontalBar(int pixels) { if (pixels == 0) { return false; } ScrollBar horizontalBar = getHorizontalBar(); if (horizontalBar != null) { horizontalBar.setSelection(horizontalScrollOffset + pixels); } scrollHorizontal(pixels); return true; } /** * Selects all the text. *
* * @exception SWTException
* * @param event the text change event. *
* * @param wrap true=widget wraps lines, false=widget does not wrap lines * @since 2.0 */ public void setWordWrap(boolean wrap) { checkWidget(); if (wrap != wordWrap) { ScrollBar horizontalBar = getHorizontalBar(); wordWrap = wrap; if (wordWrap) { logicalContent = content; content = new WrappedContent(renderer, logicalContent); } else { content = logicalContent; } calculateContentWidth(); horizontalScrollOffset = 0; if (horizontalBar != null) { horizontalBar.setVisible(!wordWrap); } setScrollBars(); setCaretLocation(); super.redraw(); } } /** * Sets the caret location and scrolls the caret offset into view. */ void showBidiCaret() { int line = content.getLineAtOffset(caretOffset); int lineOffset = content.getOffsetAtLine(line); int offsetInLine = caretOffset - lineOffset; String lineText = content.getLine(line); int xAtOffset = 0; boolean scrolled = false; GC gc = getGC(); StyledTextBidi bidi = getStyledTextBidi(lineText, lineOffset, gc); // getXAtOffset, inlined for better performance xAtOffset = getBidiTextPosition(lineText, offsetInLine, bidi) + leftMargin; if (offsetInLine > lineText.length()) { // offset is not on the line. return an x location one character // after the line to indicate the line delimiter. xAtOffset += lineEndSpaceWidth; } xAtOffset -= horizontalScrollOffset; // scrolled = showLocation(xAtOffset, line); if (scrolled == false) { setBidiCaretLocation(bidi); } gc.dispose(); } /** * Sets the receiver's caret. Set the caret's height and location. * *
* @param caret the new caret for the receiver * * @exception SWTException* * @param bidi StyledTextBidi object to use for measuring. * May be left null in which case a new object will be created. */ void setBidiCaretLocation(StyledTextBidi bidi) { int caretLine = getCaretLine(); setBidiCaretLocation(bidi, caretLine); } /** * Moves the Caret to the current caret offset. *
* * @param bidi StyledTextBidi object to use for measuring. * May be left null in which case a new object will be created. * @param caretLine line the caret should be placed on. Relative to * first line in document */ void setBidiCaretLocation(StyledTextBidi bidi, int caretLine) { Caret caret = getCaret(); String lineText = content.getLine(caretLine); int lineStartOffset = content.getOffsetAtLine(caretLine); int offsetInLine = caretOffset - lineStartOffset; GC gc = null; if (bidi == null) { gc = getGC(); bidi = getStyledTextBidi(lineText, lineStartOffset, gc); } if (lastCaretDirection == SWT.NULL) { columnX = bidi.getTextPosition(offsetInLine) + leftMargin - horizontalScrollOffset; } else { columnX = bidi.getTextPosition(offsetInLine, lastCaretDirection) + leftMargin - horizontalScrollOffset; } if (StyledTextBidi.getKeyboardLanguageDirection() == SWT.RIGHT) { columnX -= (getCaretWidth() - 1); } if (caret != null) { setBidiCaretDirection(); caret.setLocation( columnX, caretLine * lineHeight - verticalScrollOffset + topMargin); } if (gc != null) { gc.dispose(); } } /** * Sets the BIDI coloring mode. When true the BIDI text display * algorithm is applied to segments of text that are the same * color. * * @param mode the new coloring mode * @exception SWTException
* @deprecated use BidiSegmentListener instead. *
*/ public void setBidiColoring(boolean mode) { checkWidget(); bidiColoring = mode; } /** * Switches the keyboard language according to the current editing * position and cursor direction. */ void setBidiKeyboardLanguage() { int caretLine = getCaretLine(); int lineStartOffset = content.getOffsetAtLine(caretLine); int offsetInLine = caretOffset - lineStartOffset; String lineText = content.getLine(caretLine); GC gc = getGC(); StyledTextBidi bidi; int lineLength = lineText.length(); // Don't supply the bold styles/font since we don't want to measure anything bidi = new StyledTextBidi(gc, lineText, getBidiSegments(lineStartOffset, lineText)); if (offsetInLine == 0) { bidi.setKeyboardLanguage(offsetInLine); } else if (offsetInLine >= lineLength) { offsetInLine = Math.min(offsetInLine, lineLength - 1); bidi.setKeyboardLanguage(offsetInLine); } else if (lastCaretDirection == ST.COLUMN_NEXT) { // continue with previous character type bidi.setKeyboardLanguage(offsetInLine - 1); } else { bidi.setKeyboardLanguage(offsetInLine); } gc.dispose(); } /** * Moves the Caret to the current caret offset. ** * @param newCaretX the new x location of the caret. * passed in for better performance when it has already been * calculated outside this method. * @param line index of the line the caret is on. Relative to * the first line in the document. */ void setCaretLocation(int newCaretX, int line) { if (isBidi()) { setBidiCaretLocation(null, line); } else { Caret caret = getCaret(); columnX = newCaretX; if (caret != null) { caret.setLocation( newCaretX, line * lineHeight - verticalScrollOffset + topMargin); } } } /** * Moves the Caret to the current caret offset. */ void setCaretLocation() { if (isBidi()) { setBidiCaretLocation(null); } else { Caret caret = getCaret(); int caretLine = getCaretLine(); int lineStartOffset = content.getOffsetAtLine(caretLine); columnX = getXAtOffset( content.getLine(caretLine), caretLine, caretOffset - lineStartOffset); if (caret != null) { caret.setLocation( columnX, caretLine * lineHeight - verticalScrollOffset + topMargin); } } } /** * Sets the caret offset. * * @param offset caret offset, relative to the first character in the text. * @exception SWTException
* * @param start start index of the text * @param length length of text to place in clipboard * * @exception SWTError, see Clipboard.setContents * @see org.eclipse.swt.dnd.Clipboard.setContents */ void setClipboardContent(int start, int length) throws SWTError { RTFTransfer rtfTransfer = RTFTransfer.getInstance(); TextTransfer plainTextTransfer = TextTransfer.getInstance(); RTFWriter rtfWriter = new RTFWriter(start, length); TextWriter plainTextWriter = new TextWriter(start, length); String rtfText = getPlatformDelimitedText(rtfWriter); String plainText = getPlatformDelimitedText(plainTextWriter); clipboard.setContents( new String[]{rtfText, plainText}, new Transfer[]{rtfTransfer, plainTextTransfer}); } /** * Sets the content implementation to use for text storage. *
* * @param content StyledTextContent implementation to use for text storage. * @exception SWTException
* NOTE: Italic fonts are not supported unless they have no overhang * and the same baseline as regular fonts. *
* * @param font new font * @exception SWTException* NOTE: The horizontal index is reset to 0 when new text is set in the * widget. *
* * @param offset horizontal scroll offset relative to the start * of the line, measured in character increments starting at 0, if * equal to 0 the content is not scrolled, if > 0 = the content is scrolled. * @exception SWTException* NOTE: The horizontal pixel offset is reset to 0 when new text * is set in the widget. *
* * @param pixel horizontal pixel offset relative to the start * of the line. * @exception SWTException* Line background colors are maintained relative to the line text, not the * line index that is specified in this method call. * During text changes, when entire lines are inserted or removed, the line * background colors that are associated with the lines after the change * will "move" with their respective text. An entire line is defined as * extending from the first character on a line to the last and including the * line delimiter. *
** When two lines are joined by deleting a line delimiter, the top line * background takes precedence and the color of the bottom line is deleted. * For all other text changes line background colors will remain unchanged. *
* * @param startLine first line the color is applied to, 0 based * @param lineCount number of lines the color applies to. * @param background line background color * @exception SWTException* * @param start new caret position * @see #setSelection(int,int) * @exception SWTException
* Indexing is zero based. Text selections are specified in terms of * caret positions. In a text widget that contains N characters, there are * N+1 caret positions, ranging from 0..N *
* * @param point x=selection start offset, y=selection end offset * The caret will be placed at the selection start when x > y. * @see #setSelection(int,int) * @exception SWTException* Indexing is zero based. Text selections are specified in terms of * caret positions. In a text widget that contains N characters, there are * N+1 caret positions, ranging from 0..N *
* * @param start selection start offset. The caret will be placed at the * selection start when start > end. * @param end selection end offset * @see #setSelectionRange(int,int) * @exception SWTException* * @param start offset of the first selected character, start >= 0 must be true. * @param length number of characters to select, 0 <= start + length <= getCharCount() * must be true. * A negative length places the caret at the visual start of the selection. * @exception SWTException
* * @param start offset of the first selected character, start >= 0 must be true. * @param length number of characters to select, 0 <= start + length * <= getCharCount() must be true. * A negative length places the caret at the selection start. * @param sendEvent a Selection event is sent when set to true and when * the selection is reset. */ void internalSetSelection(int start, int length, boolean sendEvent) { int end = start + length; if (start > end) { int temp = end; end = start; start = temp; } // is the selection range different or is the selection direction // different? if (selection.x != start || selection.y != end || (length > 0 && selectionAnchor != selection.x) || (length < 0 && selectionAnchor != selection.y)) { clearSelection(sendEvent); if (length < 0) { selectionAnchor = selection.y = end; caretOffset = selection.x = start; } else { selectionAnchor = selection.x = start; caretOffset = selection.y = end; } internalRedrawRange(selection.x, selection.y - selection.x, true); } } /** * Adds the specified style. The new style overwrites existing styles for the * specified range. Existing style ranges are adjusted if they partially * overlap with the new style, To clear an individual style, call setStyleRange * with a StyleRange that has null attributes. *
* Should not be called if a LineStyleListener has been set since the * listener maintains the styles. *
* * @param range StyleRange object containing the style information. * Overwrites the old style in the given range. May be null to delete * all styles. * @exception SWTException* Should not be called if a LineStyleListener has been set since the * listener maintains the styles. *
* * @param ranges StyleRange objects containing the style information. * The ranges should not overlap. The style rendering is undefined if * the ranges do overlap. Must not be null. * @exception SWTException* * @param tabs tab width measured in characters. * @exception SWTException
* Note: Only a single line of text should be set when the SWT.SINGLE * style is used. *
* * @param text new widget content. Replaces existing content. Line styles * that were set using StyledText API are discarded. The * current selection is also discarded. * @exception SWTException* The text limit specifies the amount of text that * the user can type into the widget. *
* * @param limit the new text limit. * @exception SWTException* The top index is the index of the line that is currently at the top * of the widget. The top index changes when the widget is scrolled. * Indexing starts from zero. * Note: The top index is reset to 0 when new text is set in the widget. *
* * @param index new top index. Must be between 0 and * getLineCount() - fully visible lines per page. If no lines are fully * visible the maximum value is getLineCount() - 1. An out of range * index will be adjusted accordingly. * @exception SWTException* The top pixel offset is the vertical pixel offset of the widget. The * widget is scrolled so that the given pixel position is at the top. * The top index is adjusted to the corresponding top line. * Note: The top pixel is reset to 0 when new text is set in the widget. *
* * @param pixel new top pixel offset. Must be between 0 and * (getLineCount() - visible lines per page) / getLineHeight()). An out * of range offset will be adjusted accordingly. * @exception SWTException* * @param pixelOffset the new vertical scroll offset * @param adjustScrollBar * true= the scroll thumb will be moved to reflect the new scroll offset. * false = the scroll thumb will not be moved * @return * true=the widget was scrolled * false=the widget was not scrolled, the given offset is not valid. */ boolean setVerticalScrollOffset(int pixelOffset, boolean adjustScrollBar) { Rectangle clientArea; ScrollBar verticalBar = getVerticalBar(); if (pixelOffset == verticalScrollOffset) { return false; } if (verticalBar != null && adjustScrollBar) { verticalBar.setSelection(pixelOffset); } clientArea = getClientArea(); scroll( 0, 0, // destination x, y 0, pixelOffset - verticalScrollOffset, // source x, y clientArea.width, clientArea.height, true); verticalScrollOffset = pixelOffset; calculateTopIndex(); setCaretLocation(); return true; } /** * Scrolls the specified location into view. *
* * @param x the x coordinate that should be made visible. * @param line the line that should be made visible. Relative to the * first line in the document. * @return * true=the widget was scrolled to make the specified location visible. * false=the specified location is already visible, the widget was * not scrolled. */ boolean showLocation(int x, int line) { int clientAreaWidth = getClientArea().width - leftMargin - rightMargin; int verticalIncrement = getVerticalIncrement(); int horizontalIncrement = clientAreaWidth / 4; boolean scrolled = false; if (x < leftMargin) { // always make 1/4 of a page visible x = Math.max(horizontalScrollOffset * -1, x - horizontalIncrement); scrolled = scrollHorizontalBar(x); } else if (x >= clientAreaWidth) { // always make 1/4 of a page visible x = Math.min(lineCache.getWidth() - horizontalScrollOffset, x + horizontalIncrement); scrolled = scrollHorizontalBar(x - clientAreaWidth); } if (line < topIndex) { scrolled = setVerticalScrollOffset(line * verticalIncrement, true); } else if (line > getBottomIndex()) { scrolled = setVerticalScrollOffset((line + 1) * verticalIncrement - getClientArea().height, true); } return scrolled; } /** * Sets the caret location and scrolls the caret offset into view. */ void showCaret() { int caretLine = content.getLineAtOffset(caretOffset); showCaret(caretLine); } /** * Sets the caret location and scrolls the caret offset into view. */ void showCaret(int caretLine) { int lineOffset = content.getOffsetAtLine(caretLine); String lineText = content.getLine(caretLine); int offsetInLine = caretOffset - lineOffset; int xAtOffset = getXAtOffset(lineText, caretLine, offsetInLine); boolean scrolled = showLocation(xAtOffset, caretLine); boolean setWrapCaretLocation = false; Caret caret = getCaret(); if (wordWrap && caret != null) { int caretY = caret.getLocation().y; if ((caretY + verticalScrollOffset) / getVerticalIncrement() - 1 != caretLine) { setWrapCaretLocation = true; } } if (scrolled == false || setWrapCaretLocation) { // set the caret location if a scroll operation did not set it (as a // sideeffect of scrolling) or when in word wrap mode and the caret // line was explicitly specified (i.e., because getWrapCaretLine does // not return the desired line causing scrolling to not set it correctly) setCaretLocation(xAtOffset, caretLine); } if (isBidi()) { setBidiKeyboardLanguage(); } } /** * Scrolls the specified offset into view. *
* * @param offset offset that should be scolled into view */ void showOffset(int offset) { int line = content.getLineAtOffset(offset); int lineOffset = content.getOffsetAtLine(line); int offsetInLine = offset - lineOffset; String lineText = content.getLine(line); int xAtOffset = getXAtOffset(lineText, line, offsetInLine); showLocation(xAtOffset, line); } /** /** * Scrolls the selection into view. The end of the selection will be scrolled into * view. Note that if a right-to-left selection exists, the end of the selection is the * visual beginning of the selection (i.e., where the caret is located). *
* * @exception SWTException
* * @param isBackspace true=the previous character was deleted, false=the * character next to the caret location was deleted * @param isDirectionBoundary true=the caret is between a R2L and L2R segment, * false=the caret is within a direction segment */ void updateBidiDirection(boolean isBackspace, boolean isDirectionBoundary) { if (isDirectionBoundary) { if (isBackspace) { // Deleted previous character (backspace) at a direction boundary // Go to direction segment of deleted character lastCaretDirection = ST.COLUMN_NEXT; } else { // Deleted next character. Go to direction segment of deleted character lastCaretDirection = ST.COLUMN_PREVIOUS; } } else { if (isBackspace) { // Delete previous character inside direction segment (i.e., not at a direction boundary) lastCaretDirection = ST.COLUMN_PREVIOUS; } else { // Deleted next character. lastCaretDirection = ST.COLUMN_NEXT; } } } /** * Updates the selection and caret position depending on the text change. * If the selection intersects with the replaced text, the selection is * reset and the caret moved to the end of the new text. * If the selection is behind the replaced text it is moved so that the * same text remains selected. If the selection is before the replaced text * it is left unchanged. *
* * @param startOffset offset of the text change * @param replacedLength length of text being replaced * @param newLength length of new text */ void updateSelection(int startOffset, int replacedLength, int newLength) { if (selection.y <= startOffset) { // selection ends before text change return; } if (selection.x < startOffset) { // clear selection fragment before text change internalRedrawRange(selection.x, startOffset - selection.x, true); } if (selection.y > startOffset + replacedLength && selection.x < startOffset + replacedLength) { // clear selection fragment after text change. // do this only when the selection is actually affected by the // change. Selection is only affected if it intersects the change (1GDY217). int netNewLength = newLength - replacedLength; int redrawStart = startOffset + newLength; internalRedrawRange(redrawStart, selection.y + netNewLength - redrawStart, true); } if (selection.y > startOffset && selection.x < startOffset + replacedLength) { // selection intersects replaced text. set caret behind text change internalSetSelection(startOffset + newLength, 0, true); // always update the caret location. fixes 1G8FODP setCaretLocation(); } else { // move selection to keep same text selected internalSetSelection(selection.x + newLength - replacedLength, selection.y - selection.x, true); // always update the caret location. fixes 1G8FODP setCaretLocation(); } } /** * Rewraps all lines *
* * @param oldClientAreaWidth client area width before resize * occurred */ void wordWrapResize(int oldClientAreaWidth) { WrappedContent wrappedContent = (WrappedContent) content; int newTopIndex; // all lines are wrapped and no rewrap required if widget has already // been visible, client area is now wider and visual (wrapped) line // count equals logical line count. if (oldClientAreaWidth != 0 && clientAreaWidth > oldClientAreaWidth && wrappedContent.getLineCount() == logicalContent.getLineCount()) { return; } wrappedContent.wrapLines(); // adjust the top index so that top line remains the same newTopIndex = content.getLineAtOffset(topOffset); // topOffset is the beginning of the top line. therefore it // needs to be adjusted because in a wrapped line this is also // the end of the preceeding line. if (newTopIndex < content.getLineCount() - 1 && topOffset == content.getOffsetAtLine(newTopIndex + 1)) { newTopIndex++; } if (newTopIndex != topIndex) { ScrollBar verticalBar = getVerticalBar(); // adjust index and pixel offset manually instead of calling // setVerticalScrollOffset because the widget does not actually need // to be scrolled. causes flash otherwise. verticalScrollOffset += (newTopIndex - topIndex) * getVerticalIncrement(); // verticalScrollOffset may become negative if first line was // partially visible and second line was top line. prevent this from // happening to fix 8503. if (verticalScrollOffset < 0) { verticalScrollOffset = 0; } topIndex = newTopIndex; topOffset = content.getOffsetAtLine(topIndex); if (verticalBar != null) { verticalBar.setSelection(verticalScrollOffset); } } // caret may be on a different line after a rewrap. // call setCaretLocation after fixing vertical scroll offset. setCaretLocation(); // word wrap may have changed on one of the visible lines super.redraw(); } }