Message153494
I don't think there's much point in the proposed complications.
If you're willing to know the terminal size, you're probably interested in displaying something in it (using stdout), so why would you care about stderr or stdin? |
|
Date |
User |
Action |
Args |
2012-02-16 19:15:00 | pitrou | set | recipients:
+ pitrou, loewis, amaury.forgeotdarc, vstinner, techtonik, giampaolo.rodola, eric.araujo, Arfrever, zbysz, denilsonsa, neologix, rosslagerwall, python-dev |
2012-02-16 19:15:00 | pitrou | set | messageid: <1329419700.01.0.929744797075.issue13609@psf.upfronthosting.co.za> |
2012-02-16 19:14:59 | pitrou | link | issue13609 messages |
2012-02-16 19:14:59 | pitrou | create | |
|