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 %}