<div id="div_configXML" style="float:right;width:600px;">
</div>
//配置文件的默認類型為xml
var fileType="xml";
//當選中樹中的某個文件的時候
$('#tree1').tree({
onClick: function(node){
if (node.children==null || node.children==undefined){
var url="../hub/config/configRead?"+'ip='+ip+'&port='+port+"&file="+node.id;
var str=node.id;
fileType = str.substring(str.lastIndexOf(".")+1,str.length);
fileType=fileType.toLowerCase();
$.get(url,{},function(data,textStatus){
//因為需要多次語法著色，而且每次選中的文件都不一樣，
//所以每次都要刪除原來的pre元素，并新增pre，且syntax得根據文件名的后綴來動態得到。
//注意：不要直接定位pre，因為每次渲染后pre元素會消失，所以我這里用一個div來放pre，每次清理pre只要刪除div下的所有元素就行了
$("#div_configXML *").remove();
var $pre=$("<pre id='configXML' class='syntax "+fileType+"'> </pre>");
$("#div_configXML").append($pre);
$("#configXML").text(data);
$.syntax();
}
);
}
}
});
