Vocabulary
ui.gadgets.worlds

Inputs
worlda world


Outputs
None

Word description
Redraws a world.

Notes
This word should only be called by the UI backend. To force a gadget to redraw from user code, call relayout-1.

Definition