##// END OF EJS Templates
Toggle line numbers in menu...
Toggle line numbers in menu use 'Toggle' text, instead of switching between Show/Hide

File last commit:

r19305:30017139
r19320:98a32711
Show More
style.less
7 lines | 85 B | text/x-less | LessCssLexer
/*!
*
* IPython text editor webapp
*
*/
@import "menubar.less";
@import "edit.less";