##// END OF EJS Templates
Separate get_session_info between HistoryAccessor and HistoryManager...
Separate get_session_info between HistoryAccessor and HistoryManager HistoryAccessor has no concept of the current session, whereas HistoryManager does. HistoryAccessor should therefore always be used with a session number > 0. However, I have added get_last_session_id() to HistoryAccessor to make it easier to work with recent history. Closes gh-5348
Thomas Kluyver -
r15979:326b5fcd
Show More
Name Size Modified Last Commit Author
/ tools
alldeps
backport_pr.py Loading ...
build_release Loading ...
check_sources.py Loading ...
gh_api.py Loading ...
git-mpr.py Loading ...
git-mrb Loading ...
github_stats.py Loading ...
gitwash_dumper.py Loading ...
make_tarball.py Loading ...
mknbindex.py Loading ...
post_pr_test.py Loading ...
release Loading ...
release_windows.py Loading ...
run_ipy_in_profiler.py Loading ...
test_pr.py Loading ...
testupload Loading ...
toollib.py Loading ...
update_whatsnew.py Loading ...