Programming environment for editing various of my live apps without restarting them.

bugfix: hide manifest nav after any mouse click

Either we clicked on a button or we clicked somewhere else.

Created by  Kartik K. Agaram  on September 10, 2023
WE3Z2BKBYQOU62Y4GEWSPEWDJWFZDL6Y6MKMCGFL2DIUDQJGHSCQC
Change contents