fileWidthToPixels method

double fileWidthToPixels(
  1. double fileWidth
)

Convert column width that is stored in file into pixels.

Implementation

double fileWidthToPixels(double fileWidth) {
  final double dDigitWidth = maxDigitWidth;
  return _truncate(
      ((256 * fileWidth + _truncate(128 / dDigitWidth)) / 256) * dDigitWidth);
}