ipython-contrib/IPython-notebook-extensions — pull request #132 by juhasch (2014-11-09 19:19:15+00:00)
Title: Use keyboard_manager instead of hack for 'indentLess' hotkey

Old extension doesn't work anymore. Use offical `keyboard_manager` instead of intercepting keyboard events in codemirror.