From ca28d52ed47692371c4571a566a574087b3b6d64 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Sat, 18 Oct 2008 17:43:18 +0000
Subject: [PATCH] Cancel the search when an incsearch fails.
 embedcomp/rangefind may need to go given the difficulties presented by
 iframes.

---
 content/find.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/content/find.js b/content/find.js
index 1606f9b2..297f1546 100644
--- a/content/find.js
+++ b/content/find.js
@@ -212,7 +212,10 @@ function Search() //{{{
             {
                 liberator.dump(this.wrapped);
                 if (this.wrapped)
+                {
+                    this.cancel();
                     return null;
+                }
                 this.wrapped = true;
                 lastRange = this.backward ? pageEnd : pageStart;
                 return this.search(again ? null : word, reverse);