Handbook
Glossary
history-recall-previous ( history -- )
Vocabulary
ui
.
tools
.
listener
.
history
Inputs
history
an
object
Outputs
None
Definition
USING:
ui.tools.listener.history.private
;
IN:
ui.tools.listener.history
:
history-recall-previous
( history -- )
-1
history-recall
;