[issue13609] Add "os.get_terminal_size()" function

[Ross Lagerwall]

Ross Lagerwall <rosslagerwall at gmail.com> added the comment:

I'll try & investigate Solaris a bit...

Also, what should be the default terminal size?

Gnome-terminal and xterm seem to default to 80x24, not 80x25.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue13609>
_______________________________________