Paginator that uses all available screen/window width

selecting a stroke

Created by  Kartik K. Agaram  on May 12, 2022
G77XIN7MLX465AXLXDUJDGEHXXCMR2Q7K25UAMKQERBJGNJPNW6AC
Change contents