* Turn on the pager. */
| 228 | * Turn on the pager. |
| 229 | */ |
| 230 | void |
| 231 | db_enable_pager(void) |
| 232 | { |
| 233 | if (db_maxlines == 0) { |
| 234 | db_maxlines = db_lines_per_page; |
| 235 | db_newlines = 0; |
| 236 | db_pager_quit = 0; |
| 237 | } |
| 238 | } |
| 239 | |
| 240 | /* |
| 241 | * Turn off the pager. |