Paginator that uses all available screen/window width

create space for app-specific settings

Created by  Kartik K. Agaram  on January 1, 2023
FRXBX5FCEGOPQEFPD4T7JDHVHK7RDYTIJWQLGJLN22RC62GQSTIAC
Change contents