Pager for showing strings#
Currently we just use the IPython pager. If we want to use something else, we can just change this function.
Any code in sage that uses a pager should use this pager.
Currently we just use the IPython pager. If we want to use something else, we can just change this function.
Any code in sage that uses a pager should use this pager.