save-history ( history -- )


Vocabulary
ui.tools.listener.history.private

Inputs
historyan object


Outputs
None

Definition