##// 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:

r2045:2b04bcfb
r3079:ba4b5e81
Show More
shadowns.py
1 line | 24 B | text/x-python | PythonLexer
""" Shadow namespace """