A lightweight programming environment for desktop and mobile devices

bugfix: never skip files in file navigator

Created by  Kartik K. Agaram  on September 18, 2022
IOCATA27VTQIYYFV5HZBKDKKYOSEIJ5SS742L3SUUCJXR26PXTGAC
Change contents