upstream/ipython Files · IPython/html/static/notebook/less/toolbar.less

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

MinRK - - Load All Authors

File last commit:

r11033:fa36e98f


                r15979:326b5fcd

Download file

             toolbar.less
        
                    33 lines
            
             | 586 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / toolbar.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      .toolbar {

          padding: 0px 10px;

          margin-top: -5px;

          select, label {

              width: auto;

              height: @baseLineHeight + 6px;

              vertical-align:middle;

              margin-right:2px;

              margin-bottom:0px;

              display: inline;

              font-size: 92%;

              margin-left:0.3em;

              margin-right:0.3em;

              padding: 0px;

              padding-top: 3px;

          }

          .btn {

              padding: 2px 8px;

          }

      }

      .toolbar .btn-group {

        margin-top: 0px;

      }

      .toolbar-inner {

        border: none !important;

        .box-shadow(none) !important;

      }

      #maintoolbar {

        margin-bottom: 0px;

      }

	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

				.toolbar {
				padding: 0px 10px;
				margin-top: -5px;

				select, label {
				width: auto;
				height: @baseLineHeight + 6px;
				vertical-align:middle;
				margin-right:2px;
				margin-bottom:0px;
				display: inline;
				font-size: 92%;
				margin-left:0.3em;
				margin-right:0.3em;
				padding: 0px;
				padding-top: 3px;
				}
				.btn {
				padding: 2px 8px;
				}
				}

				.toolbar .btn-group {
				margin-top: 0px;
				}

				.toolbar-inner {
				border: none !important;
				.box-shadow(none) !important;
				}

				#maintoolbar {
				margin-bottom: 0px;
				}