stop-drag-timer ( -- )

Vocabulary

ui.gestures

Inputs

None

Outputs

None

Definition

USING: boxes kernel namespaces sequences timers ;

IN: ui.gestures

: stop-drag-timer ( -- )
    hand-buttons get-global empty?
    [ drag-timer get-global ?box [ stop-timer ] [ drop ] if ]
    when ;