Update file_list.php

file_list.php

@@ -200,11 +200,11 @@ echo "    function returnContent(http_request) {\n";
 echo "\n";
 echo "        if (http_request.readyState == 4) {\n";
 echo "            if (http_request.status == 200) {\n";
-echo "					parent.document.getElementById('editor_source').value=http_request.responseText;";
-echo "					parent.editor.getSession().setValue(parent.document.getElementById('editor_source').value);";
-echo "					parent.editor.gotoLine(1);";
-echo "					parent.editor.scrollToLine(1, true, true, function() {});";
-echo "					parent.editor.focus();";
+echo "			parent.document.getElementById('editor_source').value=http_request.responseText;";
+echo "			parent.editor.getSession().setValue(parent.document.getElementById('editor_source').value);";
+echo "			parent.editor.gotoLine(1);";
+echo "			parent.editor.scrollToLine(1, true, true, function() {});";
+echo "			parent.editor.focus();";
 echo "\n";
 echo "            }\n";
 echo "            else {\n";