##// END OF EJS Templates
Handle kernel messages synchronously...
Handle kernel messages synchronously A problem can happen when two messages come in for different comms, where the second depends on the first (for example, the first might be a message setting the state of a widget, and the second triggering a view creation for the widget). Since comm message queues are independent of each other, the second message could be executed before the first message. This exposes a more fundamental assumption users are likely to have that messages from python are processed synchronously. Thanks to @dmadeka for reporting an error that led to discovering this issue.

File last commit:

r19707:3d6485bd
r20621:f936f880
Show More
toolbar.less
52 lines | 878 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .toolbar {
Jonathan Frederic
Lots of small alignment tweaks to get Bootstrap3 looking better
r16937 padding: 0px;
margin-left: -5px;
Matthias Bussonnier
remove whitespace below menubar when toolbar hidden....
r19707 margin-top: 2px;
Jonathan Frederic
Kill the layout manager
r19179 margin-bottom: 5px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730
select, label {
MinRK
bootstrap toolbar
r10889 width: auto;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 vertical-align:middle;
margin-right:2px;
MinRK
fix select alignment on FF
r10924 margin-bottom:0px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 display: inline;
font-size: 92%;
margin-left:0.3em;
margin-right:0.3em;
padding: 0px;
MinRK
fix select alignment on FF
r10924 padding-top: 3px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
Jonathan Frederic
Fix automation errors.
r16914 .btn {
MinRK
bootstrap toolbar
r10889 padding: 2px 8px;
}
Matthias BUSSONNIER
move tolbar styling to css
r17434
.border-box-sizing();
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
MinRK
use responsive bootstrap
r10900
.toolbar .btn-group {
margin-top: 0px;
Jonathan Frederic
Added dropdown submenu CSS
r16928 margin-left: 5px;
MinRK
use responsive bootstrap
r10900 }
MinRK
menubar not full-width...
r10970
#maintoolbar {
Jonathan Frederic
Post discussion with @ellisonbg
r16950 margin-bottom: -3px;
margin-top: -8px;
Jonathan Frederic
Lots of small alignment tweaks to get Bootstrap3 looking better
r16937 border: 0px;
min-height: 27px;
Jonathan Frederic
Make things consistent
r19655 margin-left: 0px;
Jonathan Frederic
Kill the layout manager
r19179 padding-top: 11px;
padding-bottom: 3px;
Jonathan Frederic
Added dropdown submenu CSS
r16928
Jonathan Frederic
Post discussion with @ellisonbg
r16950 .navbar-text {
float: none;
vertical-align: middle;
text-align: right;
margin-left: 5px;
margin-right: 0px;
Matthias BUSSONNIER
move tolbar styling to css
r17434 margin-top: 0px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 }
Jonathan Frederic
Make maintoolbar select dropdowns look nice
r16948 }
.select-xs {
height: @btn_small_height;
Jonathan Frederic
Added dropdown submenu CSS
r16928 }