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

Reload list after creating a new folder in promises....

Reload list after creating a new folder in promises. No need to reload session (I doubt creating a new folder create a session), and does it once the creation drive promise return which make the new directory appear in the listing for slow remote-backend (like google drive)

Jonathan Frederic - - Load All Authors

File last commit:

r16937:85c6f87f


                r19983:aa964bbe

Download file

             mixins.less
        
                    19 lines
            
             | 289 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: @border-radius-base;

      }

      .border-radius(@radius) {

        border-radius: @radius;

      }

      .no-padding {

          padding: 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

				// Mixin CSS classes

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

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

				.border-radius(@radius) {
				border-radius: @radius;
				}

				.no-padding {
				padding: 0px;
				}