Comment 6 for bug 492561

Revision history for this message
Alexander Belchenko (bialix) wrote :

on Windows terminal_width() using file handle of stderr to get the real terminal size, because stdout is very often redirected (e.g. to pager programs).