def set_history_length(self, length):
        self._history.set_history_length(length)
Set the number of lines to save in the history file.
dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/site-packages/pyreadline/rlmain.py/Readline.set_history_length