From a09141a723f52d6f2da6299b10b3c441b8774fc3 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 2 Aug 2011 15:12:38 +0200
Subject: [PATCH] search and replace caused an exception if the search term was
 not found.

---
 lib/ace/editor.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index d992bee1..eeb0589c 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -1124,6 +1124,9 @@ var Editor =function(renderer, session) {
             this.$search.set(options);
 
         var range = this.$search.find(this.session);
+        if (!range)
+            return;
+
         this.$tryReplace(range, replacement);
         if (range !== null)
             this.selection.setSelectionRange(range);