John, thanks for your work on this patch. Unfortunately, I already fixed the clipping problem after noticing it in http://dvisvgm.sourceforge.net/pstricks-fonts.svg (upper left gray ball).
I should probably make my hg repository publicity available sometime, so that double work is avoided.
John, thanks for your work on this patch. Unfortunately, I already fixed the clipping problem after noticing it in http:// dvisvgm. sourceforge. net/pstricks- fonts.svg (upper left gray ball).
I should probably make my hg repository publicity available sometime, so that double work is avoided.