timer-dispatch ( source callback user_data -- ? )

Vocabulary

ui.backend.gtk2

Inputs

source	an object
callback	an object
user_data	an object

Outputs

?

an object

Definition

USING: kernel threads ;

IN: ui.backend.gtk2

: timer-dispatch ( source callback user_data -- ? )
    3drop yield t ;