##// END OF EJS Templates
Backport PR #8271: Allow to set same mode as existing if load fails....
Backport PR #8271: Allow to set same mode as existing if load fails. Setting the mode many times in a row, would fail to actually set the mode if it was failing to load the mode the first time. The prevent the above behavior by falling back **explicitly** to 'null' if mode does not exist yet, or can't be loaded. ...

File last commit:

r19666:482edf5b
r21463:d66c4462
Show More
kernelselector.less
10 lines | 185 B | text/x-less | LessCssLexer
Min RK
remove kernel selector from header...
r19596 #kernel_logo_widget {
.pull-right();
Thomas Kluyver
Use double resolution logo to support hires displays
r19378
Min RK
add text placeholder for kernels with no logo...
r19597 .current_kernel_logo {
display: none;
Min RK
remove kernel selector from header...
r19596 .navbar-vertical-align(32px);
Thomas Kluyver
Use double resolution logo to support hires displays
r19378 width: 32px;
height: 32px;
}
Thomas Kluyver
Style kernel name
r17372 }