##// END OF EJS Templates
added new use_shortcut method to shortcuts...
added new use_shortcut method to shortcuts this way, you can ask if a particular event will be handled by the shortcuts system. This takes away the need to special-case many different possible keys which should be ignored by codemirror by ignoring them en masse.

File last commit:

r6140:1aae9360
r15758:1ebe52ee
Show More
notiffade.png
0 lines | 36.7 KiB | image/png | TextLexer
/ docs / source / development / figs / notiffade.png
rendered-image