From 6bc2a0b84af44399f8c6ee7ac8817cefc3707483 Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Fri, 14 Sep 2012 20:04:45 -0700
Subject: [PATCH] Remove spaces that don't make sense when using the text in
 divs

---
 src/evaluator.js | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/evaluator.js b/src/evaluator.js
index ee8451d7a..912e48edd 100644
--- a/src/evaluator.js
+++ b/src/evaluator.js
@@ -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