mozilla/pdf.js — pull request #2167 by jviereck (2012-09-25 14:10:29+00:00)
Title: Tune whitespace insertion

Adds more then one whitespace if the space is huge and start adding a whitespace if the space > 0.35*whitespace-width. This improves the traceMonkey paper, where

1) There were spaces missing in some lines. This caused the text to get selected as one chunk if double-clicked a word and caused the find-highlighting to be off
2) The code listing/headlines missed spaces after the numbers. This caused the text in the textLayer to get scratched way too much.