From c1d012d703c04c54b350909d53b50187beb30024 Mon Sep 17 00:00:00 2001
From: Thomas Kluyver <takowl@gmail.com>
Date: Wed, 5 Nov 2014 17:31:08 -0800
Subject: [PATCH] Enable codemirror search/replace shortcuts

---
 IPython/html/static/texteditor/js/editor.js | 1 +
 IPython/html/templates/texteditor.html      | 1 +
 2 files changed, 2 insertions(+)

diff --git a/IPython/html/static/texteditor/js/editor.js b/IPython/html/static/texteditor/js/editor.js
index 60c9defbb..8f5d8e8e3 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 bae58ddef..5078a39e1 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 %}