3 ms·

When will the browser plugin come out? :)

• Xeoncross 9y ago
  Here's what I have so far: var p=document.createElement('pre'); p.textContent=document.body.textContent.replace(/[ \t]+/ig, ' ').replace(/\n[\s\n]*/ig, "\n\n"); document.body.replaceWith(p);