##// END OF EJS Templates
Changed selection widget API to use labels list...
Changed selection widget API to use labels list for mapping custom str reprs to items in the selection list

File last commit:

r13778:009e7713
r14709:eab8dac4
Show More
completer.less
24 lines | 458 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .completions {
position: absolute;
z-index: 10;
overflow: hidden;
border: 1px solid @border_color;
Brian E. Granger
More tabs to spaces on less files.
r13696 .corner-all;
.box-shadow(0px 6px 10px -1px #adadad);
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
.completions select {
background: white;
outline: none;
border: none;
padding: 0px;
margin: 0px;
overflow: auto;
font-family: @monoFontFamily;
Brian E. Granger
More tabs to spaces on less files.
r13696 font-size: 110%;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 color: @textColor;
}
.completions select option.context {
Brian E. Granger
Cleaning up indentation and spacing of less files touched.
r13778 color: @blueDark;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }