Sets up the command history, and starts regular autosaves.
(self)
| 1798 | #------------------------------------------------------------------------- |
| 1799 | |
| 1800 | def init_history(self): |
| 1801 | """Sets up the command history, and starts regular autosaves.""" |
| 1802 | self.history_manager = HistoryManager(shell=self, parent=self) |
| 1803 | self.configurables.append(self.history_manager) |
| 1804 | |
| 1805 | #------------------------------------------------------------------------- |
| 1806 | # Things related to exception handling and tracebacks (not debugging) |