##// 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
/ IPython / html / tests / notebook
arrow_keys.js Loading ...
display_image.js Loading ...
empty_arrow_keys.js Loading ...
execute_code.js Loading ...
inject_js.js Loading ...
interrupt.js Loading ...
isolated_svg.js Loading ...
markdown.js Loading ...
merge_cells.js Loading ...
roundtrip.js Loading ...
safe_append_output.js Loading ...
save.js Loading ...
shutdown.js Loading ...
tooltip.js Loading ...