From 35ee28ec2597a961b330fd69c792b943d67e5667 Mon Sep 17 00:00:00 2001
From: Martin Zagora <zaggino@gmail.com>
Date: Fri, 16 Aug 2013 07:59:56 +1000
Subject: [PATCH] Fixes issue 4781.

---
 src/search/FindReplace.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/search/FindReplace.js b/src/search/FindReplace.js
index 0f7cd95d8d5..94bd54e8306 100644
--- a/src/search/FindReplace.js
+++ b/src/search/FindReplace.js
@@ -289,7 +289,7 @@ define(function (require, exports, module) {
     var doReplaceConfirm = Strings.CMD_REPLACE +
             '? <button id="replace-yes" class="btn">' + Strings.BUTTON_YES +
             '</button> <button id="replace-no" class="btn">' + Strings.BUTTON_NO +
-            '</button> <button class="btn">' + Strings.BUTTON_STOP + '</button>';
+            '</button> <button id="replace-stop" class="btn">' + Strings.BUTTON_STOP + '</button>';
 
     function replace(editor, all) {
         var cm = editor._codeMirror;
@@ -343,6 +343,9 @@ define(function (require, exports, module) {
                                 doReplace(match);
                             } else if (e.target.id === "replace-no") {
                                 advance();
+                            } else if (e.target.id === "replace-stop") {
+                                // Destroy modalBar on stop
+                                modalBar = null;
                             }
                         });
                     };