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

Work around a bug in setting and getting the mtime in python 2...

Work around a bug in setting and getting the mtime in python 2 See http://bugs.python.org/issue12904. Basically, we can get the mtime in nanosecond precision, but only set it in microsecond precision. This means that the shutil.copy2 will not set the destination's mtime to exactly the same mtime as our source. The end result is that we can *always* end up copying the extension because the source always appears newer. We add a microsecond of fudge time when checking to see if the source is newer than the destination to get around this. This bug is fixed in Python 3.3+, I believe.

Jonathan Frederic - - Load All Authors

File last commit:

r16912:30744239


                r20080:52d92404

Download file

             completer.less
        
                    25 lines
            
             | 501 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / completer.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      .completions {

          position: absolute;

          z-index: 10;

          overflow: hidden;

          border: 1px solid @border_color;

          .corner-all;

          .box-shadow(0px 6px 10px -1px #adadad);

      }

      .completions select {

          background: white;

          outline: none;

          border: none;

          padding: 0px;

          margin: 0px;

          overflow: auto;

          font-family: @font-family-monospace;

          font-size: 110%;

          color: @text-color;

          width: auto;

      }

      .completions select option.context {

          color: darken(@brand-primary, 10%);

      }

	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

				.completions {
				position: absolute;
				z-index: 10;
				overflow: hidden;
				border: 1px solid @border_color;
				.corner-all;
				.box-shadow(0px 6px 10px -1px #adadad);
				}

				.completions select {
				background: white;
				outline: none;
				border: none;
				padding: 0px;
				margin: 0px;
				overflow: auto;
				font-family: @font-family-monospace;
				font-size: 110%;
				color: @text-color;
				width: auto;
				}

				.completions select option.context {
				color: darken(@brand-primary, 10%);
				}