A Rich UI span lets you display a string that the user cannot change. The widget is different from a text label because inclusion of an HTML segment (such as <b>this boldfaced code</b>) causes the display of HTML-coded content such as this boldfaced code.
package client;
import org.eclipse.edt.rui.widgets.Div;
import org.eclipse.edt.rui.widgets.Span;
handler MyHandler type RUIHandler{initialUI =[myDiv]}
myDiv Div{children = [mySpan01, mySpan02, mySpan03]};
mySpan01 Span{text = "mix blue ", color = "blue"};
mySpan02 Span{text = " and yellow ",
backgroundColor = "black", color = "yellow"};
mySpan03 Span{text = " to see green", color = "green"};
end
The main supported property is text, which takes the string to display.
Other supported fields and functions are described in the following topics in the EGL Programmer’s Guide: “Rich UI widget fields” and ”Rich UI widget functions.”
import org.eclipse.edt.rui.widgets.Span;