history-recall ( history i -- )

Vocabulary

ui.tools.listener.history.private

Inputs

history	an object
i	an object

Outputs

None

Definition

USING: accessors kernel sequences ;

IN: ui.tools.listener.history.private

: history-recall ( history i -- )
    over elements>> empty?
    [ 2drop ] [
        [ drop save-history ] [ change-history-index ]
        [ drop update-document ] 2tri
    ] if ;