##// END OF EJS Templates
Shut down kernels in parallel...
Shut down kernels in parallel When stopping the notebook server, it currently sends a shutdown request to each kernel and then waits for the process to finish. This can be slow if you have several kernels running. This makes it issues all the shutdown requests before waiting on the processes, so shutdown happens in parallel. KernelManager (and MultiKernelManager) gain three new public API methods to allow this: * request_shutdown (promoted from a private method) * wait_shutdown (refactored out of shutdown_kernel) * cleanup (refactored out of shutdown_kernel)

File last commit:

r11033:fa36e98f
r16510:633371e5
Show More
tooltip.less
158 lines | 3.0 KiB | text/x-less | LessCssLexer
/**
* Primary styles
*
* Author: IPython Development Team
*/
/** WARNING IF YOU ARE EDITTING THIS FILE, if this is a .css file, It has a lot
* of chance of beeing generated from the ../less/[samename].less file, you can
* try to get back the less file by reverting somme commit in history
**/
/*
* We'll try to get something pretty, so we
* have some strange css to have the scroll bar on
* the left with fix button on the top right of the tooltip
*/
// double slash comment are remove by less compilation
// **
// * Less mixins
// **/
// Four color of the background
@import "variables" ;
.dropshadow(){
-moz-box-shadow: 0px 6px 10px -1px #adadad;
-webkit-box-shadow: 0px 6px 10px -1px #adadad;
box-shadow: 0px 6px 10px -1px #adadad;
}
// smoth height adaptation
.smoothheight(@t:500ms) {
-webkit-transition-property: height;
-webkit-transition-duration: @t;
-moz-transition-property: height;
-moz-transition-duration: @t;
transition-property: height;
transition-duration: @t;
}
@-moz-keyframes fadeOut {
from {opacity:1;}
to {opacity:0;}
}
@-webkit-keyframes fadeOut {
from {opacity:1;}
to {opacity:0;}
}
@-moz-keyframes fadeIn {
from {opacity:0;}
to {opacity:1;}
}
@-webkit-keyframes fadeIn {
from {opacity:0;}
to {opacity:1;}
}
/*properties of tooltip after "expand"*/
.bigtooltip {
overflow: auto;
height: 200px;
.smoothheight();
}
/*properties of tooltip before "expand"*/
.smalltooltip{
.smoothheight();
text-overflow: ellipsis;
overflow: hidden;
height:80px;
}
.tooltipbuttons
{
position: absolute;
padding-right : 15px;
top : 0px;
right:0px;
}
.tooltiptext
{
/*avoid the button to overlap on some docstring*/
padding-right:30px
}
.ipython_tooltip {
max-width:700px;
/*fade-in animation when inserted*/
-webkit-animation: fadeOut 400ms;
-moz-animation: fadeOut 400ms;
animation: fadeOut 400ms;
-webkit-animation: fadeIn 400ms;
-moz-animation: fadeIn 400ms;
animation: fadeIn 400ms;
vertical-align: middle;
background-color: @cell_background;
overflow : visible;
border: @border_color @border_width solid;
outline: none;
padding: 3px;
margin: 0px;
padding-left:7px;
font-family: @monoFontFamily;
min-height:50px;
.dropshadow;
.corner-all;
a {
float:right;
};
position: absolute;
z-index: 2;
.tooltiptext {
pre {
border: 0;
.border-radius(0);
font-size: 100%;
background-color: @cell_background;
}
}
}
.pretooltiparrow {
left: 0px;
margin: 0px;
top: -16px;
width: 40px;
height: 16px;
overflow: hidden;
position: absolute;
}
.pretooltiparrow:before {
background-color : @cell_background;
border : @border_width @border_color solid;
z-index:11;
content: "";
position: absolute;
left: 15px;
top: 10px;
width: 25px;
height: 25px;
@theta : 45deg;
-webkit-transform: rotate(@theta);
-moz-transform: rotate(@theta);
-ms-transform: rotate(@theta);
-o-transform: rotate(@theta);
}