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

port an old fix to source editor

Created by  Kartik K. Agaram  on September 17, 2023
O2IL6JT26B6BJ4LHJYWRBY5LICTKXB3QYIS5S7IV4WSIT2EF7HBQC
Change contents