diff --git a/IPython/html/static/texteditor/js/editor.js b/IPython/html/static/texteditor/js/editor.js index 60c9def..8f5d8e8 100644 --- a/IPython/html/static/texteditor/js/editor.js +++ b/IPython/html/static/texteditor/js/editor.js @@ -6,6 +6,7 @@ define([ 'base/js/utils', 'codemirror/lib/codemirror', 'codemirror/mode/meta', + 'codemirror/addon/search/search' ], function($, utils, diff --git a/IPython/html/templates/texteditor.html b/IPython/html/templates/texteditor.html index bae58dd..5078a39 100644 --- a/IPython/html/templates/texteditor.html +++ b/IPython/html/templates/texteditor.html @@ -4,6 +4,7 @@ {% block stylesheet %} + {{super()}} {% endblock %}