page()
Paginates output through a pager program.
# File lib/rdoc/ri/display.rb, line 345 def page if pager = setup_pager then begin orig_output = @formatter.output @formatter.output = pager yield ensure @formatter.output = orig_output pager.close end else yield end rescue Errno::EPIPE end