Rich UI Grouping
A Rich UI grouping widget displays one or more widgets inside a box. In addition to those widgets, you specify text that is embedded in the topmost border of the box.
The following properties are supported:
- text, which holds a string for display in the topmost border of the box.
- contents, which represents a Div tag.
You can set the children by assigning widgets to contents.children,
as shown here:
import com.ibm.egl.rui.widgets.CheckBox; import com.ibm.egl.rui.widgets.Grouping; handler MyOne type RUIHandler{initialUI =[myGrouping]} myCheckbox checkbox{}; myGrouping Grouping {text = "Test", backgroundColor = "yellow", width = 100, contents.children = [myCheckbox]}; end
Supported properties and functions are described in “Widget properties and functions.”
Use of this widget requires the following statement:
import com.ibm.egl.rui.widgets.Grouping;