upstream/ipython Files · IPython/html/static/base/less/mixins.less

Store timestamps for modules to autoreload...

Store timestamps for modules to autoreload Closes gh-4127 At present, autoreload compares the timestamps on .py and .pyc files. However, this can fail in a couple of ways (see gh-4127). With this change, it caches the mtime of the .py file when we loaded it. Some extra complexity is needed to store the mtime as soon as possible - we scan sys.modules when autoreload is loaded, and register a post_execute hook to check for newly imported modules after each cell.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r13547:34cf349f


                r15682:3ec67fcd

Download file

             mixins.less
        
                    11 lines
            
             | 197 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / base / less / mixins.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      // Mixin CSS classes

      .border-box-sizing {

          box-sizing: border-box;

          -moz-box-sizing: border-box;

          -webkit-box-sizing: border-box;

      }

      .corner-all {

          border-radius: @baseBorderRadius;

      }

	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

				// Mixin CSS classes

				.border-box-sizing {
				box-sizing: border-box;
				-moz-box-sizing: border-box;
				-webkit-box-sizing: border-box;
				}

				.corner-all {
				border-radius: @baseBorderRadius;
				}