From 1c166d0dd0e616ac041b668464cac36122e5392e Mon Sep 17 00:00:00 2001
From: Miguel Castillo <manchagnu@gmail.com>
Date: Tue, 15 Jul 2014 21:23:30 -0400
Subject: [PATCH] Removed code that's causing issue closing inline widgets

https://github.com/adobe/brackets/issues/8409
---
 src/view/ThemeManager.js | 19 -------------------
 1 file changed, 19 deletions(-)

diff --git a/src/view/ThemeManager.js b/src/view/ThemeManager.js
index f756d94e05f..fedfa9101c6 100644
--- a/src/view/ThemeManager.js
+++ b/src/view/ThemeManager.js
@@ -190,24 +190,6 @@ define(function (require, exports, module) {
     }
 
 
-    /**
-    * @private
-    * Will trigger a refresh of codemirror instance and editor resize so that
-    * inline widgets get properly rendered
-    *
-    * @param {CodeMiror} cm code mirror instance to refresh
-    */
-    function refreshEditor(cm) {
-        // Really dislike timing issues with CodeMirror.  I have to refresh
-        // the editor after a little bit of time to make sure that themes
-        // are properly applied to quick edit widgets
-        setTimeout(function () {
-            cm.refresh();
-            EditorManager.resizeEditor();
-        }, 100);
-    }
-
-
     /**
     * @private
     * Get all current theme objects
@@ -284,7 +266,6 @@ define(function (require, exports, module) {
             var cm =  editor._codeMirror;
             ThemeView.setDocumentMode(cm);
             ThemeView.updateThemes(cm);
-            refreshEditor(cm);
         });
     }