restart-blinking ( editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

editor

an object

Outputs

None

Definition

USING: accessors kernel ui.gadgets ;

IN: ui.gadgets.editors.private

: restart-blinking ( editor -- )
    dup focused?>>
    [ [ start-blinking ] [ relayout-1 ] bi ] [ drop ] if ;