ipython-contrib/IPython-notebook-extensions — pull request #62 by juhasch (2014-05-15 16:52:31+00:00)
Title: Register with keyboard manager

Register search extension with keyboard manager, so a search string can be typed in.