Paginator that uses all available screen/window width

bugfix: up/down arrows when searching

There's still lots of jank left: editors but the leftmost one write over search bar selecting text across columns scrolling left/right while selecting

Created by  Kartik K. Agaram  on May 31, 2023
5LVEB5G23XTPILU4NXTU5QX6G4OQ3SVT67GSAGQL246KFW752Z7QC
Change contents