Paginator that uses all available screen/window width

mouse wheel support

Created by  Kartik K. Agaram  on March 24, 2023
GFXWHTE6POBIOBUMRAWD5QS22JEO52EF4VTLMB4CDK4RLSCK7HCAC
Change contents