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

             variables.less
        
                    10 lines
            
             | 300 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / base / less / variables.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      // Our customizations to bootstrap go here.

      @textColor:             @black;

      @baseFontSize:          13px;

      @monoFontFamily:        monospace;  // to allow user to customize their fonts

      @navbarHeight:          36px;

      // Our own global variables for all pages go here

      @code_line_height:      1.231em;

	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

				// Our customizations to bootstrap go here.

				@textColor: @black;
				@baseFontSize: 13px;
				@monoFontFamily: monospace; // to allow user to customize their fonts
				@navbarHeight: 36px;

				// Our own global variables for all pages go here

				@code_line_height: 1.231em;