From 60cbfd486c28375e0642c661571ded9c2e85023e Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 7 Aug 2013 20:09:43 +0100
Subject: [PATCH] Call switchMode after saving

So it colors code after saving new files, renames to a different file
type etc.
---
 lib/file-control.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/file-control.php b/lib/file-control.php
index f4a460b..a98ca23 100644
--- a/lib/file-control.php
+++ b/lib/file-control.php
@@ -428,4 +428,7 @@ if (action=="doneSave") {
 	top.ICEcoder.changedContent[top.ICEcoder.selectedTab-1] = 0;
 	top.ICEcoder.redoTabHighlight(top.ICEcoder.selectedTab);
 }
+
+// Finally, switch mode in case we have saved, renamed file etc
+top.ICEcoder.switchMode();
 </script>
\ No newline at end of file