upstream/ipython Files · IPython/html/static/widgets/js

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
/ IPython / html / static / widgets / js
init.js	Loading ...
manager.js	Loading ...
widget.js	Loading ...
widget_bool.js	Loading ...
widget_button.js	Loading ...
widget_container.js	Loading ...
widget_float.js	Loading ...
widget_image.js	Loading ...
widget_int.js	Loading ...
widget_selection.js	Loading ...
widget_selectioncontainer.js	Loading ...
widget_string.js	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