From 3e41afb0a6151a028f060f25a23053c67ea5d8e1 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Thu, 31 May 2012 14:35:48 +0100
Subject: [PATCH] Set value not innerHTML in textarea

Setting innerHTML works fine in Chrome & Firefox but not IE
In order to make IE compatible, made this improvement
(More syntactically appropriate anyway)
---
 lib/file-control.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/file-control.php b/lib/file-control.php
index 6d4186c..b87e944 100644
--- a/lib/file-control.php
+++ b/lib/file-control.php
@@ -263,7 +263,7 @@ if (action=="save") {
 		if ("undefined" != typeof newFileName) {
 			top.ICEcoder.serverMessage('<b>Saving</b><br>'+newFileName);
 		}
-		document.saveFile.contents.innerHTML = top.document.getElementById('saveTemp1').value;
+		document.saveFile.contents.value = top.document.getElementById('saveTemp1').value;
 		document.saveFile.submit();
 	} else {
 		top.ICEcoder.serverMessage();top.ICEcoder.serverQueue("del",0);