Merge pull request #9568 from JosJuice/android-delay-save-tab Android: Don't save settings immediately after switching platform tab