Merge pull request #9075 from JosJuice/android-osd-left-margin Android: Move OSD out of the way when menu is open