widthToFileWidth method
Converts column width in characters into column width in file.
Implementation
double widthToFileWidth(double width) {
final double dDigitWidth = maxDigitWidth;
return (width > 1)
? ((width * dDigitWidth + 5) / dDigitWidth * 256.0) / 256.0
: (width * (dDigitWidth + 5) / dDigitWidth * 256.0) / 256.0;
}