Merge pull request #9082 from JosJuice/android-touch-pointer-recreate Android: Fix touch pointer not working after activity recreation
