win32 printing sometimes clips a few pixels off the end of strings; especially
in HotJava-style page layout where every string is assumed to occupy a width
equal to the sum of the widths of the component characters (imagine that!).