From 087e6144fd0fbc03651f31d5ae8485e683138747 2014-11-20 19:52:35
From: Thomas Kluyver <takowl@gmail.com>
Date: 2014-11-20 19:52:35
Subject: [PATCH] Enable codemirror search/replace shortcuts

---

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 %}
 <link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">
+<link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">
 
 {{super()}}
 {% endblock %}