Closed anewton1998 closed 8 months ago
This PR changes the default for paging to be none because the built-in pager has some issues with copy/paste in many terminals. Until this is sorted out, the default should be none.
This PR changes the default for paging to be none because the built-in pager has some issues with copy/paste in many terminals. Until this is sorted out, the default should be none.