[pdftex] Regression: Wrong spacing with explicit space character of different font

[Akira Kakuto]

Hi Karl,

> This is terrible news.  I expect it is related to the "fake space"
> feature that was introduced in this version.

Is the following change related the new fake space feature?

--- pdftex.web.test    Thu May 22 07:23:14 2014
+++ pdftex.web.2014    Thu May 22 07:15:56 2014
@@ -15879,7 +15879,8 @@
         pdf_print(" Tm");
         pdf_cur_Tm_a := pdf_new_Tm_a;
         pdfassert(pdf_cur_Tm_a > -1000);
-    end else begin
+    end else if (abs(cur_h - pdf_tj_start_h) >= min_bp_val) or (v_out <> 0) then {avoid printing '0 0 Td'}
+    begin
         pdf_print_bp(cur_h - pdf_tj_start_h); {works only for unexpanded fonts}
         pdf_h := pdf_tj_start_h + scaled_out;
         pdf_out(" ");

Best,
Akira