Closed feggleaves closed 3 years ago
Thanks. I'll look into this. Might take a little while since I don't have any iOS devices.
This should be fixed now. Let me know if there's still a problem.
Thanks very much, this fix will save me a lot of time.
frank
On Thu, Aug 12, 2021 at 11:14 AM, Wolfgang Schwarz @.***> wrote:
This should be fixed now. Let me know if there's still a problem.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or unsubscribe. Triage notifications on the go with GitHub Mobile for iOS or Android.
For about a month now, the proof tree has stopped working on iOS. It seems to load but doesn’t react to input that works ok on Android.