Paul Ivanov 2c9ff376a2 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.		2014-03-07 17:48:34 -08:00
..
images	mv IPython.html.notebook -> IPython.html	2013-06-27 11:14:10 -07:00
js	added new use_shortcut method to shortcuts	2014-03-07 17:48:34 -08:00
less	Revert "Change stretch to flex-start"	2014-02-09 13:51:20 -08:00