Changeset 14743 for misc/runpugs/data
- Timestamp:
- 11/14/06 11:47:04 (2 years ago)
- Files:
-
- 1 modified
-
misc/runpugs/data/runpugs2.html (modified) (5 diffs)
Legend:
- Unmodified
- Added
- Removed
-
misc/runpugs/data/runpugs2.html
r14733 r14743 7 7 <link rel="stylesheet" type="text/css" href="/runpugs.css"> 8 8 <script language="JavaScript"> 9 var nchars=0; 10 function getnchars() { 11 return document.terminal.cmd.value.length 12 } 9 13 14 function getcursorpos() { 15 var obj=document.terminal.cmd; 16 if(document.selection) { 17 obj.focus(); 18 var rng=document.selection.createRange(); 19 rng.moveStart('character',-nchars); 20 return rng.text.length; 21 } else if(obj.selectionStart>=0) { // FireFox 22 var start = obj.selectionStart; 23 var end = obj.selectionEnd; 24 if (start<=end) { 25 return start; 26 } else { 27 return end; 28 } 29 } 30 } 31 32 function catchbackspace(myfield,e) 33 { 34 var keycode; 35 if (window.event) {keycode = window.event.keyCode; 36 } 37 else if (e) { 38 keycode = e.which; 39 } 40 else return true; 41 42 if (keycode == 13) 43 { 44 document.terminal.submit(); 45 return false; 46 } 47 if (keycode==38) { 48 return false; 49 } 50 if ((keycode==8)||(keycode==37)||(keycode==46)) { 51 if ((getnchars()>nchars) && (getcursorpos() > nchars)) { 52 return true; 53 } else { 54 return false; 55 } 56 } else { 57 return true; 58 } 59 } 60 61 // onkeypress="return catchbackspace(this,event)" onkeydown="return catchbackspace(this,event)" 10 62 function submitenter(myfield,e) 11 63 { … … 19 71 return false; 20 72 } 21 else 73 else { 74 if (keycode == 8) { 75 if (getnchars()>nchars) { 22 76 return true; 77 } else { 78 return false; 79 } 80 } else { 81 return true; 82 } 83 } 23 84 } 24 85 … … 34 95 document.terminal.hist.selectedIndex=0; 35 96 document.terminal.cmd.focus(); 97 document.terminal.cmd.scrollTop =document.terminal.cmd.scrollHeight; 36 98 _SKIPT_ */ 37 99 } … … 82 144 _HIST_ 83 145 </select> 146 <!--onKeyPress="return submitenter(this,event)"--> 84 147 <br> 85 148 <!-- _SKIPT_ 86 <textarea id="cmd" name="cmd" rows="20" cols="80" wrap="virtual" 87 onKeyPress="return submitenter(this,event)"> 149 <textarea id="cmd" name="cmd" rows="20" cols="80" wrap="virtual" onkeypress="return catchbackspace(this,event)" onkeydown="return catchbackspace(this,event)"> 88 150 _ALL_ 89 151 </textarea> … … 113 175 //document.terminal.output.style.height="2ex"; 114 176 //} 177 nchars=document.terminal.cmd.value.length; 115 178 </script> 116 179 <p>This live web terminal runs the <a href="http://www.pugscode.org">pugs</a> interpreter for <a
