A Rich UI grouping widget is a rectangle that embeds one or more widgets and that displays text in the topmost border.
package client; import org.eclipse.edt.rui.widgets.CheckBox; import org.eclipse.edt.rui.widgets.Grouping; handler MyHandler type RUIHandler{initialUI =[myGrouping]} myCheckbox checkbox{}; myGrouping Grouping {text = "Test", backgroundColor = "yellow", width = 100, children = [myCheckbox]}; 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.Grouping;