upstream/ipython Files · docs/source/development/gitwash

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

Name	Size	Modified	Last Commit	Author
/ docs / source / development / gitwash
branch_list.png	Loading ...
branch_list_compare.png	Loading ...
configure_git.rst	Loading ...
development_workflow.rst	Loading ...
following_latest.rst	Loading ...
forking_button.png	Loading ...
forking_hell.rst	Loading ...
git_development.rst	Loading ...
git_install.rst	Loading ...
git_links.txt	Loading ...
git_resources.rst	Loading ...
index.rst	Loading ...
patching.rst	Loading ...
pull_button.png	Loading ...
set_up_fork.rst	Loading ...

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages