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

Simplify caching of modules from %run-ing scripts....

Simplify caching of modules from %run-ing scripts. Previously, we cleared and re-used a single FakeModule instance in which to run cells, and cached copies of the modules' namespaces to prevent them from being cleared. Now, we cache one FakeModule instance per script file, clearing it and re-using it if the same script is re-run. This seems more robust. Closes gh-3547

MinRK - - Load All Authors

File last commit:

r11033:fa36e98f


                r11207:279211b6

Download file

             notificationwidget.less
        
                    10 lines
            
             | 224 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / notificationwidget.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      .notification_widget{

          color: @navbarLinkColor;

          padding: 1px 12px;

          margin: 2px 4px;

          z-index: 10;

          border: 1px solid #ccc;

          border-radius: @corner_radius;

          background: rgba(240, 240, 240, 0.5);

      }

	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

				.notification_widget{
				color: @navbarLinkColor;
				padding: 1px 12px;
				margin: 2px 4px;
				z-index: 10;
				border: 1px solid #ccc;
				border-radius: @corner_radius;
				background: rgba(240, 240, 240, 0.5);

				}