commit 1bf7ff426ac20a0330036cb2d049296ae25c859e
Author: José Dapena Paz <address@hidden>
Date:   Mon Aug 6 17:45:18 2012 +0200

    Space characters output in SWF is wrong unicode char 0xe000 instead of 0x0020
    
    Using poppler, avoid checking if a character is an space relying on advance,
    as we don't have such an information. Using that check, we were not detecting
    the space as such, and were adding a new space character to the GfxFont. So
    all existing spaces were wrongly converted to 0xe000.
    
    https://forge.igalia.com/issues/894

diff --git a/lib/pdf/InfoOutputDev.cc b/lib/pdf/InfoOutputDev.cc
index 073bf99..c87ab31 100644
--- a/lib/pdf/InfoOutputDev.cc
+++ b/lib/pdf/InfoOutputDev.cc
@@ -198,7 +198,9 @@ static int findSpace(gfxfont_t*font)
     int t;
     for(t=0;t<font->num_glyphs;t++) {
 	gfxglyph_t*g = &font->glyphs[t];
+#ifndef HAVE_POPPLER
 	if(GLYPH_IS_SPACE(g)) {
+#endif
 	    if(g->unicode == 32) {
 		/* now that we have found a space char, make sure it's unique */
 		int s;
@@ -208,7 +210,9 @@ static int findSpace(gfxfont_t*font)
 		}
 		return t;
 	    }
+#ifndef HAVE_POPPLER
 	}
+#endif
     }
     return -1;
 }