##// END OF EJS Templates
add Mode menu to editor
add Mode menu to editor

File last commit:

r19319:c847b345
r19319:c847b345
Show More
menubar.less
13 lines | 223 B | text/x-less | LessCssLexer
.selected-keymap {
i.fa {
padding: 0px 5px;
}
i.fa:before {
content: @fa-var-check;
}
}
#mode-menu {
// truncate mode-menu, so it doesn't get longer than the screen
overflow: auto;
max-height: 20em;
}