mirror of
https://github.com/peterosterlund2/droidfish.git
synced 2025-12-13 01:22:41 +01:00
DroidFish.reInitUI() could potentially set tourGuide to null while tap events are already queued but not yet processed. Avoid NPE in this situation.