##// END OF EJS Templates
Created HistoryManager to better organize history control....
Created HistoryManager to better organize history control. This will put in a single location all history-related operations, and allow us to simplify the main classes further. Readline dependencies remain (for history saving/loading), this is only a first refactoring step.

File last commit:

r2009:2a0ba18d
r3079:ba4b5e81
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer