/**
* Sets the receiver's text.
*
* <p>The string can contain both regular text and hyperlinks. A hyperlink is delimited by an
* anchor tag, <A> and </A>. Within an anchor, a single HREF attribute is supported.
* When a hyperlink is selected, the text field of the selection event contains either the text of
* the hyperlink or the value of its HREF, if one was specified. In the rare case of identical
* hyperlinks within the same string, the HREF attribute can be used to distinguish between them.
* The string may include the mnemonic character and line delimiters. The only delimiter the HREF
* attribute supports is the quotation mark (").
*
* <p>Mnemonics are indicated by an '&' that causes the next character to be the mnemonic. The
* receiver can have a mnemonic in the text preceding each link. When the user presses a key
* sequence that matches the mnemonic, focus is assigned to the link that follows the text.
* Mnemonics in links and in the trailing text are ignored. On most platforms, the mnemonic
* appears underlined but may be emphasised in a platform specific manner. The mnemonic indicator
* character '&' can be escaped by doubling it in the string, causing a single '&' to be
* displayed.
*
* @param string the new text
* @exception IllegalArgumentException
* <ul>
* <li>ERROR_NULL_ARGUMENT - if the text is null
* </ul>
*
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public void setText(String string) {
checkWidget();
if (string == null) error(SWT.ERROR_NULL_ARGUMENT);
if (string.equals(text)) return;
text = string;
layout.setText(parse(string));
focusIndex = offsets.length > 0 ? 0 : -1;
selection.x = selection.y = -1;
boolean enabled = (state & DISABLED) == 0;
TextStyle linkStyle = new TextStyle(null, enabled ? linkColor : disabledColor, null);
linkStyle.underline = true;
int[] bidiSegments = new int[offsets.length * 2];
for (int i = 0; i < offsets.length; i++) {
Point point = offsets[i];
layout.setStyle(linkStyle, point.x, point.y);
bidiSegments[i * 2] = point.x;
bidiSegments[i * 2 + 1] = point.y + 1;
}
layout.setSegments(bidiSegments);
TextStyle mnemonicStyle = new TextStyle(null, null, null);
mnemonicStyle.underline = true;
for (int i = 0; i < mnemonics.length; i++) {
int mnemonic = mnemonics[i];
if (mnemonic != -1) {
layout.setStyle(mnemonicStyle, mnemonic, mnemonic);
}
}
redraw();
}
public Point computeSize(int wHint, int hHint, boolean changed) {
checkWidget();
Point size = super.computeSize(wHint, hHint, changed);
if (wHint != SWT.DEFAULT && wHint < 0) wHint = 0;
if (hHint != SWT.DEFAULT && hHint < 0) hHint = 0;
boolean scrollable = OS.gtk_notebook_get_scrollable(handle);
OS.gtk_notebook_set_scrollable(handle, false);
Point notebookSize = computeNativeSize(handle, wHint, hHint, changed);
OS.gtk_notebook_set_scrollable(handle, scrollable);
size.x = Math.max(notebookSize.x, size.x);
size.y = Math.max(notebookSize.y, size.y);
return size;
}
@Override
long /*int*/ gtk_button_press_event(long /*int*/ widget, long /*int*/ event) {
long /*int*/ result = super.gtk_button_press_event(widget, event);
if (result != 0) return result;
GdkEventButton gdkEvent = new GdkEventButton();
OS.memmove(gdkEvent, event, GdkEventButton.sizeof);
if (gdkEvent.button == 1 && gdkEvent.type == OS.GDK_BUTTON_PRESS) {
if (focusIndex != -1) setFocus();
int x = (int) gdkEvent.x;
int y = (int) gdkEvent.y;
if ((style & SWT.MIRRORED) != 0) x = getClientWidth() - x;
int offset = layout.getOffset(x, y, null);
int oldSelectionX = selection.x;
int oldSelectionY = selection.y;
selection.x = offset;
selection.y = -1;
if (oldSelectionX != -1 && oldSelectionY != -1) {
if (oldSelectionX > oldSelectionY) {
int temp = oldSelectionX;
oldSelectionX = oldSelectionY;
oldSelectionY = temp;
}
Rectangle rect = layout.getBounds(oldSelectionX, oldSelectionY);
redraw(rect.x, rect.y, rect.width, rect.height, false);
}
for (int j = 0; j < offsets.length; j++) {
Rectangle[] rects = getRectangles(j);
for (int i = 0; i < rects.length; i++) {
Rectangle rect = rects[i];
if (rect.contains(x, y)) {
focusIndex = j;
redraw();
return result;
}
}
}
}
return result;
}
@Override
long /*int*/ gtk_motion_notify_event(long /*int*/ widget, long /*int*/ event) {
long /*int*/ result = super.gtk_motion_notify_event(widget, event);
if (result != 0) return result;
GdkEventMotion gdkEvent = new GdkEventMotion();
OS.memmove(gdkEvent, event, GdkEventMotion.sizeof);
int x = (int) gdkEvent.x;
int y = (int) gdkEvent.y;
if ((style & SWT.MIRRORED) != 0) x = getClientWidth() - x;
if ((gdkEvent.state & OS.GDK_BUTTON1_MASK) != 0) {
int oldSelection = selection.y;
selection.y = layout.getOffset(x, y, null);
if (selection.y != oldSelection) {
int newSelection = selection.y;
if (oldSelection > newSelection) {
int temp = oldSelection;
oldSelection = newSelection;
newSelection = temp;
}
Rectangle rect = layout.getBounds(oldSelection, newSelection);
redraw(rect.x, rect.y, rect.width, rect.height, false);
}
} else {
for (int j = 0; j < offsets.length; j++) {
Rectangle[] rects = getRectangles(j);
for (int i = 0; i < rects.length; i++) {
Rectangle rect = rects[i];
if (rect.contains(x, y)) {
setCursor(display.getSystemCursor(SWT.CURSOR_HAND));
return result;
}
}
}
setCursor(null);
}
return result;
}