Results 64 comments of Tom Helmuth

This applies to all your JSON issues: As far as I know, no one is using the JSON printing, nor has for many years. It was hastily added long ago,...

You can do whatever you want with the JSON printing. As a note: There is a :json-log-filename Push arg, which you can use to not only change the filename, but...

Right now, they're being written to the local Clojush directory. For example, when you set `:print-csv-logs true`, you get a file called log.csv appearing in your local directory logging the...

This worked! Thank you! I've attached the `~/Library/Thonny` directory, if you want to investigate what was going on. [ThonnyBACKUP.zip](https://github.com/thonny/thonny/files/9813951/ThonnyBACKUP.zip)