mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Remove spaces that don't make sense when using the text in divs

Browse source
This commit is contained in:
Julian Viereck 2012-09-14 20:04:45 -07:00
parent e22fc80d3e
commit 6bc2a0b84a
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/evaluator.js
View file

@ -557,10 +557,14 @@ var PartialEvaluator = (function PartialEvaluatorClosure() {
chunk += fontCharsToUnicode(args[0], font);
break;
case "'":
chunk += fontCharsToUnicode(args[0], font) + ' ';
// For search, adding a extra white space for line breaks would be
// better here, but that causes too much spaces in the
// text-selection divs.
chunk += fontCharsToUnicode(args[0], font);
break;
case '"':
chunk += fontCharsToUnicode(args[2], font) + ' ';
// Note comment in "'"
chunk += fontCharsToUnicode(args[2], font);
break;
case 'Do':
// Set the chunk such that the following if won't add something