Merge pull request #10151 from JosJuice/android-advanced-graphics Android: Add the advanced graphics settings to the GUI