##// END OF EJS Templates
Allow to set same mode as existing if load fails....
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. Also, don't set to null mode if mode have changed Or if kernel.js have changed the mode, we re-set it to null...

File last commit:

r19666:482edf5b
r21195:1fe13404
Show More
kernelselector.less
10 lines | 185 B | text/x-less | LessCssLexer
#kernel_logo_widget {
.pull-right();
.current_kernel_logo {
display: none;
.navbar-vertical-align(32px);
width: 32px;
height: 32px;
}
}