Extracted from Pike v7.4 release 341 at 2005-11-21.
pike.ida.liu.se
[Top]
predef::
Tools
Tools.Hilfe
Tools.Hilfe.StdinHilfe

Method Tools.Hilfe.StdinHilfe()->save_history()


Method save_history

void save_history()

Description

Saves the user input history, if possible, when called.