JS代码格式化和语法着色V2

2019-06-03 18:16:39王旭

52;      // init global events  divJSOutputLineNo.onse
lectstart=divJSOutputLineNo.onselect=divJSOutputPlus.onselectstart=divJSOutputPlus.onselect=cancelEvents;  divJ
SOutput.onscroll=divJSOutput_onscroll;    divJSInput.onkeydown=divJSInput_keydown;  
;divJSExport.onkeydown=divJSExport_keydown;   } //------------------
// event scripts //------------------ function cancelEvents(e)
{  var e=window.event?window.event:e;  e.returnValue=false;  return
(false); } function divJSInput_keydown(e){  var e=window.event?
window.event:e;  var srcEle=e.srcElement?
e.srcElement:e.target;  var sel;  if(e.keyCode==27)hideJSInput();  if
(e.keyCode==13&&e.ctrlKey)execJSInput();  if(e.keyCode==9&&srcEle==txtJSInput)
{   document.selection.createRange().text="t";return
(false); // not support FF   } }
function divJSExport_keydown(e){  var e=window.event?
window.event:e;  var srcEle=e.srcElement?
e.srcElement:e.target;  var sel;  if(e.keyCode==27)hideJSExport();  if
(e.keyCode==13&&e.ctrlKey)hideJSExport(); } function divJSOutput_onscroll()
{  divJSOutputLineNo.scrollTop=divJSOutputPlus.scrollTop=divJSOutput.scrollTop; }
//------------------ // functional scripts //-----------
------- function showJSInput(){  if(glbBusy)return;  hideJSExport
();  with(divJSInput.style){   display="block";   left=
(document.body.clientWidth-divJSInput.offsetWidth)/2;   top=(document.body.clientHeight-
divJSInput.offsetHeight)/2;  }    txtJSInput.focus
();    return(false); } function showJSExport()
{  if(glbBusy)return;  hideJSInput();  with(divJSExport.style)
{   display="block";   left=(document.body.clientWidth-
divJSExport.offsetWidth)/2;   top=(document.body.clientHeight-
divJSExport.offsetHeight)/2;  }
 divJSExportContent.style.display="none";  selJSExport.style.display="block"
;    selJSExport.focus();  return(false); }