##// END OF EJS Templates
fix IPython.embed...
fix IPython.embed without this change, IPython.embed throws the following traceback: File "explete.py", line 9, in dump_inputs IPython.embed() File "/home/pi/code/ipython/IPython/terminal/embed.py", line 287, in embed config = load_default_config() File "/home/pi/code/ipython/IPython/terminal/ipapp.py", line 379, in load_default_config for cf in Application._load_config_files("ipython_config", path=profile_dir): File "/home/pi/code/ipython/IPython/config/application.py", line 527, in _load_config_files log.debug("Loaded config file: %s", loader.full_filename) AttributeError: 'NoneType' object has no attribute 'debug' @Carreau was the last to poke around in this part of the code, so pinging him, just in case

File last commit:

r13778:009e7713
r14174:2c0e86ab
Show More
flexbox.less
103 lines | 1.7 KiB | text/x-less | LessCssLexer
/* Flexible box model classes */
/* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
.hbox {
display: -webkit-box;
-webkit-box-orient: horizontal;
-webkit-box-align: stretch;
display: -moz-box;
-moz-box-orient: horizontal;
-moz-box-align: stretch;
display: box;
box-orient: horizontal;
box-align: stretch;
}
.hbox > * {
-webkit-box-flex: 0;
-moz-box-flex: 0;
box-flex: 0;
}
.vbox {
display: -webkit-box;
-webkit-box-orient: vertical;
-webkit-box-align: stretch;
display: -moz-box;
-moz-box-orient: vertical;
-moz-box-align: stretch;
display: box;
box-orient: vertical;
box-align: stretch;
/* width must be 100% to force FF to behave like webkit */
width: 100%;
}
.vbox > * {
-webkit-box-flex: 0;
-moz-box-flex: 0;
box-flex: 0;
}
.reverse {
-webkit-box-direction: reverse;
-moz-box-direction: reverse;
box-direction: reverse;
}
.box-flex0 {
-webkit-box-flex: 0;
-moz-box-flex: 0;
box-flex: 0;
}
.box-flex1 {
-webkit-box-flex: 1;
-moz-box-flex: 1;
box-flex: 1;
}
.box-flex {
.box-flex1();
}
.box-flex2 {
-webkit-box-flex: 2;
-moz-box-flex: 2;
box-flex: 2;
}
.box-group1 {
-webkit-box-flex-group: 1;
-moz-box-flex-group: 1;
box-flex-group: 1;
}
.box-group2 {
-webkit-box-flex-group: 2;
-moz-box-flex-group: 2;
box-flex-group: 2;
}
.start {
-webkit-box-pack: start;
-moz-box-pack: start;
box-pack: start;
}
.end {
-webkit-box-pack: end;
-moz-box-pack: end;
box-pack: end;
}
.center {
-webkit-box-pack: center;
-moz-box-pack: center;
box-pack: center;
}