A lightweight programming environment for desktop and mobile devices

switch undo/redo to ctrl- hotkeys

Created by  Kartik K. Agaram  on June 3, 2022
NQWWTGXRLSBASOSP75FPOSVYP664VYRFQH7MY5LALLIP2VEBQMCQC
Change contents