Span widget

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.

Here is an example:
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.”

Use of this widget requires the following statement:
import org.eclipse.edt.rui.widgets.Span;