Fork of lines.love for live programming; useful starting point for further forks

simplify saving settings

We don't ever call one app's settings while Current_app is the other.

Created by  Kartik K. Agaram  on July 10, 2023
SBR7ARVH4KH4JXIKO23HYLAKGOM5TCSNTI3UDD3Z3WOCOALZDTJQC
Change contents