##// END OF EJS Templates
Backport PR #2270: SSHLauncher tweaks...
Backport PR #2270: SSHLauncher tweaks * use pipes.quote on SSH commands * default SSHEngineSetLauncher to `ipengine` instead of import-based command. This is actually the intended behavior, and only brings EngineSet inline with SSHEngine and SSHController, which both use the simplified command. * Should be backported to 0.13.1 * Must be not be merged before #2269

File last commit:

r5878:b0954abb
r8377:25ab8ce5
Show More
printnotebook.css
5 lines | 197 B | text/css | CssLexer
body { overflow: visible !important; }
div#notebook { overflow: visible !important; }
.ui-widget-content { border: 0px; }
#save_widget {margin: 0px !important;}
#header {display: none !important;}