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

r11033:fa36e98f
r16026:c8db6cd6
Show More
savewidget.less
33 lines | 595 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 span#save_widget {
MinRK
tweak header styling...
r10906 padding: 0px 5px;
margin-top: 12px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
MinRK
hide save status as it shrinks
r10902 span#checkpoint_status, span#autosave_status {
Brian E. Granger
Splitting notebook.less into separate files.
r10730 font-size: small;
}
MinRK
hide save status as it shrinks
r10902
@media (max-width: 767px) {
span#save_widget {
font-size: small;
}
span#checkpoint_status, span#autosave_status {
font-size: x-small;
}
}
@media (max-width: 767px) {
span#checkpoint_status, span#autosave_status {
display: none;
}
}
@media (min-width: 768px) and (max-width: 979px) {
span#checkpoint_status {
display: none;
}
span#autosave_status {
font-size: x-small;
}
}