[previous] [up] [next]     [contents] [index]
Next: get-graphical-min-size Up: mred:single-panel Previous: default-border-width

delete-child

Removes a child from the panel's list of children and updates the display.



PLT