update-ui ( -- )

Vocabulary

ui.private

Inputs

None

Outputs

None

Definition

USING: ui.gadgets.private ;

IN: ui.private

: update-ui ( -- )
    notify-queued layout-queued redraw-worlds
    send-queued-gestures ;