Message 251574 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content 
Had to adjust number of line by 3/4 because average 4/3 as high as in editor due to taller header lines and extra interline spacing.  Net result for me, using 12 pitch in editor also, is box size within 5%.