##// 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:

r14220:d1d9dfe0
r14709:eab8dac4
Show More
style.less
13 lines | 323 B | text/x-less | LessCssLexer
Matthias BUSSONNIER
rename app.less to style_noapp.less
r13545 @import "style_noapp.less";
Matthias BUSSONNIER
inverse style.less and app.less
r13474
@import "notebook.less";
@import "celltoolbar.less";
@import "completer.less";
@import "menubar.less";
@import "notificationarea.less";
@import "notificationwidget.less";
@import "pager.less";
@import "quickhelp.less";
@import "savewidget.less";
@import "toolbar.less";
@import "tooltip.less";