Changeset 35999 for lang/haxe

Show
Ignore:
Timestamp:
11/26/09 13:59:27 (4 years ago)
Author:
hoge1e3
Message:
 
Files:
1 modified

Legend:

Unmodified
Added
Removed

  • lang/haxe/Tonyu2/htdocs/index.html

    r35998 r35999  
    55var nextInd=false; 
    66var indDepth=""; 
    7   function down(e) { 
     7  /* function down(e) { 
    88      //var t=document.getElementById("a"); 
    99          //document. addEventlistener("keydown",t); 
    … …  
    3838          document.title=t.value.substring(pos,pos+1).charCodeAt(0); 
    3939           
    40    } 
     40   }*/ 
    4141   function loaded() { 
    4242      attachIndentAdaptor("a"); 
     43          setInterval(examine,50); 
    4344   } 
    4445   function gotoLine(ln) {  
    4546         
    4647       t=document.getElementById("a"); 
    47        setRange(t, 100,100); 
     48       setRange(t, 200,200); 
    4849           var lines=t.value.split(/\n/).length; 
    49       t.scrollTop=ln/lines*t.scrollHeight; 
    50           document.title=t.scrollHeight; 
     50           maxHeight=t.scrollHeight ; //* (lines-20) / lines; 
     51          // alert(ln*maxHeight/lines); 
     52      t.scrollTop=ln*maxHeight/lines; 
     53         // document.title=t.scrollHeight; 
    5154   } 
    52 </script> 
     55   function examine() { 
     56       t=document.getElementById("a"); 
     57           var lines=t.value.split(/\n/).length; 
     58       document.title="ln="+lines+"  -  h="+t.scrollHeight+"  -  t="+t.scrollTop; 
     59   } 
     60   </script> 
    5361<body onload="loaded()"> 
    5462  <textarea   rows=20 cols=80 id=a> 
    … …  
    5866  if (_top.__ie) { 
    5967    var s = document.getElementById(id); 
    60          
    6168    if( document.selection ){ 
    6269      var range = document.selection.createRange();