est31
authored
The change keys dialog can't be left. It doesn't make much sense to show it on Android in the first place, therefore disable it, just like commit aed70cb0 'Disable sound and key binding settings in "pause" menu on android' has disabled it for the esc menu. Fixes #4115.