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 - - Load All Authors

File last commit:

r13503:c5d6b353


                r15979:326b5fcd

Download file

             index.rst
        
                    14 lines
            
             | 254 B
            
                | text/x-rst
            
             |
                RstLexer

/ docs / source / config / options / index.rst

History | Annotation | Raw |Copy content |Copy permalink

IPython options

Any of the options listed here can be set in config files, at the command line, or from inside IPython. See :ref:`setting_config` for details.

	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