##// END OF EJS Templates
use single WebSocket connection for all channels...
use single WebSocket connection for all channels multiplex on a 'channel' key in message, rather than separate websockets. Unlike zmq, there aren't different message patterns that require the channels to be separate. Reduces FD count by factor of 3 and connection complexity in js.

File last commit:

r16912:30744239
r19824:17ebfc54
Show More
quickhelp.less
15 lines | 221 B | text/x-less | LessCssLexer
.quickhelp {
.hbox();
}
.shortcut_key {
display: inline-block;
width: 20ex;
text-align: right;
font-family: @font-family-monospace;
}
.shortcut_descr {
display: inline-block;
.box-flex1();
}