Paginator that uses all available screen/window width

mouse button state in source editor

Created by  akkartik  on December 2, 2023
Z3TDYADASG4C274EJ5BBRJAR3WF6IRBXZ3HMK56EYDIOPVLTVG7QC
Change contents