def get_history_length(self ):
        return self._history.get_history_length()
Return the desired length of the history file.
dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/site-packages/pyreadline/rlmain.py/Readline.get_history_length