##// 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
completer.less
25 lines | 501 B | text/x-less | LessCssLexer
.completions {
position: absolute;
z-index: 10;
overflow: hidden;
border: 1px solid @border_color;
.corner-all;
.box-shadow(0px 6px 10px -1px #adadad);
}
.completions select {
background: white;
outline: none;
border: none;
padding: 0px;
margin: 0px;
overflow: auto;
font-family: @font-family-monospace;
font-size: 110%;
color: @text-color;
width: auto;
}
.completions select option.context {
color: darken(@brand-primary, 10%);
}