HTML widget

A Rich UI HTML widget presents an HTML fragment, which might be provided by a service.

The following fields are supported:
The following example is rendered as Rich UI:
package client;

import org.eclipse.edt.rui.widgets.HTML;
import eglx.ui.rui.RUIHandler;

Handler MyHandler type RUIHandler {initialUI = [myHTML]}

   myHTML HTML
   {  text = "Rich UI",       height = 30, width=160    }; 
end

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.HTML;