Changeset 7877

Timestamp:

03/13/08 06:23:50 (5 years ago)

Author:

drry

Message:

platform/tdiary/plugin/prettify.rb:

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

Files:

• platform/tdiary/plugin/prettify.rb (modified) (1 diff)

platform/tdiary/plugin/prettify.rb

@@ -7 +7 @@
                 <script type="text/javascript" src="prettify.js"></script>
                 <script type="text/javascript"><!--
-                function google_prettify(){
-                var divs=document.getElementsByTagName("div");
-                for(var i=divs.length;i-->0;){
-                        if(divs[i].className!="body") continue;
-                                var pres=divs[i].getElementsByTagName("pre");
-                                for(var j=pres.length;j-->0;){
-                                        pres[j].className="prettyprint";
+                        function google_prettify(){
+                                var divs=document.getElementsByTagName("div");
+                                for(var i=divs.length;i-- >0;){
+                                        if(divs[i].className!="body")continue;
+                                        var pres=divs[i].getElementsByTagName("pre");
+                                        for(var j=pres.length;j-- >0;){
+                                                pres[j].className="prettyprint";
+                                        }
                                 }
+                                prettyPrint();
                         }
-                        prettyPrint();
-                }
-                if(window.addEventListener){
-                        window.addEventListener('load',google_prettify,false);
-                }else if(window.attachEvent){
-                        window.attachEvent('onload',google_prettify);
-                }else{
-                        window.onload=google_prettify;
-                }
+                        if(window.addEventListener){
+                                window.addEventListener('load',google_prettify,false);
+                        }else if(window.attachEvent){
+                                window.attachEvent('onload',google_prettify);
+                        }else{
+                                window.onload=google_prettify;
+                        }
                 // --></script>
                 HTML