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;