stop-blinking ( editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

editor

an object

Outputs

None

Definition

USING: accessors kernel timers ;

IN: ui.gadgets.editors.private

: stop-blinking ( editor -- )
    blink-timer>> [ stop-timer ] when* ;