-
Committer:
Daniel Vedder
-
Date:
2015-04-12 19:52:49 UTC
-
Revision ID:
d.vedder@web.de-20150412195249-p79004xepjcjpgvy
Added $BZR_PAGER environment variable; TextUIOutputStream now checks the height of the current terminal before deciding whether or not to use the pager. Updated the documentation, added terminal_height() in osutils.py.