##// END OF EJS Templates
check that a handler is actually registered in ShortcutManager.handles...
check that a handler is actually registered in ShortcutManager.handles there are a few shortcuts that do not specify handlers (just for quick help contents), and this was preventing the actual events from ever firing.

File last commit:

r15847:5c22c5ca
r16026:c8db6cd6
Show More
notificationarea.less
35 lines | 502 B | text/x-less | LessCssLexer
#notification_area {
z-index: 10;
}
.indicator_area {
color: @navbarLinkColor;
padding: 4px 3px;
margin: 0px;
width: 11px;
z-index: 10;
text-align: center;
}
#kernel_indicator {
// Pull it to the right, outside the container boundary
margin-right: -16px;
}
.edit_mode_icon:before {
.icon(@pencil);
}
.command_mode_icon:before {
.icon(' ');
}
.kernel_idle_icon:before {
.icon(@circle-blank);
}
.kernel_busy_icon:before {
.icon(@circle);
}