if ($mime == "application/xml") {
require dirname(__FILE__) . "/validators/validator_xml.php";
$a = ValidateCode($filefullpath);
} else {
if ($mime == "text/html") {
require dirname(__FILE__) . "/validators/validator_html.php";
$a = ValidateCode($filefullpath);
} else {
$a = array("msg" => "Tipo de fichero no reconocido");
}
}
}
$msgbox = new jsO("msgbox", "parent", false);
if (is_array($a)) {
$msgbox->jsO->value = "{$a["msg"]} {$a["line"]}";
$editor = new jsO("editor", "parent", true);
if ($a["line"]) {
$editor->setMethod("jumpToLine", array($a["line"]));
}
$editor->jsMapO();
$editor->jsMapM();
} else {
$msgbox->jsO->value = "{$mime} : Syntaxis OK";
}
$msgbox->jsMapO();
$msgbox->jsMapM();
jsCodeFlush();
?>
<?php
require dirname(__FILE__) . "/controller_base_js.php";
$data = file_get_contents(dirname(__FILE__) . "/../" . trim($file));
$e = new jsO("editor", "parent", true);
$e->setMethod("setCode", array("{$data}"));
if (substr($file, -3) == ".js") {
$e->setMethod("setParser", array("JSParser" => "string"));
$parser = "(JS parser)";
}
if (substr($file, -4) == ".xml" || substr($file, -4) == ".def") {
$e->setMethod("setParser", array("XMLParser" => "string"));
$parser = "(XML parser)";
}
$e->setMethod("reindent");
//$e->setMethod("grabKeys",array("docSave"=>"string","parent.filterSave"=>"literal"));
$e->jsMapO();
$e->jsMapM();
$textarea = new jsO("msgbox", "parent", false);
$textarea->jsO->value = "{$file} abierto. {$parser}";
$textarea->jsMapO();
$textarea->jsMapM();
jsCodeFlush();
?>
