Paginator that uses all available screen/window width

always show line numbers in source editor

The drawing buttons are now absolutely positioned, which is a horrible hack. But for just the source editor it seems good enough. The alternative is to modify magic constants in all the tests :/

Created by  Kartik K. Agaram  on September 15, 2023
CWQIPU7USLG2K2F4B4HX42LUNZFGV7ISR6ZF7M5N4G5DVG6YHBZAC
Change contents