TenjintShell.history\_length ============================ .. currentmodule:: tenjint.plugins.interactive .. autoattribute:: TenjintShell.history_length