Seems to have a new problem on iOS

[feggleaves]

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.

[wo]

Thanks. I'll look into this. Might take a little while since I don't have any iOS devices.

[wo]

This should be fixed now. Let me know if there's still a problem.

[feggleaves]

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](#6 (comment)), or [unsubscribe](https://github.com/notifications/unsubscribe-auth/ARDTTQ2RDOKNMDNQCZJCZEDT4QFR7ANCNFSM5BNY2JJA). Triage notifications on the go with GitHub Mobile for [iOS](https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675) or [Android](https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email).