From 6df5adf0f1ea3d0af439ec54094a8a21c58e8393 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Thu, 27 Sep 2012 18:07:11 +0100
Subject: [PATCH] Deselect file we're closing in the file manager

---
 lib/coder.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/lib/coder.js b/lib/coder.js
index 31bde48..92cc134 100644
--- a/lib/coder.js
+++ b/lib/coder.js
@@ -572,7 +572,7 @@ var ICEcoder = {
 
 	// Close the tab upon request
 	closeTab: function(closeTabNum) {
-		var cM, okToRemove;
+		var cM, okToRemove, closeFileName;
 
 		cM = ICEcoder.getcMInstance();
 		okToRemove = true;
@@ -581,6 +581,9 @@ var ICEcoder = {
 		}
 
 		if (okToRemove) {
+			// Get the filename of tab we're closing
+			closeFileName = top.ICEcoder.openFiles[closeTabNum-1];
+
 			// recursively copy over all tabs & data from the tab to the right, if there is one
 			for (var i=closeTabNum;i<ICEcoder.openFiles.length;i++) {
 				top.document.getElementById('tab'+i).innerHTML = top.document.getElementById('tab'+(i+1)).innerHTML;
@@ -615,6 +618,9 @@ var ICEcoder = {
 			top.ICEcoder.changedContent.splice(closeTabNum-1,1);
 			top.parent.ICEcoder.redoTabHighlight(ICEcoder.selectedTab);
 
+			// Remove any highlighting from the file manager
+			top.ICEcoder.selectDeselectFile('deselect',top.ICEcoder.filesFrame.contentWindow.document.getElementById(closeFileName.replace(/\//g,"|")));
+
 			top.ICEcoder.setPreviousFiles();
 		}
 		// Lastly, stop it from trying to also switch tab