A Rich UI HTML widget presents an HTML fragment, which might be provided by a service.
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.”
import org.eclipse.edt.rui.widgets.HTML;