##// END OF EJS Templates
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.

File last commit:

r16912:30744239
r20080:52d92404
Show More
completer.less
25 lines | 501 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .completions {
position: absolute;
z-index: 10;
overflow: hidden;
border: 1px solid @border_color;
Brian E. Granger
More tabs to spaces on less files.
r13696 .corner-all;
.box-shadow(0px 6px 10px -1px #adadad);
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
.completions select {
background: white;
outline: none;
border: none;
padding: 0px;
margin: 0px;
overflow: auto;
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 font-family: @font-family-monospace;
Brian E. Granger
More tabs to spaces on less files.
r13696 font-size: 110%;
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 color: @text-color;
Jonathan Frederic
Move width auto into less
r15960 width: auto;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
.completions select option.context {
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 color: darken(@brand-primary, 10%);
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }