USING: help.markup help.syntax io.styles ;
IN: ui.tools.listener.history

HELP: history-add
{ $values { "history" history } { "input" input } }
{ $description "Adds the current input to the history, if not already the most recent history element." } ;
