The first time this is called, determine what kind of pager to use.
(text)
| 1633 | # --------------------------------------------------------- user interfaces |
| 1634 | |
| 1635 | def pager(text): |
| 1636 | """The first time this is called, determine what kind of pager to use.""" |
| 1637 | global pager |
| 1638 | pager = getpager() |
| 1639 | pager(text) |
| 1640 | |
| 1641 | def getpager(): |
| 1642 | """Decide what method to use for paging through text.""" |