From 271bf32cd08139176417f7704b03489e8f9625ab Mon Sep 17 00:00:00 2001
From: Basit Ali <basitalimundia@gmail.com>
Date: Fri, 11 Aug 2017 23:23:15 +0500
Subject: [PATCH] Add search/searchcursor to support Cmd+D shortcut for
 selecting next occurrence of the selected word.

---
 src/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/index.html b/src/index.html
index f507c84..0b48cc8 100644
--- a/src/index.html
+++ b/src/index.html
@@ -571,6 +571,7 @@
 		<script src="lib/codemirror/addon/hint/html-hint.js"></script>
 		<script src="lib/codemirror/addon/hint/css-hint.js"></script>
 		<script src="lib/codemirror/addon/selection/active-line.js"></script>
+		<script src="lib/codemirror/addon/search/searchcursor.js"></script>
 
 		<script src="lib/codemirror/mode/xml/xml.js"></script>
 		<script src="lib/codemirror/mode/javascript/javascript.js"></script>