Thanks for the bug report. Fixed. The next release will come out in about two we...

		tarsius 74 days ago \| parent \| context \| favorite \| on: IDEs we had 30 years ago and lost (2023) Thanks for the bug report. Fixed. The next release will come out in about two weeks.