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

r2592:01435682
r3079:ba4b5e81
Show More
.gitignore
6 lines | 72 B | text/plain | TextLexer
docs/dist
docs/build/*
docs/source/api/generated
*.pyc
build
*.egg-info