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

change-children

Makes arbitrary changes to the panel's list of children and updates the display.



PLT