Closed Andrea1141 closed 3 years ago
Hi @Andrea1141 thanks for the pull request! I left a comment let me know what do you think.
Also can you make the pull request to the dev
branch and not the main
branch? I don't know if GitHub allows to change the branch from here or if we need to create a new PR.
@davcri I added the pause_game()
function to avoid duplication but I can't change branch, so I'm creating another pull request.
Added a pause button for mobile, as requested in #31.