##// END OF EJS Templates
Use default OS shell to run system commands...
Use default OS shell to run system commands Instead of using os.system which uses /bin/sh, this uses subprocess.call (the replacement of os.system) to run the command using the default shell of the OS. With this, one can use more advanced commands for bash, zsh, ksh, ... I do not have a win32 system to test this modification, so maybe line 2236 can also be changed like 2239.

File last commit:

r11033:fa36e98f
r12217:56bf2f98
Show More
cell.less
29 lines | 725 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .cell {
border: 1px solid transparent;
.vbox();
&.selected {
.corner-all;
border : thin @border_color solid;
}
}
div.cell {
width: 100%;
padding: 5px 5px 5px 0px;
/* This acts as a spacer between cells, that is outside the border */
MinRK
menubar not full-width...
r10970 margin: 2px 0px 2px 7px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 outline: none;
}
div.prompt {
/* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
width: 11ex;
/* This 0.4em is tuned to match the padding on the CodeMirror editor. */
padding: 0.4em;
margin: 0px;
font-family: @monoFontFamily;
text-align: right;
/* This has to match that of the the CodeMirror class line-height below */
MinRK
bootstrap tree
r10891 line-height: @code_line_height;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }