On May 5, 2008, at 21:15, J.Pietschmann wrote:
[EMAIL PROTECTED] wrote:
kern = font.getKernValue (previous, c) * font.getFontSize() / 1000;
-                            }
+                        }
                              if (kern != 0) {

Uh, oh. Something went wrong with autoindentation?

Nice catch. More or less. Probably an after-effect from applying and reversing patches locally. Correction just committed.

Cheers

Andreas

Reply via email to