Changeset 2123

Show
Ignore:
Timestamp:
11/28/07 19:34:06 (14 months ago)
Author:
cho45
Message:

lang/javascript/userscripts/jautopagerize.user.js:

整形

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • lang/javascript/userscripts/jautopagerize.user.js

    r2108 r2123  
    142142} 
    143143HTMLResource.createDocumentFromString = function (s) { 
    144                 s = String(s); 
    145                 s = s.replace(/<script[^>]+>([^\s]|\s)*?<\/script>/g, ""); 
    146                 s = s.replace(/<\/?(i?frame|html|script|object)[^<>]+>/g, ""); 
    147                 var d = createHTMLDocument(); 
    148                 if (d) { 
    149                         while (d.documentElement.firstChild) d.documentElement.removeChild(d.documentElement.firstChild); 
    150                         var r = d.createRange(); 
    151                         r.selectNodeContents(d.documentElement); 
    152                         d.documentElement.appendChild(r.createContextualFragment(s)); 
    153                         return d; 
    154                 } else { 
    155                         log("fallback: use div to parse HTML"); 
    156                         $X.forceRelative = true; 
    157                         d = document.createElement("div"); 
    158                         d.innerHTML = s; 
    159                         return d; 
    160                 } 
    161         } 
     144        s = String(s); 
     145        s = s.replace(/<script[^>]+>([^\s]|\s)*?<\/script>/g, ""); 
     146        s = s.replace(/<\/?(i?frame|html|script|object)[^<>]+>/g, ""); 
     147        var d = createHTMLDocument(); 
     148        if (d) { 
     149                while (d.documentElement.firstChild) d.documentElement.removeChild(d.documentElement.firstChild); 
     150                var r = d.createRange(); 
     151                r.selectNodeContents(d.documentElement); 
     152                d.documentElement.appendChild(r.createContextualFragment(s)); 
     153                return d; 
     154        } else { 
     155                log("fallback: use div to parse HTML"); 
     156                $X.forceRelative = true; 
     157                d = document.createElement("div"); 
     158                d.innerHTML = s; 
     159                return d; 
     160        } 
     161} 
    162162 
    163163function CachedResource (uri, convertfun, expire) { 
     
    361361                XPathGenerator._prev = []; 
    362362                XPathGenerator._container = h("<textarea cols='40' rows='5'></textarea><br/>"); 
    363                 XPathGenerator._inspect   = h("<button value>Inspect</button>").firstChild; 
     363                XPathGenerator._inspect   = h("<button>Inspect</button>").firstChild; 
    364364                XPathGenerator._timer = setInterval(XPathGenerator.change, 1000); 
    365365                XPathGenerator._container.appendChild(XPathGenerator._inspect);