diff --git a/app/edit/file_list.php b/app/edit/file_list.php index cb853aac21..1348779c41 100644 --- a/app/edit/file_list.php +++ b/app/edit/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";