Changeset 7877

Show
Ignore:
Timestamp:
03/13/08 06:23:50 (5 years ago)
Author:
drry
Message:

platform/tdiary/plugin/prettify.rb:

  • コメント終端 --> を混入してしまったので修正しました。実害はなさそうですけど、あぶない、あぶない。
  • インデントを修整しました。
Files:
1 modified

Legend:

Unmodified
Added
Removed
  • platform/tdiary/plugin/prettify.rb

    r7864 r7877  
    77                <script type="text/javascript" src="prettify.js"></script> 
    88                <script type="text/javascript"><!-- 
    9                 function google_prettify(){ 
    10                 var divs=document.getElementsByTagName("div"); 
    11                 for(var i=divs.length;i-->0;){ 
    12                         if(divs[i].className!="body") continue; 
    13                                 var pres=divs[i].getElementsByTagName("pre"); 
    14                                 for(var j=pres.length;j-->0;){ 
    15                                         pres[j].className="prettyprint"; 
     9                        function google_prettify(){ 
     10                                var divs=document.getElementsByTagName("div"); 
     11                                for(var i=divs.length;i-- >0;){ 
     12                                        if(divs[i].className!="body")continue; 
     13                                        var pres=divs[i].getElementsByTagName("pre"); 
     14                                        for(var j=pres.length;j-- >0;){ 
     15                                                pres[j].className="prettyprint"; 
     16                                        } 
    1617                                } 
     18                                prettyPrint(); 
    1719                        } 
    18                         prettyPrint(); 
    19                 } 
    20                 if(window.addEventListener){ 
    21                         window.addEventListener('load',google_prettify,false); 
    22                 }else if(window.attachEvent){ 
    23                         window.attachEvent('onload',google_prettify); 
    24                 }else{ 
    25                         window.onload=google_prettify; 
    26                 } 
     20                        if(window.addEventListener){ 
     21                                window.addEventListener('load',google_prettify,false); 
     22                        }else if(window.attachEvent){ 
     23                                window.attachEvent('onload',google_prettify); 
     24                        }else{ 
     25                                window.onload=google_prettify; 
     26                        } 
    2727                // --></script> 
    2828                HTML