code: public int getWidth(int char1) {
          if (fastWinansi) {
              if (char1 < 128 || (char1 >= 160 && char1 <= 255))
                  return widths[char1];
              else
                  return widths[PdfEncodings.winansi.get(char1)];
          }
          else {
              int total = 0;
              byte mbytes[] = convertToBytes((char)char1);
              for (int k = 0; k < mbytes.length; ++k)
                  total += widths[0xff & mbytes[k]];
              return total;
          }
      }
docs: Gets the width of a <CODE>char</CODE> in normalized 1000 units.
  @param char1 the unicode <CODE>char</CODE> to get the width of
  @return the width in normalized 1000 units