search

prompt-toolkit / python-prompt-toolkit

Library for building powerful interactive command line applications in Python
https://python-prompt-toolkit.readthedocs.io/
BSD 3-Clause "New" or "Revised" License
9.1k stars 717 forks source link

Bounded file history #1819

Open robamu opened 7 months ago

robamu commented 7 months ago

This limits the number of history entries which are loaded on a complete reload. It probably would also be possible to truncate the in-memory history, but I have not done that for now..

robamu commented 7 months ago

Not exactly sure what the MyPy error is here. Looks like https://github.com/python/mypy/issues/12246 .. which should have been fixed a long time ago by https://github.com/python/mypy/pull/12254