Update file_list.php
This commit is contained in:
parent
9ebad58156
commit
a8b6c4d164
|
|
@ -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";
|
||||
|
|
|
|||
Loading…
Reference in New Issue