Paginator that uses all available screen/window width

dedup points while loading drawing from disk

Created by  Kartik K. Agaram  on September 3, 2022
LE3OPXMNV3D2ZNZRPUT4D4ZGCS6UILAJPQBU5JHESABRSV5XFJ6AC
Change contents