append-history ( history -- )


Vocabulary
ui.tools.listener.history

Inputs
historyan object


Outputs
None

Definition