<title>文件定位</title>
<script type="text/javascript" src="<c:url value='/edit_area/edit_area_full.js'/>"></script>
<script type="text/javascript">
//initialisation
editAreaLoader.init({
id: "example_1" // id of the textarea to transform
,start_highlight: true // if start with highlight
,allow_resize: "both"
,allow_toggle: true
,word_wrap: false
,toolbar: "search, go_to_line, fullscreen, |, undo, redo, |, select_font,|, change_smooth_selection, highlight, reset_highlight"
,language: "en"
,syntax: "${fileType}"
,EA_load_callback: "goL(${line})"
});
function toogle_editable(id)
{
editAreaLoader.execCommand(id, 'set_editable', !editAreaLoader.execCommand(id, 'is_editable'));
}
function goL(line)
{
var example_1 = document.getElementById("example_1");
var v = example_1.value.split('\r\n');
ch = 0;
for(var i=0;i < line-1;i++) {
ch+=v[i].length+2;
}
editAreaLoader.setSelectionRange("example_1", ch, ch);
}
</script>
</head>
<body leftmargin="0" rightmargin="0" >
<fieldset>
<legend>${fileName}</legend>
<legend>${relativePath}</legend>
<textarea id="example_1" style="height: 500px; width: 100%;" name="test_1" >
${fieldset}
</textarea>
</fieldset>
</body>
<script type="text/javascript" src="<c:url value='/edit_area/edit_area_full.js'/>"></script>
<script type="text/javascript">
//initialisation
editAreaLoader.init({
id: "example_1" // id of the textarea to transform
,start_highlight: true // if start with highlight
,allow_resize: "both"
,allow_toggle: true
,word_wrap: false
,toolbar: "search, go_to_line, fullscreen, |, undo, redo, |, select_font,|, change_smooth_selection, highlight, reset_highlight"
,language: "en"
,syntax: "${fileType}"
,EA_load_callback: "goL(${line})"
});
function toogle_editable(id)
{
editAreaLoader.execCommand(id, 'set_editable', !editAreaLoader.execCommand(id, 'is_editable'));
}
function goL(line)
{
var example_1 = document.getElementById("example_1");
var v = example_1.value.split('\r\n');
ch = 0;
for(var i=0;i < line-1;i++) {
ch+=v[i].length+2;
}
editAreaLoader.setSelectionRange("example_1", ch, ch);
}
</script>
</head>
<body leftmargin="0" rightmargin="0" >
<fieldset>
<legend>${fileName}</legend>
<legend>${relativePath}</legend>
<textarea id="example_1" style="height: 500px; width: 100%;" name="test_1" >
${fieldset}
</textarea>
</fieldset>
</body>