upstream/ipython Files · IPython/html/static/notebook/less/savewidget.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

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

      span#save_widget {

          padding: 0px 5px;

          margin-top: 12px;

      }

      span#checkpoint_status, span#autosave_status {

          font-size: small;

      }

      @media (max-width: 767px) {

          span#save_widget {

              font-size: small;

          }

          span#checkpoint_status, span#autosave_status {

              font-size: x-small;

          }

      }

      @media (max-width: 767px) {

          span#checkpoint_status, span#autosave_status {

              display: none;

          }

      }

      @media (min-width: 768px) and (max-width: 979px) {

          span#checkpoint_status {

              display: none;

          }

          span#autosave_status {

              font-size: x-small;

          }

      }

	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

				span#save_widget {
				padding: 0px 5px;
				margin-top: 12px;
				}

				span#checkpoint_status, span#autosave_status {
				font-size: small;
				}

				@media (max-width: 767px) {
				span#save_widget {
				font-size: small;
				}
				span#checkpoint_status, span#autosave_status {
				font-size: x-small;
				}
				}

				@media (max-width: 767px) {
				span#checkpoint_status, span#autosave_status {
				display: none;
				}
				}

				@media (min-width: 768px) and (max-width: 979px) {
				span#checkpoint_status {
				display: none;
				}
				span#autosave_status {
				font-size: x-small;
				}
				}