clean-up-broken-window ( world -- )

Vocabulary

ui.private

Inputs

world

an object

Outputs

None

Definition

USING: accessors combinators combinators.short-circuit kernel
ui.backend ui.gadgets.worlds ;

IN: ui.private

: clean-up-broken-window ( world -- )
    {
        [
            dup { [ focused?>> ] [ grab-input?>> ] } 1&&
            [ handle>> (ungrab-input) ] [ drop ] if
        ]
        [ dispose-world-render-state ]
        [ handle>> (close-window) ]
    } cleave ;