read-history ( -- elements )

Vocabulary

ui.tools.listener.history

Inputs

None

Outputs

elements

an object

Definition

USING: io.encodings.utf8 io.files io.styles kernel sequences
strings.parser ;

IN: ui.tools.listener.history

: read-history ( -- elements )
    history-file file-exists? [
        history-file utf8 file-lines
        [ unescape-string <input> ] V{ } map-as
    ] [ V{ } clone ] if ;