Paginator that uses all available screen/window width

slightly standardize on app-specific stuff

Created by  Kartik K. Agaram  on June 19, 2023
EQSFHYF37CRGNDTH2BZD25K7YPJUTTY4FQVUBULE2PBZ45C4TQTQC
Change contents