Paned.setEndChild
void setEndChild(gtk.widget.Widget child = null)Sets the end child of paned to child.
If child is NULL, the existing child will be removed.
Parameters
child | the widget to add |
void setEndChild(gtk.widget.Widget child = null)Sets the end child of paned to child.
If child is NULL, the existing child will be removed.
child | the widget to add |