history-add ( history -- input )

Vocabulary

ui.tools.listener.history

Inputs

history

a history

Outputs

input

an input

Word description

Adds the current input to the history, if not already the most recent history element.

Definition

USING: accessors kernel sequences
ui.tools.listener.history.private ;

IN: ui.tools.listener.history

: history-add ( history -- input )
    dup current-input
    [ nip ] [
        [
            over elements>>
            [ push-if-not-last ] [ length >>index drop ] bi
        ] keep
    ] if ;