An editor for plain text where you can also seamlessly insert line drawings

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