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;