A lightweight programming environment for desktop and mobile devices

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